[論文レビュー] On a conjecture of compatibility of multi-states characters

Michel Habib, Thu‐Hien To|arXiv (Cornell University)|May 5, 2011

Algorithms and Data Compression参考文献 21被引用数 6

ひとこと要約

この論文は完全系統発生樹における多状態キャラクターの整合性を調査し、r状態キャラクターの集合の整合性が、f(r) 個のサイズの有界部分集合の整合性にのみ依存することを示す仮説を提示する。著者らは、f(4) ≥ 5 である反例を提示し、f(r) = r であるとされた仮説に反論し、弦的サンドイッチグラフに対する閉包作用素を導入して問題を単純化し、r ≥ 4 に対して f(r) を特定する可能性のある道筋を提示する。

ABSTRACT

Perfect phylogeny consisting of determining the compatibility of a set of characters is known to be NP-complete. We propose in this article a conjecture on the necessary and sufficient conditions of compatibility: Given a set $\mathcal{C}$ of $r$-states full characters, there exists a function $f(r)$ such that $\mathcal{C}$ is compatible iff every set of $f(r)$ characters of $\mathcal{C}$ is compatible. Some previous work showed that $f(2)=2$, $f(3)=3$ and $f(r) \ge r-1$. Gusfield et al. 09 conjectured that $f(r) = r$ for any $r \ge 2$. In this paper, we present an example showing that $f(4) \ge 5$ and then a closure operation for chordal sandwich graphs. The later problem is a common approach of perfect phylogeny. This operation can be the first step to simplify the problem before solving some particular cases $f(4), f(5), ... $, and determining the function $f(r)$.

研究の動機と目的

• 完全系統発生樹におけるr状態フルキャラクターの整合性の必要十分条件に関する仮説を解明すること。
• r状態キャラクターの集合が整合的であるための最小関数 f(r) を特定すること。ここで、任意の f(r) 個のキャラクターの部分集合が整合的であるとき、かつそのときに限り、全体の集合が整合的である。
• f(r) = r であると以前に予想されていたものを、f(4) ≥ 5 を示す反例によって挑戦すること。
• r ≥ 4 に対して、弦的サンドイッチグラフのための閉包作用素を開発し、キャラクター整合性問題の単純化のためのツールとする。
• f(r) を特定し、多状態キャラクターに対して f(r) の上界を確立するための基盤を築くこと。

提案手法

• r状態フルキャラクターの集合の整合性が、総キャラクター数とは無関係に、f(r) 個のサイズの部分集合の整合性に依存するという仮説を提示する。
• f(4) ≥ 5 を示す具体的な例を構築し、すべての r ≥ 2 に対して f(r) = r であるという仮説を反証する。
• 弦的サンドイッチグラフに対する閉包作用素を導入し、重要な構造的性質を保持するとともに、整合性問題の単純化を可能にする。
• 禁止辺および強制辺を用いたグラフ理論的技法を用い、無弦サイクルおよびその弦的完成形を分析する。
• 深さ優先探索を用いて f(u,v) ルートおよび g(u,v,w) サイクルを検出することで、有効な弦的完成形を決定するアルゴリズムを実装する。
• 再帰的帰納法を用いて、特定の接続性条件の下で、k+1 頂点のサイクルが、より小さい部分サイクルが適切な弦的完成形を持つ場合に、適切な弦的完成形を持つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 f(r) が存在して、r状態フルキャラクターの集合が、すべての f(r) 個のキャラクターの部分集合が整合的であるときにかつそのときに限り、整合的であると保証されるか？
• RQ2 r ≥ 4 のとき、f(r) の最小値は何か？また、f(r) は r を超えるか？
• RQ3 弦的サンドイッチグラフに対する閉包作用素を用いることで、r状態キャラクターの整合性問題を単純化できるか？
• RQ4 サイクルに対して複数の異なる弦的完成形が存在する場合、整合性テストに有用な構造的制約が生じるか？
• RQ5 提案された閉包作用素を一般化することで、r ≥ 4 に対して f(r) の上界を特定できるか？

主な発見

• 本論文は、f(4) ≥ 5 を示す反例を提供し、すべての r ≥ 2 に対して f(r) = r であるとされた以前の仮説に反する。
• 例および構造的解析に基づき、f(r) ≥ r+1 がすべての r ≥ 4 に対して成り立つと著者らが提唱している。
• 弦的サンドイッチグラフに対する閉包作用素が導入され、適切な弦的完成形の存在を保持し、整合性問題の単純化に使用可能である。
• 閉包作用素は、非辺を接続して生成されるすべてのサイクルに対して、少なくとも1つの適切な弦的完成形が存在することを保証し、構造的一致性を維持する。
• f(u,v) ルートおよび g(u,v,w) サイクルを検出するアルゴリズムは O(n⁴(n+m)) 時間で実行可能であり、実用的な計算フレームワークを提供する。
• 結果として、キャラクター整合性問題は、有界部分集合のチェックに還元可能であるが、r ≥ 4 のとき、必要なサイズ f(r) は r を超えて増加することが示唆される。