ARRIVAL的一个简单下界
摘要：ARRIVAL问题的提出者是Dohrau, G"artner, Kohler, Matouv{s}ek和Welzl。它涉及一个沿着有向图移动的火车，根据每个顶点上的“开关”位置沿着外向边前进，火车通过这些开关时开关会切换。该问题询问火车是否能够到达指定的目的地顶点。已知ARRIVAL问题属于UP cap coUP类问题，而之前已公开发布的最好下界是它是NL-hard问题。在本文中，我们对Aaronson提出的DIGICOMP_EXP问题进行了简单的约简。特别地，可以得出ARRIVAL问题既是CC-hard问题又是PL-hard问题。
作者：Graham Manuell
论文ID：2108.06273
分类：Computational Complexity
分类简称：cs.CC
提交时间：2021-08-16