[論文レビュー] Single Exponential FPT Algorithm for Interval Vertex Deletion and Interval Completion Problem

Arash Rafiey|arXiv (Cornell University)|Nov 19, 2012

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

ひとこと要約

本稿では、区間頂点削除および区間補完問題に対する最初の単一指数的FPTアルゴリズムを提示する。それぞれの実行時間はO(c^k n(n+m))であり、c = min{18,k}およびc = min{17,k}である。小さな区間グラフの障害要因を含まないグラフの構造的分解を活用することで、探索木の剪定を効率的に行い、STOC 2007で得られたO(k^{2k}n^3m)の既存境界を著しく改善する。

ABSTRACT

Let G be an input graph with n vertices and m edges and let k be a fixed parameter. We provide a single exponential FPT algorithm with running time O(c^kn(n+m)), c= min {18,k} that turns graph G into an interval graph by deleting at most k vertices from G. This solves an open problem posed by D.Marx [19]. We also provide a single exponential FPT algorithm with running time O(c^kn(n+m)), c= min {17,k} that turns G into an interval graph by adding at most$k edges. The first FPT algorithm with run time O(k^{2k}n^3m) appeared in STOC 2007 [24]. Our algorithm is the the first single exponential FPT algorithm that improves the running time of the previous algorithm. The algorithms are based on a structural decomposition of G into smaller subgraphs when G is free from small interval graph obstructions. The decomposition allows us to manage the search tree more efficiently.

研究の動機と目的

• D. Marxが提起した、区間頂点削除問題に対する単一指数的FPTアルゴリズムの存在に関する未解決問題を解消すること。
• 頂点削除または辺追加によってグラフを区間グラフに変換するための効率的な固定パラメータ tractable（FPT）アルゴリズムを開発すること。
• 既存のFPTアルゴリズムの実行時間を、以前のO(k^{2k}n^3m)の境界を超えて改善すること。
• パラメータkに対する指数的依存を軽減することで、より大きなインスタンスに対する実用的計算を可能にすること。

提案手法

• 入力グラフGが小さな区間グラフの障害要因を含まない場合、Gをより小さな部分グラフに構造的に分解する。
• この分解により、区間グラフでない原因となる障害要因を分離・処理することで、探索木の剪定をより効率的に行える。
• 区間グラフの性質と禁止部分グラフの性質を活用し、探索プロセスにおける再帰的分岐数を制限する。
• 実行時間は、頂点削除ではc = min{18,k}、辺追加ではc = min{17,k}としてO(c^k n(n+m))で抑えられ、kに線形的な指数的依存を達成する。
• 障害要因を除去するために必要な頂点または辺の数が限られていることを利用し、探索木の大きさを有界に保つ。
• コア的な革新は、分解技術にあり、k^{2k}からc^kへの指数的要因の低減を実現する。ここでcは問題の変種に応じて18または17以下である。

実験結果

リサーチクエスチョン

• RQ1 区間頂点削除問題に対して、O(k^{2k}n^3m)の境界を上回る単一指数的FPTアルゴリズムを設計可能か？
• RQ2 同じアプローチを区間補完問題に拡張し、同等の効率性を達成可能か？
• RQ3 小さな区間グラフの障害要因を含まないグラフの構造的性質を活用して、FPTアルゴリズムにおける探索空間をどのように縮小できるか？
• RQ4 区間グラフ変換問題におけるkに対する最もタイトな指数的依存関係は何か？

主な発見

• 本稿では、区間頂点削除問題に対する最初の単一指数的FPTアルゴリズムを提示し、実行時間はO(c^k n(n+m))、c = min{18,k}である。
• 区間補完問題では、c = min{17,k}としてO(c^k n(n+m))の実行時間を達成し、既存の境界を著しく改善する。
• 構造的分解技術により、障害要因を分離し、再帰的分岐を削減することで、より効率的な探索木走査が可能になる。
• 実行時間の改善は、k^{2k}からc^kへの指数的要因の低減によって達成され、cは17または18で有界である。
• D. Marxが提起した未解決問題を解決し、区間グラフ変換における固定パラメータ tractability の新たな基準を確立する。
• 本手法は一般化可能であり、他のグラフ変換問題におけるFPTアルゴリズムの改善に応用可能なフレームワークを提供する。