[논문 리뷰] Generalizing the Splits Equivalence Theorem and Four Gamete Condition: Perfect Phylogeny on Three State Characters

Fumei Lam, Dan Gusfield외 1명|ArXiv.org|2009. 05. 09.

Genome Rearrangement Algorithms참고 문헌 19인용 수 3

한 줄 요약

이 논문은 완전 계통수 존재성 문제에서 이진 문자에 대한 Splits Equivalence Theorem와 Four Gamete Condition을 삼치 상태 문자로 일반화한다. 삼치 상태 서열 집합에 대해 완전 계통수가 존재하는 것은 모든 3개 문자의 부분집합이 완전 계통수를 허용할 때이고 그때에만 성립함을 증명한다. 주요 기여는 최소 방해 집합의 완전한 특성화와 삼치 상태 데이터에 대한 초그래프 기반의 불일치 구조의 도입으로, 이는 이진 문자 사례와 유사한 알고리즘적 및 이론적 확장 가능성을 제공한다.

ABSTRACT

We study the perfect phylogeny problem and establish a generalization of the four gamete condition (also called the Splits Equivalence Theorem) for sequences over three state characters. Our main result is that a set of input sequences over three state characters allows a perfect phylogeny if and only if every subset of three characters allows a perfect phylogeny. In establishing these results, we prove fundamental structural features of the perfect phylogeny problem on three state characters and completely characterize the minimal obstruction sets that must occur in three state input sequences that do not have a perfect phylogeny. We further give a proof for a stated lower bound involved in the conjectured generalization of our main result to any number of states. The techniques are based on the chordal graph view of perfect phylogeny. Until this work, the notion of a conflict, or incompatibility, graph has been defined for two state characters only. Our generalization of the four gamete condition allows us to generalize the notion of incompatibility to three state characters. The resulting incompatibility structure is a hypergraph, which can be used to solve algorithmic and theoretical problems.

연구 동기 및 목표

• 완전 계통수 문제에서 이진 문자에 대한 Splits Equivalence Theorem와 Four Gamete Condition을 삼치 상태 문자로 확장하는 것.
• 작은 문자 부분집합에 대한 국소적 점검만으로 삼치 상태 서열에 대한 완전 계통수가 존재하는지 여부를 판단하는 것.
• 삼치 상태 데이터에서 완전 계통수를 방해하는 최소 방해 집합을 특성화하는 것.
• 이진 문자에 대해서만 정의된 불일치 개념을 삼치 상태 문자로 일반화하고, 초그래프 기반의 불일치 구조를 도입하는 것.
• 특히 미세/미니-위성에서 유래한 다치 상태 유전적 데이터 분석을 위한 이론적 및 알고리즘적 기초를 제공하는 것.

제안 방법

• 삼치 상태 문자로 Four Gamete Condition을 일반화하여, 완전 계통수가 존재하는 것은 모든 3개 문자의 조합이 완전 계통수를 허용할 때에만 성립함을 보이는 것.
• 초그래프 기반의 불일치 구조 C(S)를 정의하여, 초간선이 상호로 불일치하는 두 개 또는 세 개의 문자 쌍을 나타내도록 하는 것.
• 모든 최소 방해 집합을, 짝별로는 일치하지만 함께론에서는 불일치하는 3개 문자의 특정 구성으로 특성화하는 것.
• 완전 계통수가 존재하는 것이 입력 데이터에 이러한 최소 방해 집합이 존재하지 않는 것과 동치임을 증명하는 것.
• 고정-파라미터 다항 시간 결과를 활용하여 삼치 상태 데이터의 문자 제거 문제를 3-Hitting Set 문제로 모델링하고 해결하는 것.
• 이진 문자에서의 충돌 그래프 개념을 삼치 상태 문자로 일반화하여, 간선이 불일치하는 두 개 또는 세 개의 문자 조합에 대응하는 초그래프를 정의하는 것.

실험 결과

연구 질문

• RQ1 Splits Equivalence Theorem는 삼치 상태 문자로 일반화될 수 있는가? 즉, 완전 계통수가 존재하는 것은 모든 3개 문자의 부분집합이 완전 계통수를 허용할 때에만 성립하는가?
• RQ2 삼치 상태 문자 데이터에서 완전 계통수를 방해하는 최소 방해 집합은 무엇인가?
• RQ3 이전에는 이진 문자에 대해서만 정의된 불일치 개념을 삼치 상태 문자로 어떻게 확장할 수 있는가?
• RQ4 3-Hitting Set 문제는 삼치 상태 완전 계통수의 문자 제거 문제를 해결하는 데 적용 가능한가?
• RQ5 불일치 초그래프 구조를 사용하여 삼치 상태 데이터에서 재조합 사건의 하한값 또는 분해 정리를 도출할 수 있는가?

주요 결과

• 삼치 상태 서열 집합에 대해 완전 계통수가 존재하는 것은 모든 3개 문자의 부분집합이 완전 계통수를 허용할 때에만 성립한다.
• 삼치 상태 데이터의 모든 최소 방해 집합은 짝별로는 일치하지만 함께론에서는 불일치하는 3개 문자의 조합으로 특성화된다.
• 삼치 상태 문자의 불일치 구조는 초그래프로 형식화되며, 초간선은 불일치하는 두 개 또는 세 개의 문자 조합에 대응한다.
• 삼치 상태 데이터의 문자 제거 문제는 3-Hitting Set 문제로의 환원을 통해 고정-파라미터 다항 시간으로 해결 가능하다.
• 논문은 r ≥ 4인 r-상태 문자로 주요 결과를 일반화하는 데 대한 추측을 뒷받침하는 핵심 하한값을 증명한다.
• 모든 3개 문자의 조합을 점검하는 것으로 완전 계통수가 존재하는지 여부를 판단하는 것이 충분하며, 이는 삼치 상태 데이터에 대한 오랫동안 미해결이었던 열린 문제를 해결한다.