图游戏中纳什均衡和次博弈完美均衡的合理验证和检查
摘要：多人非零和顺序无穷持续游戏在图上的有理行为问题有两个研究目标：检查问题，其中包括确定由Mealy机器定义的策略剖面是否是有理的；和有理验证问题，其中包括确定给定策略的所有有理回答是否满足某些规范。对于两个主要的合理性概念：纳什均衡和子博弈完美均衡，以及五个主要的支付函数类别：奇偶性、均值支付、定量可达性、能量和折扣总和，我们给出了这些问题的复杂度。
作者：L''eonard Brice, Jean-Franc{c}ois Raskin, Marie van den Bogaard
论文ID：2301.12913
分类：Computer Science and Game Theory
分类简称：cs.GT
提交时间：2023-07-17