发表机构
Université de Mons (UMONS); Université libre de Bruxelles (ULB)（蒙斯大学; 布鲁塞尔自由大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文研究多人图博弈中约束子博弈完美均衡的存在性问题，提出基于$\omega$-可识别偏好关系的通用框架，并证明该问题及纳什均衡存在性均为EXPTIME完全。
AI 中文摘要
本文研究了多人图博弈中子博弈完美均衡（SPEs）的约束存在性问题。在所提出的框架中，每个玩家对博弈路径集合具有一个偏好关系，该关系被假定为 $\omega$-可识别的。等价地，玩家对有限支付集合具有偏好关系，并且对于每个支付，具有相同支付的路径集合是 $\omega$-正则的。这一通用框架避免了对特定支付函数的依赖。我们证明了约束SPE存在问题是EXPTIME完全的，对于纳什均衡（NEs）也是如此。
英文摘要
This paper investigates the constrained existence problem for subgame perfect equilibria (SPEs) in multiplayer graph games. In the proposed framework, each player has a preference relation over the set of plays, assumed to be $ω$-recognizable. Equivalently, he has a preference relation over a finite set of payoffs, and the set of plays with the same payoff is $ω$-regular, for each payoff. This generic framework avoids the need to focus on specific payoff functions. We show that the constrained SPE existence problem is EXPTIME-complete, as well as for Nash equilibria (NEs).
