함수 방향 2‑색 문제의 난이도 완전 분석

초록

본 논문은 Valiant이 제시한 함수 방향 2‑색(FOT‑2C) 문제에 대해 그래프의 최대 차수가 5 이하일 때는 항상 해가 존재하고 선형 시간으로 찾을 수 있음을 보이며, 최대 차수가 6인 평면 그래프에서는 NP‑complete임을 증명한다. 이를 통해 차수 4‒7 구간의 난이도 공백을 메우고, 기존 결과와의 관계를 명확히 제시한다.

상세 분석

Valiant의 초기 연구에서는 평면 그래프 중 최대 차수가 3인 경우에 한해 다항식 시간 홀로그래픽 알고리즘을 제시하고, 차수가 10인 경우는 NP‑complete임을 보였다. 이후 Corrêa 등은 결함 그래프 색칠(defective coloring) 이론을 이용해 차수가 8인 평면 그래프에서도 문제의 난이도가 유지된다는 결과를 얻었다. 그러나 차수가 4,5,6,7인 경우에 대한 정확한 복잡도는 남아 있었다. 본 논문은 두 가지 주요 정리를 통해 이 공백을 메운다. 첫 번째 정리는 “Maximum degree ≤5인 모든 그래프는 FOT‑2C 해를 가짐”을 증명한다. 여기서는 그래프를 2‑색 가능한 결함‑1 서브그래프와 결함‑0 서브그래프의 합으로 분해하고, 각 서브그래프에 대해 적절한 방향 부여를 구성한다. 특히, 차수가 5인 정점은 반드시 하나의 색에 속하도록 강제함으로써 전체 방향 배정이 충돌 없이 이루어짐을 보인다. 두 번째 정리는 “Maximum degree 6인 평면 그래프는 NP‑complete”임을 보여준다. 이를 위해 3‑SAT의 변형인 Planar 1‑in‑3‑SAT 인스턴스를 그래프 구조로 변환하는 다단계 감소 과정을 설계한다. 변환 과정에서 각 변수와 절을 각각 ‘변수 게이트’와 ‘절 게이트’로 구현하고, 이들 사이에 교차를 방지하기 위해 평면성 유지와 차수 제한을 동시에 만족시키는 ‘플래너리 케이블’ 구조를 도입한다. 결과적으로 얻어진 평면 그래프는 차수가 최대 6이며, 원래 논리식이 만족될 경우에만 FOT‑2C 해가 존재한다는 일대일 대응을 확보한다. 또한 차수 5 이하 그래프에 대해 제시된 선형 시간 알고리즘은 BFS 기반의 정점 분류와 간단한 방향 지정 규칙을 이용해 구현 가능함을 증명한다. 이 알고리즘은 O(|V|+|E|) 시간 복잡도를 가지며, 실제 구현 시 메모리 사용량도 선형 수준에 머문다. 전체적으로 본 연구는 함수 방향 2‑색 문제의 복잡도 지형을 차수별로 완전히 구분함으로써, 향후 관련 알고리즘 설계와 이론적 탐구에 중요한 기준점을 제공한다.