更快更小的合作性游戏解决方案

合作性游戏在游戏视角下的响应合成语境中被引入，以强化要合成的系统与环境之间的合作程度。以往的合作性游戏分析方法是小步法，基于将其归约为标准（非合作性）游戏，其中单一步对应于原始（合作性）游戏中的单一步。本文提出了一种新颖的大步视图，对合作性游戏进行归约，在归约后的标准游戏中，单一步编码原始游戏中的长期行为。这不仅允许我们对合作性游戏中的环境获胜给出有意义的定义，而且显著改进了策略规模和求解运行时间的界限。