计算合适宽松的假设以进行综合
摘要：自动计算两个玩家的有限图游戏中一类环境假设的问题，这些假设表征了环境与系统玩家合作所需的“足够合作”，使得系统玩家能够获胜。给定系统玩家的ω-正则获胜条件Φ，我们计算出环境玩家的ω-正则假设Ψ，使得：（i）每个符合Ψ的环境策略都允许系统玩家满足Φ（充分性）；（ii）对于系统的每个策略，环境都能够满足Ψ（可实现性）；（iii）Ψ不会阻止任何合作策略的选择（放任性）。 对于等价于ω-正则游戏的奇偶游戏，我们提出了一种多项式时间算法来进行足够放任假设的符号计算，并且证明我们的算法在理论和实证上都比现有方法更快且产生更好的假设。据我们所知，对于ω-正则游戏，我们提供了第一个能够计算出充分且可实现的环境假设的算法，同时还具有放任性。
作者：Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
论文ID：2301.07563
分类：Computer Science and Game Theory
分类简称：cs.GT
提交时间：2023-04-07