고집스러운 문제, 이제는 풀렸다: 3‑호환 색칠과 스터번 리스트 분할의 다항식 해법

제한 만족 문제(CSP) 분야의 주요 과제 중 하나는 1993년 Feder와 Vardi가 제시한 **이분법 추측(Dichotomy Conjecture)**이다. 이 추측은 고정된 관계 구조 \(G\)에 대해 CSP\((G)\)가 NP‑완전이거나 다항식 시간에 해결 가능하다는 두 가지 경우만 존재한다는 내용을 담고 있다. 이 추측을 검증하기 위한 다양한 구체적 사례 연구가 진행되어 왔으며, 그 중 하나가 **리스트 매트릭스 분할(List Matrix Partition) 문제**이다. Cameron 등은 2004년 SODA에서 4×4 이하 크기의 매트릭스에 대해 거의 모든 경우를 분류했지만, 하나의 남은 경우가 **스터번 문제(Stubborn Problem)**로 알려졌다. 본 논문에서는 이 문제를 최종적으로 해결할 수 있는 결과를 제시한다. 우리의 접근법은 스터번 문제보다 적어도 같은 난이도를 가지는 **3‑호환 색칠(3‑Compatible Colouring) 문제**에 기반한다. 이 문제는 각 간선이 3가지 색 중 하나로 색칠된 완전 그래프가 주어졌을 때, 정점을 동일한 3가지 색 중 하나로 색칠하되, 어떤 간선도 그 양 끝점의 색과 간선 색이 모두 동일하지 않도록 하는 것이다. 3‑호환 색칠 문제의 복잡도는 수년간 미해결 상태였으며, 가장 최근에 알려진 알고리즘은 Feder 등(2005)이 제시한 \(n^{O(\log n / \log \log n)}\) 시간의 **준다항식(quasi‑polynomial) 알고리즘**이었다. 본 논문에서는 3‑호환 색칠 문제에 대한 **다항식 시간 알고리즘**을 제시하고, 이를 통해 \(k\)-호환 색칠 문제에 대한 이분법을 증명한다. 구체적으로, 우리는 색별 클러스터링, 충돌 해결을 위한 교환 연산, 재귀적 분할, 그리고 동적 프로그래밍 테이블을 결합한 새로운 구조적 분해 기법을 도입하였다. 이 기법은 최악의 경우에도 \(O(n^{3})\) 이하의 시간 복잡도로 문제를 해결함을 증명한다. 따라서 스터번 리스트 분할 문제는 이제 다항식 시간에 해결 가능해졌으며, 이는 CSP 이분법 추측에 대한 또 하나의 긍정적 사례가 된다. 앞으로 이 방법론을 다른 리스트 파티션 문제나 제한된 그래프 클래스에 확장함으로써, 보다 넓은 범위의 CSP 문제에 대한 효율적인 해결책을 모색할 수 있을 것으로 기대한다.