arXiv 2203.034042022-03cs.FLcs.LO

弱Muller条件使时滞对策困难

Weak Muller Conditions Make Delay Games Hard

Sarah Winter, Martin Zimmermann

摘要：

我们证明了在确定性弱Muller自动机和非确定性弱Muller自动机给出的获胜条件下求解延迟对策分别是2 EXPTIME-完全和3EXPTIME-完全的。此外，双重和三重指数前瞻是必要的，足以赢得这样的游戏。这些结果是第一个表明，用于指定获胜条件的自动机类型的简洁性对这些问题的复杂性有影响。

英文摘要：

We show that solving delay games with winning conditions given by deterministic and nondeterministic weak Muller automata is 2EXPTIME-complete respectively 3EXPTIME-complete. Furthermore, doubly and triply exponential lookahead is necessary and sufficient to win such games. These results are the first that show that the succinctness of the automata types used to specify the winning conditions has an influence on the complexity of these problems.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

关于博弈良Rabin自动机的规模及其与Muller博弈记忆的联系

On the size of good-for-games Rabin automata and its link with the memory in Muller games

在本文中，我们将研究能够识别Muller语言（一种完全由每个单词中出现频率无限高的字母组成的语言）的游戏用拉宾自动机。我们建立，最小的自动机是完全相同的大小为赢得穆勒游戏，有这种语言作为他们的获胜条件所需的最小内存。我们将展示如何有效地构建这样的最小自动机。最后，我们建立，这些自动机可以是指数更简洁比等价的确定性，从而证明作为一个结果，色记忆赢得穆勒游戏可以指数大于无约束的内存。

2022-04-29cs.FL

基于迁移的Rabin自动机的极小化和Muller条件的色记忆要求

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions

在本文中，我们涉及的问题，确定色记忆要求的穆勒条件与最小化的过渡为基础的拉宾自动机。我们的第一个贡献是证明了基于过渡的拉宾自动机的最小化的NP-完备性。我们的第二个贡献涉及的内存需求的游戏图使用穆勒条件。记忆结构是一种有限状态机，它实现了一种策略，并在读取游戏的边缘后进行更新;彩色记忆的特殊情况是那些更新功能只考虑边缘颜色的结构。我们证明，在游戏中使用一个给定的穆勒条件所需的最小量的色记忆正是一个最小的拉宾自动机识别这个条件的大小。结合这两个结果，我们推断，找到一个穆勒条件的色记忆要求是NP-完全的。这个特征也让我们能够证明色彩记忆一般来说不可能是最优的，从而推翻了Kopczyovski的一个猜想。

2021-11-05cs.FL

从 Muller 到 Parity 与 Rabin 自动机：保持（历史）确定性的最优变换

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism

本文提出基于交替循环分解的两种最优变换，将 Muller 自动机分别转换为等价的确定性 parity 自动机和历史确定性 Rabin 自动机，并给出相关结构刻画与范式研究。

2024-04-19cs.FLcs.LO

Muller 条件的最优变换

Optimal Transformations of Muller Conditions

本文研究将 Muller 条件系统变换为 parity 条件系统，提出交替环分解方法并证明其强最优性，同时改进了 Büchi 自动机确定化过程并刻画了接受条件重新标记的可能性。

2023-10-19cs.FL

对延迟具有韧性的策略：延迟控制下的博弈与延迟博弈

Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games

本文证明延迟控制下的博弈与延迟博弈在确定性获胜策略存在性上可相互归约，从而迁移复杂性与延迟界结果，并指出随机几乎必然获胜情形不存在该对应。

2023-10-02cs.FLcs.GTcs.LO

延迟博弈中的最优状态策略（完整版）

Finite-state Strategies in Delay Games (full version)

延迟博弈中的有限状态策略是什么？我们回答这个令人惊讶的非平凡的问题，提出了一个非常一般的框架，允许删除延迟：有限状态策略存在于所有获胜的条件下，由此产生的无延迟游戏承认有限状态策略。该框架是适用于游戏的获胜条件是由一个自动机与接受条件，满足一定的聚合属性。我们的框架还产生上界的复杂性，确定这样的延迟游戏和上界的必要的前瞻赢得比赛的赢家。特别是，我们涵盖了所有以前的结果，这种特殊情况下，我们的统一方法。

2019-12-13cs.FLcs.GTcs.LO

更多相关论文收起更多论文

关于对延迟具有韧性的反应式策略之存在性

On the Existence of Reactive Strategies Resilient to Delay

本文比较延迟控制博弈与延迟博弈，证明确定必胜策略存在性可相互归约，并揭示随机及任意概率获胜时两类博弈的本质差异。

2025-03-11cs.FLcs.GTcs.LO

延迟对策中的最优状态策略

Finite-state Strategies in Delay Games

延迟博弈中的有限状态策略是什么？我们回答了这个令人惊讶的非平凡的问题，并提出了一个非常一般的框架计算这样的策略：它们存在的所有获胜的条件，自动机与接受条件，满足一定的聚合属性。我们的框架还产生上界的复杂性，确定这样的延迟游戏和上界的必要的前瞻赢得比赛的赢家。特别是，我们涵盖了所有以前的结果，这种特殊情况下，我们的统一方法。

2017-09-07cs.FLcs.GTcs.LO

提示延迟

Prompt Delay

延迟博弈是两个玩家的博弈，其中一个玩家可以延迟她的行动，以获得对对手行动的前瞻。近年来，人们对弱MSO中具有量化获胜条件的无界量词博弈进行了研究，但其性质并不令人满意。特别是，无界前瞻一般是必要的。在这里，我们研究了延迟博弈的获胜条件给出的LTL，线性时序逻辑配备了一个参数化的最终运营商，其范围是有界的。我们的主要结果表明，解决的三重指数时间的LTL延迟对策是完全的。此外，我们给出了严格的三重指数界上的必要的前瞻性和参数化的最终运营商的范围。因此，我们确定的第一类行为良好的定量获胜条件延迟游戏的LTL。最后，我们表明，应用我们的技术，延迟游戏与ω-正规的获胜条件回答开放的问题的情况下，获胜的条件是由非确定性的，通用的，或交替自动机。

2016-10-10cs.FLcs.GTcs.LO

你可以延迟，但时间不会：延迟控制下的时间博弈

You May Delay, but Time Will Not: Timed Games Under Delayed Control

受Fränzle启发，研究延迟控制下的时间博弈：无界待处理动作时不可判定，有界时通过归约到经典时间博弈提出双指数时间算法，可用UPPAAL求解。

2025-02-26cs.FL

有成本和延迟的博弈

Games with Costs and Delays

我们证明了增加延迟的无限游戏定量获胜条件的有用性。在延迟博弈中，其中一个参与者可以延迟她的行动，以获得对对手行动的预测。我们发现，确定延迟游戏的获胜者的获胜条件给出的奇偶自动机的成本是EXPTIME-完全的，指数有界前瞻是充分的，在一般情况下是必要的。因此，虽然平价条件与成本是一个定量的扩展的平价条件，我们的研究结果表明，增加成本并没有增加的复杂性与平价条件的延迟游戏。此外，我们研究了一个新的现象，出现在定量延迟游戏：前瞻性可以交易的获胜策略的质量，反之亦然。我们确定这种权衡的程度。特别是，即使是最小的前瞻允许提高质量的最佳策略从最坏的可能值几乎最小的可能。因此，引入前瞻的好处是双重的：它不仅允许延迟的玩家赢得她会输的游戏，而且前瞻还允许她在没有前瞻的情况下赢得游戏时提高她的获胜策略的质量。

2017-04-20cs.FLcs.GT

汉诺塔ω自动机与游戏的理论

A Theory of Hanoi Omega-Automata and Games

Université libre de Bruxelles（布鲁塞尔自由大学）；University of Antwerp（安特卫普大学）

本文研究了HOA编码自动机与游戏的理论复杂性，证明非空问题为NP完全，语言包含问题在多数条件下为PSPACE完全，Emerson-Lei接受条件为EXPSPACE完全，并形式化了HOG游戏。

2026-04-27cs.FLcs.LO

具有WMSO +U获胜条件的延迟博弈

Delay Games with WMSO+U Winning Conditions

延迟博弈是两个玩家的博弈，其中一个玩家可以延迟她的行动，以获得对对手行动的前瞻。我们考虑具有获胜条件的延迟对策，它用弱一元二阶逻辑表示，并带有无界量词，它能够表示（无）界性质。我们表明，它是可判定的延迟球员是否有一个获胜的策略，使用有界的前瞻性，并给出一个双指数上界的必要前瞻性。相比之下，我们表明，有界前瞻并不总是足以赢得这样的游戏。

2015-09-24cs.FLcs.GT

WMSO +U对策中的无界前瞻

Unbounded Lookahead in WMSO+U Games

延迟博弈是两个玩家的博弈，其中一个玩家可以延迟她的行动，以获得对对手行动的前瞻。我们考虑以弱一元二阶逻辑表达的具有获胜条件的延迟博弈，其中具有无界量词（WMSO+U），它能够表达（无）有界性。可以判定延迟的玩家是否能够在有界前瞻的情况下赢得这样的游戏，即，如果她只跳了有限步的话然而，有界的前瞻性并不总是足够的：我们提出了一个游戏，可以赢得无限的前瞻性，但不是有界的前瞻性。然后，我们考虑WMSO+U延迟游戏无界前瞻和前瞻的确切演变是无关紧要的：赢家总是相同的，只要初始前瞻足够大，前瞻趋于无穷大。

2016-01-26cs.FLcs.GT

并发博弈中纯策略相关均衡的复杂性

The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games

本文研究并发博弈中满足社会福利或帕累托最优条件的纯策略纳什均衡的存在性复杂性，证明社会福利条件与受约束纳什均衡问题计算效率相同，而帕累托条件通常上界更高，但在 Büchi 和 Muller 博弈中分别属于 P 类和 PSPACE-complete。

2025-09-22cs.CCcs.FLcs.GT

从制胜策略到纳什均衡

From winning strategy to Nash equilibrium

对策论通常被认为是应用数学，但一些博弈论的结果，如波莱尔决定性，是由数学家为广义数学发展的。这些结果通常表明了确定性，即在涉及两个参与者和两个结果的游戏中存在获胜策略。在多结果环境中，获胜策略的概念是无关紧要的，但通常被（纯）纳什均衡的概念忠实地取代。本文证明了任意博弈结构（如树）上的每个确定性结果都可以转化为同一博弈结构上多结果（纯）纳什均衡的存在性。均衡转移定理要求策略集和偏好分别满足基数或序理论条件，而反例表明，每个要求都是相关的，尽管可能是可以改进的。当结果是多个时，证明提供了一个计算纳什均衡的算法，与两个结果的情况相比，没有显着的复杂性损失。作为应用的例子，本文推广了Borel决定性、奇偶对策的位置决定性和Muller对策的有限记忆决定性。

2014-05-08cs.FLcs.GTmath.LO

赢得无限游戏需要多少前瞻？

How Much Lookahead is Needed to Win Infinite Games?

延迟博弈是两个玩家的博弈，其中一个玩家可以延迟她的行动，以获得对对手行动的前瞻。对于$ω$ -规则获胜条件，已知这样的游戏可以在双指数时间内求解，并且双指数前瞻是足够的。我们改进后，这两个结果给出了一个指数时间算法和指数上界的必要前瞻。这是补充，显示EXPTIME硬度的解决方案的问题和紧指数下限的前瞻。这两个下限都已适用于安全条件。此外，解决延迟对策的可达性条件被证明是PSPACE完全的。这是2016年8月26日发表的论文https://arxiv.org/abs/1412.3701v4的更正版本。

2017-07-25cs.FLcs.GT