바넷 그래프의 거리‑2 색칠: 복잡도와 완전한 분류

초록

본 논문은 바넷이 제시한 두 종류의 정점 3‑정규 평면 그래프(바넷 그래프)에 대해 거리‑2 4‑색칠 문제를 조사한다. 첫 번째 종류(삼각 연결 이분 그래프)에서는 문제의 NP‑완전성을 보이고, 두 번째 종류(모든 면의 크기가 3, 4, 5, 6인 그래프)에서는 다항시간 알고리즘을 제시하며, 특히 면이 4와 6만으로 이루어진 Goodey 그래프와 면 크기별 조건에 따라 색칠 가능성을 완전히 기술한다. 또한 차수 4인 평면 그래프(면 크기 3·4)에서는 색칠 가능한 경우가 정확히 두 개임을 증명한다.

상세 분석

논문은 먼저 거리‑2 r‑색칠을 정의하고, 차수가 d인 그래프는 최소 d + 1색이 필요함을 상기한다. 특히 3‑정규(큐빅) 평면 그래프는 최소 4색이 필요하고, 이 문제는 이미 NP‑complete임이 알려져 있다. 저자들은 이를 바넷이 제시한 두 클래스에 적용한다. 첫 번째 클래스는 삼각 연결(biconnected) 이분 큐빅 평면 그래프이며, 이를 “type‑one Barnette 그래프”라 명명한다. 여기서는 H‑색칠 문제(특정 4‑정점 그래프 H에 대한 색칠)로부터 거리‑2 4‑색칠 문제로의 다항 시간 변환을 구성한다. 핵심은 각 원래 정점에 “링 가젯”을 삽입하고, 각 가젯의 링크를 통해 인접 정점과 연결함으로써 색상 쌍을 전달하도록 설계한 것이다. 이 구조는 가젯 내부에서 반드시 네 가지 색이 서로 다르게 배치되어야 함을 강제하고, 가젯마다 선택되는 색 쌍이 원래 그래프의 H‑색칠과 일대일 대응한다. 따라서 원 그래프가 3‑색칠 가능하면 변환된 그래프는 거리‑2 4‑색칠이 가능하고, 그 반대도 성립한다. 이로써 type‑one Barnette 그래프에서 문제는 NP‑complete임을 증명한다.

두 번째 클래스인 “type‑two Barnette 그래프”(모든 면의 크기가 3, 4, 5, 6인 큐빅 평면 그래프)에서는 전혀 다른 접근을 취한다. 먼저 면 크기가 4의 배수이면 특수 3‑엣지 색칠(면‑색칠에서 유도된 엣지 색칠)이 거리‑2 4‑색칠을 유도한다는 정리(2.3)를 증명한다. 이는 각 면을 따라 색이 교대로 배치될 수 있음을 보이며, 면 크기가 4의 배수가 아니면 색상 충돌이 발생한다는 ‘only‑if’ 부분을 포함한다. 이 정리로부터 모든 면이 4의 배수인 그래프는 언제나 거리‑2 4‑색칠이 가능함을 얻는다(정리 2.4).

다음으로 면 크기가 3의 배수인 경우를 다룬다. 여기서는 “Goodey 그래프”(모든 면이 4 또는 6인 그래프)를 중심으로, 면이 6인 경우에도 4‑색칠이 가능함을 보인다. 저자들은 Goodey 그래프의 구조를 분석하여, 면이 6인 경우는 4‑색칠이 불가능한 특정 패턴(예: 특정 6‑면이 인접한 4‑면)만을 제외하고는 모두 색칠 가능함을 보인다. 결과적으로, type‑two Barnette 그래프 중에서 색칠이 가능한 경우는 (1) 모든 면이 3 또는 6인 경우, (2) Goodey 그래프 중에서 위의 제한을 만족하는 경우, (3) 면이 4와 6만으로 이루어진 무한 패밀리이다.

마지막으로 차수 4인 평면 그래프(면 크기 3·4)로 확장한다. 여기서는 거리‑2 5‑색칠 문제를 고려하고, 면이 3·4만으로 이루어진 경우 색칠 가능 그래프가 정확히 두 개(특정 두 개의 작은 그래프)임을 증명한다. 이는 차수 4 그래프에 대한 색칠 문제도 구조적 제한에 의해 강하게 제약됨을 보여준다.

전체적으로 논문은 바넷 그래프의 두 클래스를 색칠 가능성 측면에서 명확히 구분하고, 복잡도 경계(NP‑complete vs. polynomial)와 구체적인 구조적 특성을 동시에 제시한다. 특히 거리‑2 색칠과 엣지‑색칠, 면‑색칠 사이의 깊은 연관성을 활용하여 복잡도 증명과 다항 시간 알고리즘을 모두 제공한 점이 큰 학술적 기여이다.