刻画基于模拟的程序均衡

论文提出对 Oesterheld 2019 年 εGroundedπBot 的推广，使基于模拟的程序均衡适用于三人及以上博弈，并扩大了可实现的均衡范围。在程序均衡中，博弈各方提交程序代替自己行动，程序可读取对方源码并输出动作，可用于建模 AI 智能体互动、相互透明的机构或承诺。作者证明，在可访问共享随机源的设定下，其程序满足民间定理；在没有共享随机性的设定下，则刻画了这类程序的均衡。论文还探讨了基于模拟的程序均衡的极限，指出在没有共享随机性时，基于模拟的程序无法达到 Tennenholtz 的民间定理。