×

火车到达目的地了吗?寻找目击者的复杂性。 (英语) Zbl 1404.68048号

摘要:最近,J.多赫劳等。【in:离散数学之旅。向吉·马图舍克致敬。Cham:Springer。367–374(2017;Zbl 1386.91034号)]研究了开关图上的一个零对策,证明了该对策的终止是在(mathbf{NP}\cap\mathbf}coNP}\)中。在这篇短文中,我们展示了这个游戏在切换图上的搜索版本,即寻找终止(或非终止)的见证人的任务是在PLS中。

MSC公司:

65年第68季度 算法和问题复杂性分析
05第57页 关于图的游戏(图论方面)
68兰特 计算机科学中的图论(包括图形绘制)
PDF格式BibTeX公司 XML格式引用

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。