多人进化稳定策略的计算复杂性
摘要：计算多人对称博弈中的进化稳定策略（ESS）的计算复杂性。对于两人博弈，决定是否存在ESS是多项式时间层次结构的第二层（Σ₂）完全问题。我们证明了决定多人博弈中ESS的存在与实数时间层次结构的第二层密切相关。换句话说，我们证明该问题在我们称之为exists D . forall R的复杂性类中是困难的，并且该类通过使存在量化变量是布尔型而不是实值型来限制existsforall R类。作为我们结果的特例，我们得出结论，判断给定策略是否为ESS是对forall R问题的完全问题。与ESS密切相关的概念是局部优越策略（LSS）。我们扩展了关于ESS的结果，并且证明了决定多人游戏中LSS的存在同样是exists D . forall R类和existsforall R类的困难问题，并且作为特例，判断给定策略是否为LSS是对forall R问题的完全问题。
作者：Manon Blanc and Kristoffer Arnsfelt Hansen
论文ID：2203.07407
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-03-16