[論文レビュー] 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 のようなより小さいクラスに属するかどうかは不明であった。
• 従来、PLS に属することは分かっていたが、到着問題の探索バージョンの上界を改善し、CLS に属することを示すこと。
• 到着問題の状態空間の検証およびサンプリングを効率的に行う方法を開発すること。
• 終了のための一意な証拠を求める問題が FPSPACE 完全であるという予想を解消すること。これにより、それが実際には CLS に属することを示すこと。

提案手法

• 列車の走行プロファイルを、流量保存則とスイッチの偶奇制約を満たすスイッチングフローとして定式化する。
• 任意のターゲット頂点とスイッチの偶奇について、流量保存則と偶奇条件によって定義される線形方程式系に、一意の実数解が存在することを証明する。
• 線形代数を用いて、この方程式系の係数行列が正則であることを示し、各ターゲットと偶奇ペアに対して一意の解が保証されることを示す。
• S-Arrival 探索問題を、CLS に属することが知られている End-Of-Metered-Line (EOML) 問題に還元することで、S-Arrival ∈ CLS を証明する。
• 状態空間を効率的にサンプリングできる確率的アルゴリズムを設計し、一意の解構造を活用して期待値として O(1.4143^n) のパスのみを探索する。
• グラフ上のランダムウォークに Aldous のアルゴリズムを適用して探索を加速し、2^n よりも速い実行時間（sub-2^n）を達成する。

実験結果

リサーチクエスチョン

• RQ1 走行プロファイルの一意性を踏まえて、到着問題の意思決定バージョンが UP ∩ coUP に属するか？
• RQ2 到着問題の探索バージョンは、PLS よりもタイトな複雑性クラスに属するか？
• RQ3 終了のための一意な証拠を求める問題は、以前の予想とは異なり FPSPACE 完全ではなく、CLS に属するか？
• RQ4 スイッチングフローの構造を活用して、ブルートフォース探索よりも速いアルゴリズムを設計できるか？
• RQ5 到着問題の一意な解構造が、効率的なサンプリングと改善された確率的アルゴリズムの実現を可能にするか？

主な発見

• 到着問題の意思決定バージョンは UP ∩ coUP に属する。Dohrau らが提起した未解決問題を解消し、スイッチングフローが有効な走行プロファイルであるための必要十分条件が、一意の線形方程式系を満たすことであることを示した。
• 探索バージョンの S-Arrival は CLS に属する。これは、従来の PLS に属することよりもタイトな上界であり、End-Of-Metered-Line (EOML) への還元によって得られた。
• 確率的アルゴリズムにより、意思決定および探索バージョンの両方が O(1.4143^n) の期待時間で解ける。これはブルートフォースの O(2^n) よりも改善された。
• 終了のための一意な証拠（すなわち、正しい走行プロファイル）は、流量保存則とスイッチの偶奇制約によって定義される線形方程式系の唯一の解として計算可能である。
• この方程式系の係数行列は正則であるため、任意のターゲット頂点とスイッチの偶奇ペアに対して、一意の実数解が保証され、検証およびサンプリングが効率的に行える。
• 一意な証拠を求める問題は CLS に属する。これは、以前の予想とは異なり、FPSPACE 完全ではないことを示している。