[論文レビュー] Subexponential parameterized algorithm for interval completion

Ivan Bliznets, Fedor V. Fomin+2 more|arXiv (Cornell University)|Jan 10, 2016

Advanced Graph Theory Research参考文献 28被引用数 12

ひとこと要約

この論文は、区間完成問題に対する最初の部分指数的パラメータ化アルゴリズムを提示し、実行時間を k^O(√k) · n^O(1) にまで改善した。これは、以前の O(k²k n³m) の境界よりも顕著に向上している。アルゴリズムは、高度なデータ削減と分岐技術を活用し、パラメータ k に関して指数的でない時間で問題を解くことを可能にし、区間完成問題が部分指数的時間で解けるという非常にまれなグラフ変形問題のクラスに位置づけられる。

ABSTRACT

In the Interval Completion problem we are given an n-vertex graph G and an integer k, and the task is to transform G by making use of at most k edge additions into an interval graph. This is a fundamental graph modification problem with applications in sparse matrix multiplication and molecular biology. The question about fixed-parameter tractability of Interval Completion was asked by Kaplan, Shamir and Tarjan [FOCS 1994; SIAM J. Comput. 1999] and was answered affirmatively more than a decade later by Villanger at el. [STOC 2007; SIAM J. Comput. 2009], who presented an algorithm with running time O(k2kn3m). We give the first subexponential parameterized algorithm solving Interval Completion in time kO([EQUATION])nO(1). This adds Interval Completion to a very small list of parameterized graph modification problems solvable in subexponential time.

研究の動機と目的

• 区間完成問題が部分指数的パラメータ化アルゴリズムを有するかどうかという、長年の未解決問題に取り組むこと。
• Villanger らの固定パラメータ可解アルゴリズムの以前の O(k²k n³m) 実行時間よりも改善すること。
• 区間完成問題を、パラメータ k に関して部分指数的時間で解けるという、非常にまれなグラフ変形問題のクラスに位置づけること。
• 高度なデータ削減と分岐技術が、基本的なグラフ問題において部分指数的改善をもたらすことができることを示すこと。

提案手法

• 解空間を保持したままインスタンスを縮小する、新しいデータ削減技術を採用する。
• 区間グラフの構造的性質と潜在的極大クリークに基づいた洗練された分岐戦略を用いる。
• 区間グラフが極大クリークの特定の順序を持つことを利用し、辺の追加を意思決定する根拠とする。
• 補グラフにおける最小頂点被覆を用いることが、辺の追加回数の上限を定める重要な要素である。
• カーネル化と、入力グラフの構造を活用する再帰的分岐手順を組み合わせる。
• 実行時間の解析は、臨界頂点の数が O(√k) であるという境界に依存しており、これにより k に関して部分指数的依存性が実現される。

実験結果

リサーチクエスチョン

• RQ1 区間完成問題は、パラメータ k に関して部分指数的時間で解けるか、すなわち任意の c > 1 に対して o(c^k) 時間で解けるか？
• RQ2 区間グラフのどのような構造的性質が、より高速なパラメータ化アルゴリズムの設計に利用できるか？
• RQ3 高度なデータ削減と分岐技術を用いて、区間完成問題の実行時間を k^O(√k) · n^O(1) に達成することは可能か？
• RQ4 新しいアルゴリズムは、理論的および実用的観点から、以前の O(k²k n³m) 解法と比べてどのように異なるか？
• RQ5 本研究で開発された技術は、他のグラフ変形問題へも拡張可能か？

主な発見

• 論文は、k^O(√k) · n^O(1) の実行時間を達成した。これはパラメータ k に関して部分指数的である。
• この結果により、区間完成問題の固定パラメータ可解性が部分指数的時間で解決された。これは、Kaplan らが提起した未解決問題であり、後に Villanger らが再確認した。
• このアルゴリズムは、区間完成問題が部分指数的パラメータ化時間で解ける問題クラスに属する最初のものである。
• 効率的な分岐を誘導するため、区間グラフとその潜在的極大クリークの深い構造的解析に依存している。
• 特に k が小さいから中程度の値の場合、実行時間の改善は顕著であり、指数的依存性を k^k から k^O(√k) に削減している。
• この結果により、区間完成問題は、部分指数的パラメータ化アルゴリズムを持つという非常にまれで重要なグラフ変形問題のクラスに位置づけられるようになった。