단일 색상 사이클 방지 정점 2색칠 문제

초록

이 논문은 무방향 그래프의 정점을 두 가지 색(빨강, 파랑)으로 색칠하되, 지정된 길이 k 이상의 단색 사이클이 존재하지 않도록 하는 결정 문제(2,k‑COL)의 NP‑완전성을 증명한다. 저자는 3‑SAT 및 NAE‑SAT 변형으로부터 다항식 시간 감소를 구성하고, 특히 클리크 K₄와 K₆의 색칠 특성을 이용한 “슈퍼‑엣지” 가젯을 설계한다. k = 3, 4에 대한 구체적 증명을 제시하고, 일반 k ≥ 3에 대해 동일한 아이디어를 확장한다.

상세 분석

논문은 먼저 (2,k‑COL) 문제를 정의한다. 그래프 G 와 색칠 함수 c:V→{r,b} 에 대해, 모든 길이 k 인 사이클 Q∈C_k 에 대해 적어도 두 정점이 서로 다른 색을 가져야 한다는 제약 P_k(c) 를 만족하면 c 를 유효한 색칠이라고 한다. 목표는 주어진 G 가 이러한 유효 색칠을 갖는지 여부를 판정하는 것이다. 저자는 k≥3에 대해 이 문제가 NP‑complete임을 보이기 위해, k‑NAE‑SAT(각 절이 최소 하나의 true와 하나의 false 리터럴을 포함해야 함)으로부터 다항식 감소를 만든다.

핵심 아이디어는 “슈퍼‑엣지” 가젯이다. 일반적인 그래프에서는 단순히 두 정점을 연결하는 엣지만으로는 색칠 제약을 강제할 수 없지만, K₄(4‑클리크)와 K₆(6‑클리크)의 구조적 특성을 이용하면 특정 엣지 {x,y} 가 반드시 서로 다른 색을 가져야 함을 보장할 수 있다. K₄의 경우, 두 정점을 같은 색으로 색칠하면 남은 두 정점은 반드시 반대 색이 되며, 이를 연쇄적으로 연결하면 “문자열” 형태의 가젯이 형성된다. 문자열의 길이가 홀수이면 양 끝 정점이 서로 다른 색을 요구하게 되므로, 이를 슈퍼‑엣지로 사용한다. K₆을 이용한 경우는 역 V‑형 컴포넌트를 구성하고 이를 높이 4 인 완전 이진 트리로 확장한다. 트리의 루트와 리프를 추가 엣지로 연결해 길이 k 인 단색 사이클을 만들 수 없도록 강제한다.

k=3(삼각형)에서는 변수 가젯을 두 정점 x,¬x 와 슈퍼‑엣지로 연결하고, 절 가젯을 세 리터럴을 정점으로 하는 삼각형으로 만든다. 각 리터럴 정점은 해당 변수 가젯의 정점과 슈퍼‑엣지로 연결한다. NAE‑SAT의 만족 할당이 존재하면, 변수 가젯의 색칠을 할당에 따라 정하고, 슈퍼‑엣지의 제약으로 절 가젯 내에 적어도 하나는 빨강, 하나는 파랑이 되므로 단색 삼각형이 생기지 않는다. 반대로 유효 색칠이 존재하면, 변수 가젯의 색을 읽어 할당을 복원할 수 있다.

k=4(사각형)에서는 절 가젯을 사각형으로 교체하고, 슈퍼‑엣지를 K₆ 기반의 복잡한 가젯으로 대체한다. 이 가젯은 루트‑리프 경로가 색을 교대로 바꾸게 만들고, 루트와 리프를 추가 엣지로 연결해 길이 4 인 단색 사이클이 반드시 발생하도록 설계한다. 따라서 색칠이 유효하면 루트와 리프는 서로 다른 색을 가져야 하며, 이는 변수‑절 연결에 필요한 논리적 제약을 제공한다.

일반 k에 대해서는 동일한 구조를 확장한다. 트리의 높이를 4·⌈k/2⌉ 정도로 잡고, 깊이 4·i 에 있는 “사이클 유도” 정점들을 모두 연결해 길이 k 인 단색 사이클을 만들 수 있게 한다. k가 고정 상수이므로 트리의 크기는 φ의 크기에 대해 다항식이며, 전체 감소는 여전히 다항식 시간에 수행된다.

이러한 구성은 (2,k‑COL) 문제가 NP‑hard임을 보이고, 유효 색칠 검증이 다항식 시간에 가능하므로 NP‑complete임을 결론짓는다. 논문은 또한 가젯의 최소 크기에 대한 실험적 탐색(예: 8 정점 이하에서는 불가능)과 “목걸이 감소”(모든 변수 가젯을 하나의 큰 루프에 배치해 가젯 수를 최소화) 등 구현적 최적화도 제시한다.