伯恩德·加特纳;汉森、托马斯·杜霍姆;帕维尔，哈贝克;卡雷尔·科拉尔;摩萨德，夏甲;斯利沃娃，维罗尼卡 到达：CLS的下一站。 （英语） Zbl 1499.68144号 Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。ICALP 2018，捷克共和国布拉格，2018年7月9日至13日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第60条，第13页（2018年）。 摘要：我们研究了由J.多赫劳等。【离散数学之旅。向JiríMatoušek致敬。Cham:Springer。367–374（2017；兹比尔1386.91034)]. 他们表明，决定该游戏终止的问题包含在\（\mathrm{NP}\cap\mathrm{coNP}\）中。C.S.卡提克【Inf.Process.Lett.121，17-21（2017；Zbl 1404.68048号)]最近引入了Arrival的搜索变体，并表明它属于复杂度类PLS。在这项工作中，我们显著改进了Arrival的决策变量和搜索变量的已知上界。首先，我们解决了Dohrau等人[loc.cit.]提出的一个问题，并表明Arrival的决策变量在\（\mathrm{UP}\cap\mathrm{coUP}\）中。其次，我们证明了到达搜索变量包含在CLS中。第三，我们给出了求解这两个变量的随机（mathcal{O}（1.4143^n））时间算法。我们的主要技术贡献是（a）有效地验证了到达游戏终止的唯一见证人的特征，以及（b）从游戏的状态空间进行采样的有效方法。我们表明，在CLS中包含了寻找唯一见证人的问题，而之前人们猜测它是FPSPACE完整的。高效的采样过程为具有预期运行时间（c<2）的问题生成了第一个算法。有关整个系列，请参见[Zbl 1392.68012号]. 引用于8文件 MSC公司： 65年第68季度 算法和问题复杂性分析 68瓦20 随机算法 91A43型 涉及图形的游戏 关键词：CLS公司;交换机图;零玩家游戏;UP\（n\）政变 引文：Zbl 1386.91034号;Zbl 1404.68048号 PDF格式BibTeX公司 XML格式引用 \textit{B.Gärtner}等人，LIPIcs——莱布尼茨国际程序。通知。107，第60条，第13页（2018；Zbl 1499.68144） 全文： DOI程序 arXiv公司 参考文献： [2] 大卫·奥尔德斯。最小化算法和d-cube上的随机行走。《概率年鉴》，11（2）：403-4131983年·Zbl 0513.60068号 [3] Josh Buresh-Openheim和Tsuyoshi Morioka。相对论NP搜索问题和命题证明系统。2004年6月21日至24日，美国马萨诸塞州阿默斯特举行的IEEE第19届计算复杂性年会（CCC 2004），第54-67页。 [4] 安妮·康登。随机博弈的复杂性。{信息与计算}，96（2）：203-2241992·Zbl 0756.90103号 [5] 康斯坦丁诺斯·达斯卡拉基斯和克里斯托斯·帕帕迪米特里欧。连续本地搜索。2011年1月23日至25日，美国加利福尼亚州旧金山，第二十届ACM-SIAM离散算法年会论文集，第790-804页·Zbl 1373.68263号 [6] 杰罗姆·多赫劳、伯恩德·加特纳、曼努埃尔·科勒、吉·马图舍克和埃莫·韦尔兹尔。ARRIVAL：NPåcoNP中的一个零玩家图游戏。在Martin Loebl、Jaroslav Nešetřil和Robin Thomas编辑的《离散数学之旅：向吉·马图舍克致敬》中，第367-374页。施普林格国际出版公司，2017年·Zbl 1386.91034号 [7] 约翰·费恩利（John Fearnley）、马丁·盖林（Martin Gairing）、马蒂亚斯·姆尼奇（Matthias Mnich）和拉胡尔·萨瓦尼（Rahul Savani）。可达性切换游戏。{\it CoRR}，abs/1709.089912017年。网址：http://arxiv.org/abs/1709.08991。 [8] 约翰·费恩利（John Fearnley）、斯宾塞·戈登（Spencer Gordon）、鲁塔·梅塔（Ruta Mehta）和拉胡尔·萨瓦尼（Rahul Savani）。CLS：新问题和完整性。{\it CoRR}，abs/1702.060172017。网址：http://arxiv.org/abs/1702.06017。 [9] 伯恩德·加特纳（Bernd Gärtner）、托马斯·杜伊霍姆·汉森（Thomas Dueholm Hansen）、帕维尔·哈瓦克（Pavel Hubáckek）、卡雷尔·克拉尔（Karel Král）、哈加·莫萨德（Hagar Mosaad）和维罗尼卡·斯利沃娃。到达：CLS的下一站。{\it CoRR}，abs/1802.077022018年。arXiv:1802.07702。 [10] Pavel Hubáček和Eylon Yogev。连续局部搜索的困难：查询复杂性和加密下限。第二十八届ACM-SIAM离散算法研讨会论文集，2017年，西班牙巴塞罗那，Porta Fira酒店，Janu-}，第1352-1371页·Zbl 1410.68145号 [11] David S.Johnson、Christos H.Papadimitriou和Mihalis Yannakakis。本地搜索有多容易？《计算机系统科学》，37（1）：79-1001988·Zbl 0655.68074号 [12] Bastian Katz、Ignaz Rutter和Gerhard J.Woeginger。切换图的算法研究。{\it Acta Inf.}，49（5）：295-3122012年·Zbl 1251.05169号 [13] 森冈筑桥。搜索问题的分类及其在有界算法中的可定义性。{计算复杂性电子学术讨论会（ECCC）}，2001年。网址：https://eccc.weizmann.ac.il/eccc-报告/2001/TR01-082/index.html。 [14] 克里斯托斯·帕帕迪米特里奥。关于奇偶论证的复杂性和其他无效的存在证明。计算机系统科学杂志，48（3）：498-5321994·Zbl 0806.68048号 [15] Karthik C.S.火车到达目的地了吗：寻找目击者的复杂性。{it Inf.}{it Process.Lett.}，2017年12月17日-21日·Zbl 1404.68048号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。