克里希南德·查特吉;马尔钦·尤季扬斯基;托马斯·亨辛格（Thomas A.Henzinger）。 简单的随机平价游戏。 （英语） Zbl 1116.68493号 Baaz，Matthias（编辑）等人，《计算机科学逻辑》。2003年8月25日至30日，第17届CSL国际研讨会，第12届EACSL年会，KGC 2003年第8届库尔特·哥德尔学术讨论会，奥地利维也纳。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40801-0/pbk）。莱克特。注释计算。科学。2803, 100-113 (2003). 摘要：许多验证、规划和控制问题都可以建模为一个或两个参与者在状态转换图上玩的游戏，他们的冲突目标是在图中形成一条路径。这里的重点是简单的随机奇偶博弈，即具有基于轮换的概率转移和形式化为奇偶（拉宾链）获胜条件的常规目标的两层博弈。给出了从简单随机奇偶对策到非随机奇偶博弈的有效转换。由于许多算法都是已知的解决后者的算法，这种转换产生了计算简单随机奇偶博弈状态的有效算法，玩家可以从中以概率1获胜。简单随机奇偶对策的一个重要特例是具有Büchi目标的马尔可夫决策过程。对于这种特殊情况，给出了第一个可证明的次二次算法，用于计算单个参与者有策略以概率1实现Büchi目标的状态。对于具有（m\）边的游戏图，算法在时间\（O（m\sqrt{m}）\内有效。有趣的是，类似的技术揭示了求解简单Büchi对策的计算复杂性问题，并产生了第一个可证明的次二次算法，对于具有顶点和边的对策图，其运行时间为\（O（n^2/\logn）\。关于整个系列，请参见[Zbl 1019.00011号]. 引用于30文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 91A15型 随机对策，随机微分对策 91A43型 涉及图形的游戏 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit｛K.Chatterjee｝等人，Lect。注释计算。科学。2803100--113（2003年；Zbl 1116.68493） 全文： 内政部