并发可达性博弈中相关均衡的验证
计算机科学与博弈论
2026-04-28 v1
摘要
作为将形式化验证的严格保证应用于多智能体系统努力的一部分，均衡分析领域（也称为理性验证）研究多人博弈中的均衡，以推理诸如安全性和可扩展性等系统级属性。尽管先前的大多数工作集中于确定性环境，但近期的概率扩展使得使用更丰富的均衡概念成为可能。在本文中，我们研究了这样一个均衡概念——相关均衡，并在验证问题的背景下引入了一种自然的精炼——子博弈完美相关均衡。我们刻画了验证此类均衡的计算复杂度，并展示了一个有些令人惊讶的分离（在标准复杂度理论假设下）：尽管更为一般，相关均衡产生了一个严格更难的 P 完全验证问题，而子博弈完美相关均衡验证问题可在对数平方空间内求解。我们进一步分析了通过贝叶斯网络简明给出输入的环境，因为对简明表示的研究是将静态复杂度理论分析与现实世界程序表示相联系的重要方向，并表明在此类表示下这种复杂度差距消失了。
引用
@article{arxiv.2604.24655,
title = {Verification of Correlated Equilibria in Concurrent Reachability Games},
author = {Senthil Rajasekaran and Jean-François Raskin and Moshe Y. Vardi},
journal= {arXiv preprint arXiv:2604.24655},
year = {2026}
}