제국 색칠 문제의 복잡성

초록

본 논문은 정확히 r 개의 국가로 구성된 제국을 포함하는 지도에서 (s, r)‑색칠 문제의 계산 복잡성을 조사한다. 평균 차수가 s/r 이하인 평면 그래프에서는 다항시간 알고리즘이 존재함을 보이며, 반면 s ≥ 3 인 경우 r ≥ 2 일 때 길이가 제한 없는 경로들의 숲에서도 NP‑hard임을 증명한다. 또한 트리와 일반 평면 그래프에 대한 완전한 복잡도 구분을 제시한다.

상세 분석

논문은 먼저 r‑제국 그래프 G 와 그 축소 그래프 R_r(G) 의 개념을 도입한다. R_r(G) 는 각 제국을 하나의 의사 정점으로 수축하고, 원래 그래프의 인접 관계를 그대로 유지한 다중 그래프이다. 따라서 (s, r)‑색칠 문제는 R_r(G) 를 s 색으로 정상적인 정점 색칠을 할 수 있는지 여부와 동등함을 보인다. 이 관점에서 저자는 평균 차수가 s/r 이하인 모든 유도 서브그래프에 대해 R_r(G) 가 K_{s/r+1} 을 포함하지 않음을 이용, 최소 차수 그리디와 Brooks 정리(또는 Brookes 정리)의 강화 버전을 적용해 다항시간 색칠 알고리즘을 설계한다. 구체적으로, 평균 차수가 σ 인 평면 그래프 집합 SPARSE(σ) 에 대해 r·σ 정수이면 r·σ‑색칠이 가능함을 증명한다. 이는 (2r−1)‑색칠이 길이 ≤ 2r−1 인 경로 숲에서, 그리고 (6r−1)‑색칠이 정점 수 ≤ 12r 인 평면 그래프에서 효율적으로 해결될 수 있음을 의미한다.

다음으로 저자는 NP‑hardness를 입증한다. 핵심은 (s, k)‑포뮬러 그래프 Φ 를 이용한 새로운 감소 기법이다. k‑CNF SAT 문제를 Φ 에 변환함으로써, Φ 가 s‑색칠 가능 ⇔ 원래 식이 만족 가능함을 보인다. 이때 Φ 는 진리 게이트, 변수 게이트, 절 게이트로 구성되며, 각 게이트는 제한된 색 수 s 와 연결 구조를 강제한다. 특히, 변수 게이트는 두 보완 정점 a, a̅ 를 사용해 변수의 TRUE/FALSE 선택을 색으로 인코딩한다. 절 게이트는 T, F 정점과 연결돼 최소 하나의 리터럴이 TRUE 색을 가져야만 전체 색칠이 가능하도록 설계된다. 이 감소는 s > k ≥ 3 인 모든 경우에 적용 가능하므로, s‑COL(FG(s,k)) 문제가 NP‑complete임을 얻는다.

이 NP‑hardness 결과를 바탕으로 여러 그래프 클래스에 대한 복잡도 구분을 도출한다. 첫째, 트리 경우에는 s ∈ {3,…,2r−1}이면 NP‑hard, 그 외에는 다항시간 해결 가능함을 보인다. 이는 트리의 축소 그래프가 항상 포레스트이며, B_{r,s} 와 같은 클리크 가젯을 이용해 색 제한을 강제할 수 있기 때문이다. 둘째, 일반 평면 그래프에서는 r=2일 때 s < 7, r≥3일 때 s < 6r−3이면 NP‑hard임을 증명한다. 여기서는 두께(thickness) 개념을 활용해, 두께 t 인 그래프는 t 개의 평면 서브그래프로 분할될 수 있음을 이용, 두께 2 그래프는 7색 미만이면 색칠이 어려워짐을, 두께 r≥3 그래프는 6r−3 색 미만이면 어려워짐을 보인다.

핵심 기법은 (i) R_r(G) 의 구조적 제한을 이용한 다항시간 색칠, (ii) 포뮬러 그래프와 가젯을 통한 SAT‑to‑색칠 감소, (iii) 클리크 가젯 B_{r,s} 및 색 제약 가젯 B^{−}_{r,s} 등을 이용한 색 강제와 연결성 조절이다. 이를 통해 저자는 제국 색칠 문제의 복잡도가 그래프의 희소성, 제국 크기 r, 사용 가능한 색 수 s 에 따라 급격히 변한다는 중요한 통찰을 제공한다. 특히, 평균 차수 제한이 없는 경우에는 매우 제한적인 그래프(예: 경로 숲)에서도 NP‑hard가 되며, 반대로 평균 차수가 충분히 낮은 경우에는 효율적인 알고리즘이 존재한다는 양면성을 명확히 제시한다.