[論文レビュー] Intractability of the Minimum-Flip Supertree problem and its variants

Sebastian Böcker, Quang Bao Anh Bui+2 more|arXiv (Cornell University)|Dec 20, 2011

Algorithms and Data Compression参考文献 16被引用数 4

ひとこと要約

この論文は、行列表現によるフラッピング（MRF）を用いた系統発生スアップルツリー構築の根幹をなす最小フラップスアップルツリー問題が、任意の定数要因内で近似可能でないことを証明しており、W[2]-hardであることも示している。これは、強い理論的非効率性を確立するものである。著者らはNP困難な根付き三重対立問題（RTI）をMRFに還元し、P = NPでない限り、効率的な近似解法や固定パラメータ可 tractable（FPT）解法は得られないと示している。

ABSTRACT

Computing supertrees is a central problem in phylogenetics. The supertree method that is by far the most widely used today was introduced in 1992 and is called Matrix Representation with Parsimony analysis (MRP). Matrix Representation using Flipping (MRF)}, which was introduced in 2002, is an interesting variant of MRP: MRF is arguably more relevant that MRP and various efficient implementations of MRF have been presented. From a theoretical point of view, implementing MRF or MRP is solving NP-hard optimization problems. The aim of this paper is to study the approximability and the fixed-parameter tractability of the optimization problem corresponding to MRF, namely Minimum-Flip Supertree. We prove strongly negative results.

研究の動機と目的

• 系統発生スアップルツリー構築における行列表現によるフラッピング（MRF）の背後にある最適化問題である最小フラップスアップルツリー問題の近似可能性と固定パラメータ可 tractability を分析すること。
• MRFに基づくスアップルツリー構築の効率性における理論的限界を確立すること、特に矛盾する系統発生データの処理に関して。
• 最小フラップスアップルツリー問題を任意の定数要因内で近似することはNP困難であることを示し、強力な近似不能性を示すこと。
• この問題がW[2]-hardであることを示し、標準の複雑性仮定のもとでは固定パラメータ可 tractable である可能性が低いことを示すこと。

提案手法

• NP困難な根付き三重対立問題（RTI）を、多項式時間のFPT還元を用いて最小フラップスアップルツリー問題に還元する。
• RTIのインスタンス (S, R, k) から、三重制約に基づき、文字-種のペアに −α、0、または β の重みを割り当てる重み付き二部グラフのドラフト図 H を構築する。
• H の編集版 G を、M-free な二部グラフとして定義する。M-free 性は完全な系統発生樹の存在を保証する。
• H とその編集版 G 間の乖離を編集コスト Δ(G, H) で測定し、各対立に対してコスト γ = min{α, β} を割り当てる。
• H における編集問題の解でコスト ≤ γk である場合、それは R に含まれる三重のうち高々 k 個を除きすべてを適合させる系統発生樹に対応することを証明する。
• 編集問題の任意の ρ-近似解は、RTI の ρ-近似解に対応することを示し、両問題の近似不能性を結びつける。

実験結果

リサーチクエスチョン

• RQ1 最小フラップスアップルツリー問題は、多項式時間内で任意の定数要因内で近似可能か？
• RQ2 最小フラップスアップルツリー問題は、フラップの数に関して固定パラメータ可 tractable か？
• RQ3 MRF の複雑さとその背後にある RTI 問題の複雑さの関係は何か？
• RQ4 最小フラップスアップルツリー問題の近似不能性は、最大パラモニー（MP）のような他の関連問題と比べてどうか？

主な発見

• 最小フラップスアップルツリー問題は、任意の定数要因内で近似可能でないことがNP困難である。これは、P = NP でない限り、任意の ρ ≥ 1 に対して多項式時間の ρ-近似解が存在しないことを示唆する。
• この問題はW[2]-hardである。これは、フラップの数に関して固定パラメータ可 tractable である可能性が低いことを示している。
• RTI から重み付きドラフト図の編集問題への多項式時間のFPT還元により、RTI の近似不能性がMRFの近似不能性を示唆する。
• 還元は近似比を保存する：編集問題の ρ-近似解は、RTI の ρ-近似解をもたらす。
• MRF は MRP よりも理論的に重要であるが、強力な非効率性を引き継いでおり、MP の 1.55-近似可能性とは対照的である。
• これらの結果は、特にMRFに基づく手法において、実用的効率と理論的可 tractability の間の根本的なギャップを浮き彫りにしている。