随机BPA游戏中的定性可达性
摘要：一类由无状态推动自动机（或等价地，1出口递归状态机）生成的无限状态随机博弈中，我们考虑由一组目标配置的正则集和一个定性概率约束“>0”或“=1”指定的胜利目标。一个玩家的目标是最大化到达目标集合且满足约束的概率，而另一个玩家则追求相反的结果。我们证明了在“>0”约束情况下，此类博弈中的获胜者可以在PTIME内确定，在“=1”约束情况下，可以在NP和coNP中确定。此外，我们证明了两个玩家的获胜区域是正则的，并设计了计算相关有限状态自动机的算法。最后，我们证明了获胜策略可以被有效地合成。
作者：Tom''av{s} Br''azdil, V''aclav Brov{z}ek, Anton''in Kuv{c}era, Jan Obdrv{z}''alek
论文ID：1003.0118
分类：Computer Science and Game Theory
分类简称：cs.GT
提交时间：2011-05-11