[論文レビュー] Planar F-Deletion: Approximation and Optimal FPT Algorithms

Fedor V. Fomin, Daniel Lokshtanov+2 more|arXiv (Cornell University)|Apr 19, 2012

Complexity and Algorithms in Graphs被引用数 9

ひとこと要約

本稿では、F に少なくとも1つの平面的グラフを含む場合の F-Deletion 問題に対して、一貫性のある多項式時間前処理に基づくフレームワークを提示する。ランダム化された O(nm)-時間定数近似アルゴリズムと、連結な F に対して O(2^O(k)n)-時間の FPT アルゴリズムを提供し、Vertex Cover や Feedback Vertex Set のような問題に対する従来の結果を大幅に一般化・改善する。

ABSTRACT

Let F be a finite set of graphs. In the F-Deletion problem, we are given an n-vertex, m-edge graph G and an integer k as input, and asked whether at most k vertices can be deleted from G such that the resulting graph does not contain a graph from F as a minor. F-Deletion is a generic problem and by selecting different sets of forbidden minors F, one can obtain various fundamental problems such as Vertex Cover, Feedback Vertex Set or Treewidth η-Deletion. In this paper we obtain a number of generic algorithmic results about F-Deletion, when F contains at least one planar graph. The highlights of our work are • A randomized O(nm) time constant factor approximation algorithm for the opti-mization version of F-Deletion. • A randomized O(2O(k)n) parameterized algorithm for F-Deletion when F is con-nected. Here a family F is called connected if every graph in F is connected. The algorithm can be made deterministic at the cost of making the polynomial factor in the running time n log2 n rather than linear. These algorithms unify, generalize, and improve over a multitude of results in the litera-ture. Our main results have several direct applications, but also the methods we develop on the way have applicability beyond the scope of this paper. Our results – constant factor approximation and FPT algorithms – are stringed together by a common theme of polynomial time preprocessing. 1

研究の動機と目的

• F に少なくとも1つの平面的グラフを含む場合の F-Deletion 問題に対する一般化されたアルゴリズムフレームワークの開発。
• さまざまなグラフ削除問題における既存の近似および固定パラメータ tractable (FPT) アルゴリズムを統合・改善すること。
• F-Deletion の最適化問題に対して、O(nm) 時間で動作する定数近似比を達成する近似アルゴリズムの確立。
• 連結な F に対して、O(2^O(k)n) 時間の FPT アルゴリズムを提供し、決定的バージョンはわずかに悪い多項式係数を犠牲にして得られる。
• Vertex Cover や Feedback Vertex Set、Treewidth η-Deletion といった基本的問題へのフレームワークの適用可能性の提示。

提案手法

• F-Deletion のための本質的構造的性質を保持しつつ、入力グラフを縮小する多項式時間前処理の活用。
• 前処理と貪欲な頂点選択を用い、O(nm) 時間で定数近似比を達成するランダム化された近似アルゴリズムの設計。
• 平面的禁止マイナーを用いたカーネル化と反復的削減に基づき、連結な F に対して O(2^O(k)n) 時間のランダム化 FPT アルゴリズムの適用。
• ランダム選択を全探索に置き換えることでランダム化アルゴリズムを決定的版に拡張し、多項式係数を n log²n に増加。
• 平面的グラフおよびマイナー閉性に関する構造的グラフ理論の結果を活用し、前処理および削減ステップの正しさと効率性を保証。
• 木幅およびグラフマイナーに関する既知の結果を統合し、カーネルのサイズを抑え、固定パラメータ tractability を保証。

実験結果

リサーチクエスチョン

• RQ1 F に少なくとも1つの平面的グラフを含む場合に、F-Deletion 問題に対して統一的な近似および FPT アルゴリズムを開発できるか？
• RQ2 F-Deletion 最適化問題において、近似的線形時間で達成可能な最良の近似比は何か？
• RQ3 F が連結である場合に、F-Deletion の FPT アルゴリズムを k について単一指数関数的依存で設計できるか？
• RQ4 多項式時間前処理は、マイナー閉性グラフ削除問題における改善された近似および FPT アルゴリズムを可能にするか？
• RQ5 このフレームワークは、Vertex Cover や Feedback Vertex Set のような問題を、共通の理論的枠組みにまで一般化できるか？

主な発見

• 本稿では、F に少なくとも1つの平面的グラフを含む場合の F-Deletion 問題に対して、ランダム化された O(nm)-時間定数近似アルゴリズムを提示する。
• 連結な F に対して、O(2^O(k)n) 時間の FPT アルゴリズムを達成しており、指数部の定数を除いて最適である。
• ランダム化 FPT アルゴリズムは、多項式係数を n log²n に増加させることで脱ランダム化可能であり、決定的 O(2^O(k)n log²n)-時間アルゴリズムが得られる。
• このフレームワークは、Vertex Cover や Feedback Vertex Set、Treewidth η-Deletion といった古典的問題に対する広範な既存結果を統合・改善する。
• 多項式時間前処理というコア技術が、近似および FPT アルゴリズムの両方が近似的最適な実行時間に達成できるようにしている。
• 結果は特定のインスタンスにとどまらず一般性を有し、手法的貢献はパラメータ化および近似アルゴリズム分野に広範な影響を持つ。