六类下推游戏的获胜策略格式
摘要：推下图上的奇偶游戏的解决方案(Walukiewicz '96)是对无穷状态游戏有效理论的第一步。已证明推下游戏的获胜策略可以再次实现为推下自动机。我们继续研究并调查游戏场所和获胜策略之间的联系，总共有六种游戏场所，其中包括实时推下系统、可见推下系统和计数器系统。在四种情况下，我们通过统一的证明方法证明我们获得与游戏场所中给定的推下机器类型相同的可实现策略。我们证明对于剩下的两种情况，这种对应关系失效。在结论中，我们讨论了解释结果的抽象准则的问题。
作者：Wladimir Fridman (RWTH Aachen University)
论文ID：1006.1415
分类：Computer Science and Game Theory
分类简称：cs.GT
提交时间：2010-06-09