克里希南德·查特吉;卢卡·德·阿尔法罗;托马斯·亨辛格（Thomas A.Henzinger）。 随机拉宾和斯特雷特博弈的复杂性。 （英语） Zbl 1085.68060号 Caires，Luís（编辑）等人，《自动化，语言和编程》。2005年7月11日至15日，葡萄牙里斯本，第32届国际学术讨论会，ICALP 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27580-0/pbk）。计算机科学课堂讲稿3580878-890（2005）。 摘要：具有（ω）-正则获胜条件的图对策理论是反应过程建模和综合的基础。在随机反应过程的情况下，相应的随机图博弈有三个参与者，其中两个（系统和环境）表现为对抗性，第三个（不确定性）表现为概率性。我们考虑随机图对策的两个问题：定性问题要求玩家以概率1获胜（几乎获胜）的状态集；定量问题要求每个状态的最大获胜概率（最佳获胜）。我们证明了对于拉宾获胜条件，这两个问题都是NP问题。由于这些问题被称为NP-hard，因此它们对于拉宾条件是NP-完全的，对于Streett条件是双重的coNP-完全。证明表明，纯无记忆策略足以定性和定量地赢得拉宾条件下的随机图对策。这一见解本身就很有趣，因为它意味着拉宾目标的控制器具有简单的实现。我们还证明了对于每一个欧米伽正则条件，最优获胜策略并不比几乎完全获胜策略复杂。有关整个系列，请参见[Zbl 1078.68001号]. 引用于16文件 MSC公司： 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 形式语言和自动机 91A15型 随机对策，随机微分对策 91A43型 涉及图形的游戏 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，Lect。注释计算。科学。3580、878--890（2005年；Zbl 1085.68060） 全文： 内政部