[论文解读] ARRIVAL: Next Stop in CLS

Bernd Gärtner, Thomas Dueholm Hansen+4 more|arXiv (Cornell University)|Feb 21, 2018

Cerebrovascular and genetic disorders被引用 6

一句话总结

该论文通过证明决策版本属于 UP ∩ coUP 且搜索版本属于 CLS，解决了开关图上到达问题的复杂性，显著改进了先前的界限。它通过流和奇偶性约束，提出了对唯一运行配置的高效线性代数表征，从而实现了通过高效采样状态空间的随机化 O(1.4143^n) 时间算法，对 TFNP 和连续域中的搜索问题具有重要意义。

ABSTRACT

We study the computational complexity of ARRIVAL, a zero-player game on $n$-vertex switch graphs introduced by Dohrau, G\"{a}rtner, Kohler, Matou\v{s}ek, and Welzl. They showed that the problem of deciding termination of this game is contained in $ ext{NP} \cap ext{coNP}$. Karthik C. S. recently introduced a search variant of ARRIVAL and showed that it is in the complexity class PLS. In this work, we significantly improve the known upper bounds for both the decision and the search variants of ARRIVAL. First, we resolve a question suggested by Dohrau et al. and show that the decision variant of ARRIVAL is in $ ext{UP} \cap ext{coUP}$. Second, we prove that the search variant of ARRIVAL is contained in CLS. Third, we give a randomized $\mathcal{O}(1.4143^n)$-time algorithm to solve both variants. Our main technical contributions are (a) an efficiently verifiable characterization of the unique witness for termination of the ARRIVAL game, and (b) an efficient way of sampling from the state space of the game. We show that the problem of finding the unique witness is contained in CLS, whereas it was previously conjectured to be FPSPACE-complete. The efficient sampling procedure yields the first algorithm for the problem that has expected runtime $\mathcal{O}(c^n)$ with $c<2$.

研究动机与目标

• 为填补已知位于 NP ∩ coNP 但未被证明属于更小类如 UP ∩ coUP 的到达决策问题复杂性差距。
• 通过证明其属于 CLS，改进到达问题搜索版本的上界，此前已知其位于 PLS。
• 开发一种高效方法以验证并从到达问题的状态空间中采样，从而实现更快的算法。
• 通过证明其属于 CLS 而非如先前猜想的 FPSPACE-完全，解决寻找终止唯一见证的猜想。

提出的方法

• 将列车的运行配置表述为具有流守恒和开关奇偶性约束的切换流。
• 证明对于任意目标顶点和开关奇偶性，由流守恒和奇偶性条件定义的线性方程组存在唯一实值解。
• 利用线性代数证明该方程组的系数矩阵可逆，从而对每对目标顶点与奇偶性保证唯一解。
• 构建从 S-Arrival 搜索问题到 End-Of-Metered-Line (EOML) 的归约，EOML 已知属于 CLS，从而证明 S-Arrival ∈ CLS。
• 设计一种随机化算法，通过利用唯一解结构高效采样状态空间，从而在期望时间内仅探索 O(1.4143^n) 条路径。
• 使用 Aldous 的图上随机游走算法加速搜索，实现子 2^n 时间复杂度。

实验结果

研究问题

• RQ1 鉴于运行配置的唯一性，到达问题的决策版本是否属于 UP ∩ coUP？
• RQ2 到达问题的搜索版本能否被置于比 PLS 更紧的复杂性类中？
• RQ3 寻找终止唯一见证的问题是否属于 CLS，而非如先前猜想的 FPSPACE-完全？
• RQ4 能否利用切换流的结构设计出快于暴力搜索的算法？
• RQ5 到达问题唯一解结构是否能支持高效采样与更优的随机化算法？

主要发现

• 到达问题的决策版本属于 UP ∩ coUP，解决了 Dohrau 等人提出的一个开放问题，证明切换流对应有效运行配置当且仅当其满足唯一线性方程组。
• 搜索版本 S-Arrival 属于 CLS，相比此前已知的 PLS 包含性，提供了更紧的上界，通过归约至 End-Of-Metered-Line (EOML) 实现。
• 一种随机化算法在 O(1.4143^n) 期望时间内解决决策与搜索版本，优于暴力搜索的 O(2^n) 上界。
• 终止的唯一见证——即正确的运行配置——可作为由流守恒与开关奇偶性约束定义的线性方程组的唯一解计算得出。
• 该方程组的系数矩阵可逆，确保对任意目标顶点与开关奇偶性均存在唯一实值解，从而支持高效验证与采样。
• 寻找唯一见证的问题属于 CLS，与先前猜想其可能为 FPSPACE-完全的推测相矛盾。