卡提克,C.S。 火车到达目的地了吗?寻找目击者的复杂性。 (英语) Zbl 1404.68048号 信息处理。莱特。 121, 17-21 (2017). 摘要:最近,J.多赫劳等。【in:离散数学之旅。向吉·马图舍克致敬。Cham:Springer。367–374(2017;Zbl 1386.91034号)]研究了开关图上的一个零对策,证明了该对策的终止是在(mathbf{NP}\cap\mathbf}coNP}\)中。在这篇短文中,我们展示了这个游戏在切换图上的搜索版本,即寻找终止(或非终止)的见证人的任务是在PLS中。 引用于1审查引用于8文件 MSC公司: 65年第68季度 算法和问题复杂性分析 05第57页 关于图的游戏(图论方面) 68兰特 计算机科学中的图论(包括图形绘制) 关键词:交换机图;请;细胞自动机;组合问题 引文:Zbl 1386.91034号 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Karthik},Inf.过程。莱特。121、17-21(2017;Zbl 1404.68048) 全文: 内政部 arXiv公司 参考文献: [1] 杰罗姆·多赫劳;伯恩德·加特纳;Manuel Kohler;JiríMatousek;Welzl,Emo,ARRIVAL:NPícoNP中的一个零玩家图游戏,(《离散数学之旅:向JiřMatoušek致敬》(2017)),CoRR出版社·Zbl 1386.91034号 [2] 达斯卡拉基斯,君士坦丁堡;Papadimitriou,Christos H.,《连续局部搜索》,(第二十二届ACM-SIAM离散算法研讨会论文集。第二十届ACM-SAAM离散算法年度研讨会论文集,SODA 2011,美国加利福尼亚州旧金山,2011年1月23日至25日(2011)),790-804·Zbl 1373.68263号 [3] 大卫·约翰逊(David S.Johnson)。;Christos H.Papadimitriou。;Yannakakis,Mihalis,本地搜索有多容易?,J.计算。系统。科学。,37, 1, 79-100 (1988) ·Zbl 0655.68074号 [4] 巴斯蒂安·卡茨(Bastian Katz);伊格纳斯·拉特;Woeginger,Gerhard J.,切换图的算法研究,Acta Inform。,49, 5, 295-312 (2012) ·Zbl 1251.05169号 [5] 尼姆罗德·梅吉多;Papadimitriou,Christos H.,《关于全函数、存在定理和计算复杂性》,Theor。计算。科学。,81, 2, 317-324 (1991) ·Zbl 0731.68036号 [6] Papadimitriou,Christos H.,《关于奇偶论证的复杂性和其他无效的存在证明》,J.Compute。系统。科学。,48, 3, 498-532 (1994) ·Zbl 0806.68048号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。