[論文レビュー] On the Power of Tree-Depth for Fully Polynomial FPT Algorithms

Yoichi Iwata, Tomoaki Ogasawara+1 more|arXiv (Cornell University)|Oct 12, 2017

Advanced Graph Theory Research参考文献 18被引用数 3

ひとこと要約

本稿では、木深さをパラメータとする、Pに属する複数のグラフ問題に対する完全多項式FPTアルゴリズムを提示する。木深さに基づく削除森における分割統治的手法を活用することで、$O(\text{td} \times m)$ または $O(\text{td} \times (m+n/\log n))$ の時間計算量を達成し、重み付きマッチングや2ホップカバーに対する未解決の問題を解決する。

ABSTRACT

There are many classical problems in P whose time complexities have not been improved over the past decades. Recent studies of "Hardness in P" have revealed that, for several of such problems, the current fastest algorithm is the best possible under some complexity assumptions. To bypass this difficulty, Fomin et al. (SODA 2017) introduced the concept of fully polynomial FPT algorithms. For a problem with the current best time complexity $O(n^c)$, the goal is to design an algorithm running in $k^{O(1)}n^{c'}$ time for a parameter $k$ and a constant $c'

研究の動機と目的

• 数十年にわたり改善が困難であった古典的なP完全グラフ問題の高速化アルゴリズムの設計に挑む。
• 木深さをパラメータとする完全多項式FPTアルゴリズムを導入することで、Pにおける困難さの壁を打ち破る。
• 木幅パラメータ化における重み付きマッチングに対する最初の完全多項式FPTアルゴリズムを含む、パラメータ化計算複雑性における未解決問題を解決する。
• 削除森における分離統治に基づく包括的フレームワークを提供し、複数の問題にわたる効率的でパラメータ化された解法を実現する。

提案手法

• グラフの削除森に対して分離統治戦略を適用し、木深さから導かれる小さなバランスの取れたカットを活用する。
• 頂点の削除順序における部分集合に対して、動的計画法と段階的更新を用いて解を維持・統合する。
• 結合操作中に不連続な部分グラフ間で最小値を効率的に計算するために、最小ヒープを活用する。
• 2つの主要なアルゴリズムを設計する：部分集合に頂点を追加するための <code>Increment</code> と、不連続部分集合からの解を統合するための <code>Union</code>。
• <code>Increment</code>段階で、拡張された部分グラフにおける新しい頂点からの最短経路を計算するためにダイクストラ法を用いる。
• 結合および段階的拡張操作の下で2ホップカバーなどの関数が保存されることを証明することで、正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 木深さをパラメータとして用いることで、Pに属する基本的グラフ問題に対する完全多項式FPTアルゴリズムを設計できるか？
• RQ2 木深さは、Pにおける高速なパラメータ化アルゴリズムを達成するために、木幅よりもより効果的なパラメータを提供するか？
• RQ3 削除森における分離統治アプローチを一般化することで、複数のグラフ問題に対する効率的アルゴリズムを導出できるか？
• RQ4 フォミンらが提起したように、木幅パラメータ化における重み付きマッチングに対する完全多項式FPTアルゴリズムを達成できるか？
• RQ5 木深さパラメータ化の下で、2ホップカバーおよび最小重みサイクルなどの問題の最適時間計算量は何か？

主な発見

• 負のサイクル検出および最小重みサイクルに対する $O(\text{td} \times m)$ 時間のアルゴリズムを提示し、従来の境界を改善した。
• 重み付きマッチングに対して $O(\text{td} \times (m+n/\log n))$ 時間のアルゴリズムを構築し、フォミンらが提起した未解決問題を解決した。
• 2ホップカバーに対して、最大ラベルサイズ $2\text{td}$ を伴い、$O(\text{td} \times (m+n/\log n))$ 時間の完全多項式FPTアルゴリズムを達成した。
• リプレースメントパスのアルゴリズムは $O(\text{td} \times (m+n/\log n))$ 時間で実行され、従来の木幅ベースの結果と同等またはそれを上回る。
• 木幅パラメータ化の下で、すべての問題に対して $O(\text{tw} \times m \times \text{polylog}\ n)$ 時間を達成する。これは $\text{td} \triangleq O(\text{tw} \times \text{log }n)$ であるため。
• 削除順序における頂点部分集合に対する <code>Increment</code> および <code>Union</code> 操作に基づく一般化されたフレームワークにより、アルゴリズムの正しさと効率性が証明された。