双重公平奇偶游戏
Doubly Fair Parity Games
AI总结：
本文研究了双玩家有限图游戏中的公平性约束，提出公平α/β游戏模型，并通过构造技巧将公平奇偶游戏转化为普通奇偶游戏，同时给出直接的符号固定点算法。
摘要：
本文研究了双玩家有限图游戏中的公平性约束，提出公平α/β游戏模型，并通过构造技巧将公平奇偶游戏转化为普通奇偶游戏，同时给出直接的符号固定点算法。
英文摘要：
We consider two-player games over finite graphs in which both players are restricted by fairness constraints on their moves. Given a two player game graph $G=(V,E)$ and a set of fair moves $E_f\subseteq E$ a player is said to play "fair" in $G$ if they choose an edge $e \in E_f$ infinitely often whenever the source vertex of $e$ is visited infinitely often. Otherwise, they play "unfair". We equip such games with two $ω$-regular winning conditions $α$ and $β$ deciding the winner of mutually fair and mutually unfair plays, respectively. Whenever one player plays fair and the other plays unfair, the fairly playing player wins the game. The resulting games are called "fair $α/β$ games". We formalize fair $α/β$ games and show that they are determined. For fair parity/parity games, i.e., fair $α/β$ games where $α$ and $β$ are given each by a parity condition over $G$, we provide a polynomial reduction to (normal) parity games via a gadget construction inspired by the reduction of stochastic parity games to parity games. We further give a direct symbolic fixpoint algorithm to solve fair parity/parity games. On a conceptual level, we illustrate the translation between the gadget-based reduction and the direct symbolic algorithm which uncovers the underlying similarities of solution algorithms for fair and stochastic parity games, as well as for the recently considered class of fair games where only one player is restricted by fair moves.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
