具有无限多个优先级对策的位置决定性
Positional Determinacy of Games with Infinitely Many Priorities
摘要：
我们研究两个玩家的游戏无限的持续时间，有限或无限的游戏图。对于这样一个博弈，如果获胜策略只取决于当前的位置，而不取决于博弈的历史，那么它就是位置策略。一个博弈是由位置决定的，如果在每个位置上，两个玩家中的一个有位置获胜策略。这类博弈的理论在获胜条件方面得到了很好的研究，获胜条件是根据映射来定义的，该映射从有限集合中为每个位置分配优先级。具体来说，在穆勒博弈中，一局的赢家是由那些出现频率无限高的优先级的集合决定的;一个重要的特例是奇偶博弈，其中出现频率无限高的最小（或最大）优先级决定赢家。众所周知，平价游戏是由位置决定的，而穆勒游戏是通过有限记忆策略决定的。在本文中，我们将这个理论扩展到无限多个优先级的博弈的情况。这样的游戏出现在几个应用领域，例如在下推游戏中，获胜条件取决于堆栈内容。对于奇偶博弈，有几种对无穷多个优先级的情况的概括。虽然最大奇偶游戏在欧米茄或最小奇偶游戏在更大的序数比欧米茄需要的战略与无限的记忆，我们可以证明，最小奇偶游戏的优先级在欧米茄是位置确定的。事实上，事实证明，最小奇偶条件在欧米茄是唯一的无穷穆勒条件，保证位置确定性的所有游戏图。
英文摘要：
We study two-player games of infinite duration that are played on finite or infinite game graphs. A winning strategy for such a game is positional if it only depends on the current position, and not on the history of the play. A game is positionally determined if, from each position, one of the two players has a positional winning strategy. The theory of such games is well studied for winning conditions that are defined in terms of a mapping that assigns to each position a priority from a finite set. Specifically, in Muller games the winner of a play is determined by the set of those priorities that have been seen infinitely often; an important special case are parity games where the least (or greatest) priority occurring infinitely often determines the winner. It is well-known that parity games are positionally determined whereas Muller games are determined via finite-memory strategies. In this paper, we extend this theory to the case of games with infinitely many priorities. Such games arise in several application areas, for instance in pushdown games with winning conditions depending on stack contents. For parity games there are several generalisations to the case of infinitely many priorities. While max-parity games over omega or min-parity games over larger ordinals than omega require strategies with infinite memory, we can prove that min-parity games with priorities in omega are positionally determined. Indeed, it turns out that the min-parity condition over omega is the only infinitary Muller condition that guarantees positional determinacy on all game graphs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
