The ARRIVIAL problem introduced by Dohrau, G\"artner, Kohler, Matou\v{s}ek and Welzl concerns a train moving on a directed graph proceeding along outward edges according to the position of 'switches' at each vertex, which in turn are toggled whenever the train passes through them. The problem asks whether the train every reaches a designated destination vertex. It is known that ARRIVAL is contained in UP $\cap$ coUP, while the previously best published lower bound is that it is NL-hard. In this note we provide a simple reduction to the $\mathsf{DIGICOMP}_\mathsf{EXP}$ problem considered by Aaronson. It follows in particular that ARRIVAL is both CC-hard and PL-hard.


翻译:Dohrau, G\"Artner, Kohler, Matou\v{s}ek 和 Welzl 提出的快速问题涉及一列列列车在方向图上移动,按照每个顶端的“开关”的位置沿着向外边缘走动,而每个顶端的“开关”的位置,然后在列车通过它们时就被冲动。 问题在于列车是否到达指定目的地的顶端。 众所周知, ARRIVAL 包含在 UP $\ cap coPUP 中, 而先前出版的下限是 NL- hard 。 在本说明中,我们对Aaronson 所考虑的 $mathsf{ DIGICOMP ⁇ mathsf{EXP} $的问题做了简单的削减。 特别是ARRIVAL 是 CC-hard 和 PL-hard 。

0
下载
关闭预览

相关内容

因果图,Causal Graphs,52页ppt
专知会员服务
239+阅读 · 2020年4月19日
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
专知会员服务
25+阅读 · 2019年10月18日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
144+阅读 · 2019年10月12日
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
已删除
将门创投
8+阅读 · 2018年10月31日
Arxiv
0+阅读 · 2021年10月9日
Arxiv
0+阅读 · 2021年10月9日
VIP会员
相关资讯
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
已删除
将门创投
8+阅读 · 2018年10月31日
Top
微信扫码咨询专知VIP会员