최대 사분면 일관성 문제를 위한 의사불리언 모델링

초록

본 논문은 사분면(Quartet) 기반 계통수 추정 문제인 Maximum Quartet Consistency(MQC)를 의사불리언(Pseudo‑Boolean, PB) 제약식으로 모델링하고, 최신 PB 솔버를 이용해 최적 해를 구하는 방법을 제안한다. 기본 PBO 모델에 세 가지 최적화 기법을 추가하여 변수 수와 제약식 복잡도를 감소시켰으며, 실험을 통해 ASP 기반 최첨단 방법과 경쟁력 있는 성능을 보임을 확인하였다.

상세 분석

MQC 문제는 주어진 사분면 위상 집합 Q에 대해, 가능한 모든 사분면 위상 중 최대 다수를 만족하는 무근(루트가 없는) 계통수 T를 찾는 NP‑hard 문제이다. 기존 연구에서는 동적 프로그래밍, 제약 프로그래밍, 최근에는 Answer Set Programming(ASP) 등이 사용되었으며, 특히 ASP가 현재 가장 효율적인 최적화 도구로 평가받는다. 본 논문은 이러한 배경에서 MQC를 Pseudo‑Boolean 최적화(PBO) 문제로 재구성한다. 핵심 아이디어는 계통수를 루트가 있는 형태로 변환한 뒤, 각 잎 사이의 가장 낮은 공통 조상을 정수값으로 표현하는 초거리 행렬(ultrametric matrix) M을 도입하는 것이다. M의 원소 M(i,j)는 1‥⌈n/2⌉ 범위의 정수이며, M(i,i)=0, 대칭성, 그리고 삼중항(i,j,k)에서 최대값이 두 번 이상 동일해야 하는 초거리 성질을 만족한다.

PBO 모델에서는 M(i,j)=k를 나타내는 부울 변수 M_i,j,k를 도입하고, 각 (i,j) 쌍에 대해 정확히 하나의 k가 선택되도록 1‑of‑K 제약식(∑_k M_i,j,k = 1)을 추가한다. 초거리 제약은 세 가지 경우 중 하나가 성립하도록 c1, c2, c3 부울 변수를 도입해 논리식으로 구현한다. 사분면 위상