조건부 색칠 문제의 복잡도 연구

초록

정수 $r>0$에 대해 그래프 $G$의 조건부 $(k,r)$‑색칠은 $G$의 정점을 $k$가지 색으로 적절히 색칠하면서, $G$의 각 정점 $v$가 차수 $d(v)$를 가질 경우 인접한 정점들이 최소 $\min{r,d(v)}$개의 서로 다른 색을 사용하도록 하는 색칠이다. 이러한 색칠이 가능한 최소의 정수 $k$를 $r$번째 차수 조건부 색채수 $\chi_r(G)$라 정의한다. $r=1$일 때는 전통적인 정점 색칠과 동일함을 쉽게 확인할 수 있다. 본 논문에서는 조건부 색칠의 계산 복잡성을 조사한다. 주요 결과는 삼각형이 없고 최대 차수가 3 이하인 그래프에 대해 조건부 $(3,2)$‑색칠 문제가 $NP$‑complete임을 보인 것이다. 이는 전통적인 3‑색칠이 최대 차수 3인 그래프에서는 다항시간으로 해결 가능하다는 기존 결과와 대조된다. 또한 이 결과는 최대 차수 3인 그래프가 $(3,2)$‑색칠 혹은 $(4,2)$‑색칠이 가능한지를 판별하는 문제가 $NP$‑complete임을 의미한다. 더불어 전통적인 색칠에 대한 기존 복잡도 결과 중 일부가 조건부 색칠에도 그대로 적용됨을 증명하였다.

상세 요약

조건부 색칠은 기존의 정점 색칠에 “인접 색 다양성”이라는 추가 제약을 부여한 일반화된 개념이다. 구체적으로, 정점 $v$의 차수가 $d(v)$일 때, $v$와 인접한 정점들이 차지하는 색의 종류가 최소 $\min{r,d(v)}$가 되도록 요구한다. $r=1$이면 이 조건은 자동으로 만족되므로 전통적인 색칠과 동일해진다. 따라서 $r$가 커질수록 색칠 문제는 점점 더 어려워진다. 논문에서는 특히 $r=2$인 경우에 초점을 맞추어, $k=3$인 조건부 색칠이 얼마나 복잡한지를 조사한다.

먼저, 최대 차수가 3 이하이고 삼각형이 존재하지 않는 그래프(즉, $K_3$-free 그래프)에서 전통적인 3‑색칠은 이미 알려진 바와 같이 다항시간 알고리즘으로 해결 가능하다. 이는 차수가 제한된 경우 그래프가 충분히 단순해져서 색칠 충돌을 피할 수 있기 때문이다. 그러나 저자들은 동일한 그래프 클래스에 대해 조건부 $(3,2)$‑색칠을 요구하면 문제의 난이도가 급격히 상승한다는 사실을 증명한다. 구체적인 증명은 3‑SAT 혹은 다른 $NP$‑complete 문제로부터의 다항시간 환원(reduction)을 이용한다. 환원 과정에서 각 변수와 절을 그래프의 정점과 구조에 대응시켜, 조건부 색칠이 만족될 경우 원래 논리식이 만족된다는 논리를 전개한다. 이때 $r=2$라는 제약은 인접 정점들이 최소 두 가지 색을 사용하도록 강제함으로써, 단순히 색을 배정하는 것만으로는 해결되지 않게 만든다.

이 결과는 두 가지 중요한 함의를 가진다. 첫째, 최대 차수가 3인 그래프에 대해 $(3,2)$‑색칠이 $NP$‑complete임을 보여줌으로써, 기존에 “차수 제한이 낮으면 색칠 문제가 쉬워진다”는 직관을 반증한다. 둘째, $(4,2)$‑색칠 역시 같은 그래프에서 $NP$‑complete임을 도출한다. 이는 $k$를 하나 늘려도 문제의 복잡도가 크게 감소하지 않음을 의미한다.

또한 논문은 기존 전통 색칠에 대한 복잡도 결과—예를 들어, planar graph의 4‑colorability는 $NP$‑complete라는 사실—가 조건부 색칠에도 그대로 적용될 수 있음을 보인다. 이는 조건부 색칠이 기존 색칠의 하위 문제이면서도, 추가 제약으로 인해 복잡도 경계가 크게 변동할 수 있음을 시사한다. 전반적으로 이 연구는 그래프 이론과 복잡도 이론 사이의 새로운 연결 고리를 제공하며, 조건부 색칠이 실제 네트워크 설계, 주파수 할당 등에서 요구되는 “다양한 인접 속성”을 모델링하는 데 유용함을 암시한다.