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
专知会员服务
253+阅读 · 2020年4月19日
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
专知会员服务
34+阅读 · 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+阅读 · 4月23日
国外海军作战管理系统与作战训练系统
专知会员服务
2+阅读 · 4月23日
美军条令《海军陆战队规划流程(2026版)》
专知会员服务
10+阅读 · 4月23日
《压缩式分布式交互仿真标准》120页
专知会员服务
4+阅读 · 4月23日
《电子战数据交换模型研究报告》
专知会员服务
6+阅读 · 4月23日
《低数据领域军事目标检测模型研究》
专知会员服务
6+阅读 · 4月23日
【CMU博士论文】物理世界的视觉感知与深度理解
专知会员服务
10+阅读 · 4月22日
相关资讯
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
已删除
将门创投
8+阅读 · 2018年10月31日
Top
微信扫码咨询专知VIP会员