전이 정렬 문제, 이제 NP‑Hard임을 밝히다

초록

본 논문은 유전체 비교에서 핵심적인 연산인 전이(transposition)의 최소 횟수를 구하는 “Sorting by Transpositions” 문제의 계산 복잡도를 규명한다. 1995년 Bafna와 Pevzner가 제시한 이후 15년간 미해결로 남아 있던 이 문제를, 저자들은 정밀한 감소(reduction)를 통해 NP‑Hard임을 증명한다. 또한, 전이 거리와 관련된 브레이크포인트 수 db(π)를 이용해 “π를 db(π)/3 이하의 전이로 정렬할 수 있는가?”라는 판단 문제 역시 NP‑Hard임을 보인다. 이 결과는 전이 기반 진화 거리의 알고리즘적 한계를 명확히 하며, 향후 근사 알고리즘 및 파라메트릭 분석 연구에 중요한 이정표가 된다.

상세 분석

논문은 먼저 전이(transposition)의 정의와 기존 연구 동향을 정리한다. 전이는 두 연속 구간을 교환하는 연산으로, 유전체 서열을 순열로 모델링했을 때 한 번의 전이로 순열의 특정 구간을 이동시킬 수 있다. Bafna와 Pevzner는 전이 거리의 상한·하한을 제시했으며, 1999년에는 1.5‑approximation 알고리즘을 제시했지만 정확한 최소 전이 수를 구하는 문제는 여전히 미해결이었다. 저자들은 이 문제의 복잡도 분석을 위해 “3‑SAT”와 같은 전형적인 NP‑완전 문제로부터 다항식 시간 감소를 설계한다. 핵심 아이디어는 각 변수와 절을 순열의 특정 블록으로 매핑하고, 전이 연산이 변수 할당을 시뮬레이션하도록 구성하는 것이다. 이를 위해 “breakpoint graph”와 “cycle decomposition” 개념을 활용해 전이 한 번이 그래프상의 특정 사이클을 병합하거나 분할하는 효과를 갖게 만든다. 특히, 논문은 전이 연산이 브레이크포인트 수 db(π)를 최대 3개까지 감소시킬 수 있다는 사실을 이용해, 목표 정렬 횟수를 db(π)/3 이하로 제한하는 형태의 결정 문제를 정의한다. 이 결정 문제는 “π를 db(π)/3 이하의 전이로 정렬할 수 있는가?”이며, 저자들은 이를 통해 원래의 최적 정렬 문제와 동등함을 보인다. 복잡도 증명 과정에서는 두 단계의 감소를 거친다. 첫 번째는 3‑SAT → “Permutation with Controlled Breakpoints” 문제, 두 번째는 해당 문제 → “Sorting by Transpositions” 문제이다. 각 단계에서 구성된 순열은 다항식 크기를 유지하고, 전이 연산이 논리식의 만족 여부를 정확히 반영하도록 설계된다. 최종적으로, 만족 가능한 3‑SAT 인스턴스는 최소 전이 수가 특정 값 이하인 순열로 변환되고, 만족 불가능한 경우에는 그 이하로 정렬이 불가능함을 보인다. 따라서 Sorting by Transpositions 문제는 NP‑Hard임이 증명된다. 논문은 또한 NP‑Hardness가 “NP‑complete”인지 여부는 아직 남아 있음을 언급하며, NP에 속하는지 확인하기 위한 검증 절차의 어려움을 논의한다. 마지막으로, 저자들은 이 결과가 전이 기반 알고리즘의 근사 비율 한계와 파라메트릭 복잡도 분석에 미치는 영향을 정리하고, 향후 연구 방향으로 특수 케이스(예: 제한된 브레이크포인트 수, 특정 구조의 순열)에서의 효율적 알고리즘 탐색을 제시한다.