그리드 색칠의 난제와 NP완전성

초록

이 논문은 n×m 격자에서 사각형 네 꼭짓점이 모두 같은 색이 되지 않도록 색을 배정하는 문제를 다룬다. 특히 부분적으로 색칠된 격자를 완전한 적절 색칠로 확장할 수 있는지를 결정하는 문제를 정의하고, 이를 일반적인 결정 문제 형태로 변환한 뒤 NP‑complete임을 증명한다. 2009년 17×17 격자의 4색칠 도전 사례를 계기로 이 문제의 일반적 난이도를 탐구한다.

상세 분석

논문은 먼저 “그리드 색칠”이라는 개념을 형식화한다. G(n,m) = n×m 격자에 색집합 {1,…,c}를 매핑하는 함수를 c‑coloring이라 정의하고, 사각형을 이루는 네 꼭짓점이 모두 동일한 색을 가질 경우 이를 금지한다. 이 제약은 “직사각형 금지 규칙”이라고도 불리며, 기존의 라틴 사각형(Latin rectangle) 문제와는 달리 색의 중복을 허용하되 특정 패턴만을 배제한다는 점에서 독특하다.

핵심 질문은 “주어진 부분 색칠(P) 을 완전한 색칠(F) 로 연장할 수 있는가?”이다. 이를 결정 문제 EXTEND‑GRID‑COLORING이라고 명명하고, 입력은 (n,m,c,P)이며, 출력은 연장이 가능한 경우 ‘예’, 불가능한 경우 ‘아니오’이다. 논문은 이 문제를 NP에 속함을 보인다. 검증자는 연장된 전체 색칠을 제시받아, 각 사각형에 대해 네 꼭짓점이 동일 색인지 O(n²m²) 시간 내에 검증할 수 있다.

NP‑hardness 증명은 3‑SAT의 표준 감소를 활용한다. 변수와 절을 격자상의 특정 영역에 대응시키고, 각 영역에 부분 색칠을 부여해 논리적 제약을 강제한다. 변수 영역은 두 가지 가능한 색(예: 색 1과 색 2)만을 허용하도록 설계되어, 선택된 색이 변수의 진리값을 나타낸다. 절 영역은 세 리터럴 중 최소 하나가 참이어야 함을 보장하기 위해, 사각형 금지 규칙을 이용해 불가능한 색 조합을 차단한다. 구체적으로, 절에 해당하는 격자 블록은 각 리터럴에 대응하는 변수 영역과 교차하도록 배치되며, 부분 색칠은 “만약 변수 색이 X이면 절 블록의 특정 셀은 색 Y가 될 수 없다”는 형태의 제약을 만든다. 이렇게 구성된 격자는 원래 3‑SAT 인스턴스가 만족 가능한 경우에만 전체 색칠이 가능하도록 보장한다.

또한, 논문은 특수한 경우, 예를 들어 c=2(두 색) 혹은 격자 크기가 제한된 경우에 대한 복잡도도 논의한다. 2‑coloring은 사각형 금지 규칙이 사실상 무의미해져서 다항시간 알고리즘이 존재함을 보이며, 반면 c≥3에서는 NP‑complete가 유지된다. 특히 c=4인 경우는 2009년 17×17 격자 도전과 직접 연결되며, 실제로 부분 색칠을 제공받은 뒤 전체 색칠을 찾는 것이 실질적으로 어려운 이유를 이론적으로 설명한다.

마지막으로, 저자는 이 문제와 관련된 응용 분야—예를 들어 실험 설계, 오류 정정 코드, 그리고 컴퓨터 비전에서의 패턴 방지—를 제시하고, 향후 연구 방향으로 근사 알고리즘, 파라메트릭 제한(예: 고정된 행/열 수) 하에서의 FPT(Fixed‑Parameter Tractable) 결과 등을 제안한다. 전체적으로, 이 논문은 격자 색칠 문제를 복잡도 이론에 정밀히 연결시킴으로써, 직관적으로는 단순해 보이는 퍼즐이 실제로는 NP‑complete라는 강력한 결론을 제시한다.