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
专知会员服务
254+阅读 · 2020年4月19日
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
专知会员服务
35+阅读 · 2019年10月18日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
164+阅读 · 2019年10月12日
机器学习入门的经验与建议
专知会员服务
94+阅读 · 2019年10月10日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
已删除
将门创投
8+阅读 · 2018年10月31日
Arxiv
0+阅读 · 2021年10月9日
Arxiv
0+阅读 · 2021年10月9日
VIP会员
最新内容
面向国防作战的最佳自主与蜂群无人机技术
专知会员服务
5+阅读 · 7月28日
《异构人类团队的协作决策过程混合建模研究》
博士论文 | 面向大模型推理的内存高效算法
专知会员服务
5+阅读 · 7月27日
美空军新型反无人机部队初探
专知会员服务
8+阅读 · 7月27日
《防空交战流程的概率建模研究》
专知会员服务
12+阅读 · 7月27日
ICML 2026 教程 | 数值优化理论还重要吗?
专知会员服务
7+阅读 · 7月26日
ICM 2026 | 陶哲轩:人工智能时代的数学
专知会员服务
10+阅读 · 7月26日
相关资讯
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
已删除
将门创投
8+阅读 · 2018年10月31日
Top
微信扫码咨询专知VIP会员