[論文レビュー] Finding, Hitting and Packing Cycles in Subexponential Time on Unit Disk Graphs

Fedor V. Fomin, Daniel Lokshtanov+3 more|arXiv (Cornell University)|Apr 24, 2017

Distributed systems and fault tolerance被引用数 8

ひとこと要約

本稿では、ユニットディスクグラフにおけるサイクルの検出、ヒット、パッキング問題に対する、サブ指数時間のパrameterizedアルゴリズムを提示する。実行時間は $2^{\mathcal{O}(\sqrt{k}\log k)} \cdot n^{\mathcal{O}(1)}$ である。この手法は、サイズ $k^{\mathcal{O}(1)}$ の分離集合を備えた、新しい木分解を活用しており、各分離集合を通過する解の回数が $\mathcal{O}(\sqrt{k})$ 回以内に制限されている。このアプローチにより、従来の境界を著しく改善し、指数時間仮説の下で理論的限界に一致する。

ABSTRACT

We give algorithms with running time $2^{O({\\sqrt{k}\\log{k}})} \\cdot n^{O(1)}$ for the following problems. Given an $n$-vertex unit disk graph $G$ and an integer $k$, decide whether $G$ contains (1) a path on exactly/at least $k$ vertices, (2) a cycle on exactly $k$ vertices, (3) a cycle on at least $k$ vertices, (4) a feedback vertex set of size at most $k$, and (5) a set of $k$ pairwise vertex-disjoint cycles. For the first three problems, no subexponential time parameterized algorithms were previously known. For the remaining two problems, our algorithms significantly outperform the previously best known parameterized algorithms that run in time $2^{O(k^{0.75}\\log{k})} \\cdot n^{O(1)}$. Our algorithms are based on a new kind of tree decompositions of unit disk graphs where the separators can have size up to $k^{O(1)}$ and there exists a solution that crosses every separator at most $O(\\sqrt{k})$ times. The running times of our algorithms are optimal up to the $\\log{k}$ factor in the exponent, assuming the Exponential Time Hypothesis.

研究の動機と目的

• ユニットディスクグラフにおける基本的なサイクル関連問題に対する、より高速なパrameterizedアルゴリズムの開発。これまでに、正確な $k$-サイクル問題や最長サイクル問題に対してサブ指数時間アルゴリズムは知られていなかった。
• 平面グラフに基づくバイディメンショナリティ技術を、この幾何的グラフクラスへと拡張することで、ユニットディスクグラフにおけるパrameterized複雑性におけるギャップを埋める。
• 分離集合が大きいかつ解の通過回数が $\mathcal{O}(\sqrt{k})$ 回に制限されるような、新しい種類の木分解を設計する。
• 指数部の $\log k$ 要素を除き、指数時間仮説の下で最適な実行時間を達成する。
• バイディメンショナリティが平面グラフにおいて果たす役割に類似した、幾何的グラフクラスにおけるサブ指数時間 tractability の一般理論の基盤を提供する。

提案手法

• ユニットディスクグラフに対して、分離集合を通過する解の回数が $\mathcal{O}(\sqrt{k})$ 回以内に制限される、新しい種類の木分解である $\mathcal{O}(\sqrt{k})$-NCTD（ニア・クロッシング・ツリー分解）を導入する。分離集合は大きくてもよいが、解の通過回数は制限される。
• 各ノードが分離集合を通過するサイクルおよびパスの構成を、サイズ $\mathcal{O}(\sqrt{k})$ の集合 $\cal Z$ でパラメータ化して保持する動的計画法を用いる。
• 状態エントリ $\cal A[v, \cal Z, k']$ を定義し、ノード $v$ の部分木内で互いに素なサイクルおよびパスを追跡する。これにより、グローバル解と整合性が保証される。
• 解の構造的性質に基づき、$\cal Z$ をサイズ $\mathcal{O}(\sqrt{k})$ の集合に制限することで、各ノードあたりの関連状態数を $2^{\mathcal{O}(\sqrt{k}\log k)}$ に制限する。
• 各分離集合において、すべてのサイクルをカバーするサイズ $\mathcal{O}(\sqrt{k})$ のヒッティングセット $U \subseteq \beta(v)$ が存在することを活用し、効率的な状態の刈り込みを可能にする。
• 構造的補題を用いて正しさを証明し、任意の有効な解が、このような状態でカバーされるような分解を許容することを示し、完全性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ユニットディスクグラフにおける正確な $k$-サイクル、最長サイクル、およびフィードバック頂点集合問題は、$k$ をパラメータとしてサブ指数時間で解けるか？
• RQ2 分離集合が大きくても、解の通過回数が制限されるような、ユニットディスクグラフのための木分解を設計することは可能か？
• RQ3 ユニットディスクグラフにおけるサイクル問題のサブ指数時間アルゴリズムの指数部における $\log k$ 要素を削除することは可能か？
• RQ4 バイディメンショナリティに類似した理論が、ユニットディスクグラフにおいて、広範な問題クラスに対してサブ指数時間パラメータ化アルゴリズムを保証するものとして存在するか？
• RQ5 ユニットディスクグラフにおいて、サイクルパッキングおよびパス問題を、以前の $2^{\mathcal{O}(k^{0.75}\log k)}$ アルゴリズムよりも高速に解くことは可能か？

主な発見

• 本稿では、ユニットディスクグラフにおけるサイクルの検出、ヒット、パッキング問題に対して、$2^{\mathcal{O}(\sqrt{k}\log k)} \cdot n^{\mathcal{O}(1)}$ の実行時間を達成した。これは、フィードバック頂点集合およびサイクルパッキング問題において、以前の最良の $2^{\mathcal{O}(k^{0.75}\log k)} \cdot n^{\mathcal{O}(1)}$ よりも優れている。
• 正確な $k$-サイクルおよび最長サイクル問題に対して、ユニットディスクグラフにおいて初めてサブ指数時間パラメータ化アルゴリズムが提供された。これら問題に対しては、以前はこのようなアルゴリズムが存在しなかった。
• サイクルパッキングおよびフィードバック頂点集合問題のアルゴリズムは、$2^{\mathcal{O}(\sqrt{k}\log k)} \cdot n^{\mathcal{O}(1)}$ で実行され、以前の $2^{\mathcal{O}(k^{0.75}\log k)}$ の境界よりも著しく高速である。
• 指数時間仮説の下では、実行時間は $\log k$ 要素を除き最適であり、$2^{o(\sqrt{k}\log k)} \cdot n^{\mathcal{O}(1)}$ 未満の時間で実行可能なアルゴリズムは存在しない。
• 各分離集合において、サイズ $\mathcal{O}(\sqrt{k})$ のヒッティングセット $U \subseteq \beta(v)$ が存在し、すべての通過サイクルをカバーできることという構造的洞察により、ノードあたりの状態空間が $2^{\mathcal{O}(\sqrt{k}\log k)}$ にまで削減された。
• 提案された木分解および動的計画法フレームワークは、幾何的グラフクラスにおけるサブ指数時間アルゴリズム設計の新しい基盤を提供し、ユニットディスクグラフを越えて一般化可能である可能性を示している。