그래프 삼각분할로 보는 무뿌리 계통수 호환성

본 논문은 무뿌리(unnrooted) 계통수들의 집합이 하나의 초계통수(super‑tree)로 결합될 수 있는지를 그래프 이론적 관점에서 다룬다. 먼저 서론에서는 계통수 T를 라벨 집합 L(T)와 일대일 대응하는 잎을 가진 무방향 트리로 정의하고, 부분 집합 Y에 대한 제한 트리 T|Y와 두 트리 사이의 표시 관계(display) 개념을 소개한다. 프로파일 P=(T₁,…,T_k) 를 입력 트리들의 모음으로 두고, P가 **호환 가능(compatible)** 이란 모든 입력 트리를 동시에 표시하는 초계통수 T가 존재함을 의미한다. 기존 연구에서 이 문제는 NP‑complete임이 알려졌으며, 고정 파라미터 k에 대해 FPT임이 증명되었지만, 완전한 구조적 특성은 아직 부족했다. 두 번째 섹션에서는 그래프 이론의 기본 개념을 정리한다. 정점 집합 V(G), 간선 집합 E(G), 사이클의 chord, **chordal** 그래프, **triangulation**(chordal fill‑in) 등을 정의하고, **tree‑decomposition**(TD1‑TD3) 과 **clique tree** 개념을 소개한다. 특히, 트리 분해에서 발생하는 fill‑in 집합이 바로 그래프의 삼각분할을 만든다는 사실을 강조한다. 세 번째 섹션에서 핵심 개념인 **법적 삼각분할(legal triangulation)** 을 정의한다. 입력 트리들의 disjoint union을 라벨이 같은 잎끼리 식별해 만든 **display graph G(P)** 를 구성하고, 내부 간선(internal edge)과 비내부 간선(non‑internal edge)을 구분한다. 법적 삼각분할은 (LT1) 내부 간선을 포함하는 클리크는 다른 입력 간선을 전혀 포함하지 못한다, (LT2) 추가되는 fill‑in 간선은 오직 내부 정점만을 연결한다는 두 제약을 만족한다. 그 후 Lemma 1과 Lemma 2를 제시한다. Lemma 1은 P가 호환 가능하면 G(P)가 법적 삼각분할을 가진다는 것을 보이며, Lemma 2는 반대 방향을 증명한다. 두 보조정리를 통해 **Theorem 1**: “P가 호환 가능 ⇔ G(P)가 법적 삼각분할을 가진다” 라는 등가성을 확립한다. 증명에 앞서 **embedding function φ** 를 도입한다. φ는 한 트리 T₁을 다른 트리 T₂에 매핑하는 surjective 함수이며, (EF1) 라벨 일치, (EF2) 원상 이미지가 연결된 서브그래프, (EF3) 입력 트리의 각 간선이 정확히 하나의 원상 간선에 대응한다는 세 조건을 만족한다. Lemma 3은 φ의 존재와 T₁이 T₂를 표시한다는 사실을 동치로 만든다. Lemma 4는 호환성 ⇔ 존재하는 초계통수 T와 각 T_i에 대한 embedding 함수 φ_i 가 존재함을 보여준다. 이를 바탕으로 Lemma 1의 증명에서는 초계통수 T와 φ_i들을 이용해 **tree‑decomposition (T_G, B)** 를 구성한다. 초기에는 T_G = T 로 두고, 각 정점 v∈T에 대해 B(v)= { φ_i(v) | v가 φ_i의 정의역에 속함 } 로 정의한다. 이 단계는 vertex coverage와 coherence를 만족하지만 edge coverage가 부족하다. 이를 보완하기 위해 T_G의 각 간선 {x,y} 를 입력 트리들에서 연결되는 간선들의 집합 F 로 분해하고, 중간 정점 z₁,…,z_m 을 삽입해 새로운 경로 x–z₁–…–z_m–y 로 바꾸며, 각 새로운 정점에 적절한 B 값을 할당한다. 이렇게 하면 (TD1‑TD3)를 모두 만족하는 트리 분해가 얻어지고, 해당 분해가 유도하는 fill‑in 집합은 (LT1, LT2)를 위반하지 않으므로 법적 삼각분할이 된다. Lemma 2의 증명에서는 주어진 법적 삼각분할 G′와 그에 대한 **clique tree (T′, B)** 를 이용한다. 각 정점 v∈G에 대해 N(v)={x∈V(T′) | v∈B(x)} 가 트리 T′에서 서브트리를 형성한다는 coherence 속성을 활용한다. Lemma 5와 Lemma 6은 각각 잎 정점과 내부 간선이 N(v) 혹은 N(u)∩N(v) 에서 얼마나 많은 클리크에 포함될 수 있는지를 제한한다. 특히, (LT1)·(LT2) 덕분에 하나의 내부 간선은 오직 하나의 최대 클리크에만 속하고, 잎 정점도 하나의 클리크에만 속한다는 **conciseness** 특성을 얻는다. Lemma 7은 임의의 법적 삼각분할을 이러한 concise 형태로 변환할 수 있음을 보인다. 변환 과정은 클리크 트리에서 중복된 클리크를 **축소(contraction)** 함으로써 수행한다. concise 형태의 클리크 트리를 얻은 뒤, 각 클리크를 초계통수 T의 정점으로 해석하고, 세 가지 경우에 따라 초계통수와 embedding 함수 φ_i 를 구성한다. - 경우 1: 클리크에 라벨이 있는 잎 정점이 있으면, 해당 라벨을 가진 새로운 정점을 추가하고 φ_i 를 정의한다. - 경우 2: 클리크에 하나의 입력 트리의 내부 간선 양 끝점이 모두 포함되면, 클리크를 두 정점으로 분할하고 각각을 해당 내부 정점에 매핑한다. - 경우 3: 클리크에 하나 이하의 내부 정점만 있으면, 해당 정점을 그대로 매핑한다. 이 과정을 통해 얻어진 T는 모든 라벨이 정확히 한 번씩 나타나는 초계통수가 되며, 각 φ_i 가 EF1‑EF3을 만족하므로 T가 모든 입력 트리를 표시한다. 따라서 P는 호환 가능함을 보인다. 논문의 마지막 부분에서는 연구의 의의와 향후 과제를 논한다. 기존의 문자 기반 호환성 결과와 그래프‑이론적 접근을 연결함으로써, chordal 그래프와 tree‑width 이론을 활용한 알고리즘 설계가 가능함을 강조한다. 특히, 법적 삼각분할 존재 여부를 판단하는 절차가 FPT 알고리즘의 핵심 단계가 될 수 있으며, 실제 생물학적 데이터에 적용할 경우 대규모 종 집합에 대한 초계통수 구축을 효율적으로 지원할 잠재력을 가진다.