3차 이하 차수 그래프의 선형 색칠

초록

본 논문은 최대 차수가 3인 연결 그래프와 각 정점에 크기 4인 리스트가 주어졌을 때, 리스트에 포함된 색으로 선형 색칠을 할 수 있음을 보인다. 단, 5-사이클 C₅와 완전 이분 그래프 K₍₃,₃₎만 예외이며, 차수가 2인 정점의 두 이웃은 서로 다른 색을 갖는다. 이 결과는 Esperet·Montassier·Raspaud의 추측을 해결하고, 선형 시간 알고리즘을 제시한다.

상세 분석

선형 색칠(linear coloring)은 정점의 적절 색칠이면서 두 색 클래스가 유도하는 부분 그래프가 서로 교차하지 않는 경로들의 합집합이 되도록 하는 색칠이다. 기존 연구에서는 일반 그래프에 대해 색 수와 리스트 크기의 상한을 탐구했으며, 특히 차수가 3 이하인 그래프에 대해 4색 리스트가 충분하다는 추측이 제기되었다. 이 논문은 그 추측을 완전히 입증한다.

핵심 아이디어는 최소 반례(minimal counterexample) 기법이다. 가정에 반하는 최소 그래프 G를 택하고, G가 2-연결이 아니면 구성 요소별로 색칠을 결합할 수 있음을 보인다. 따라서 G는 2-연결이며, 차수가 2인 정점이 존재하면 그 이웃은 서로 다른 색을 가져야 한다는 추가 조건을 활용한다.

다음으로는 귀환 가능한 구조(reducible configurations)를 정의한다. 예를 들어, 차수가 1인 정점, 차수가 2이면서 두 이웃이 서로 연결되지 않은 정점, 그리고 특정 형태의 3-정점 구조 등을 제거한다. 각 구조에 대해 리스트 색칠을 유지하면서 그래프를 축소하고, 축소된 그래프에 대한 색칠이 존재하면 원래 그래프에도 확장할 수 있음을 증명한다.

귀환 가능한 구조를 모두 배제한 뒤, 남은 그래프는 충분히 밀집된 형태가 된다. 여기서는 전통적인 방전(discharge) 방법을 적용한다. 각 정점에 초기 전하를 deg(v)−2 로 할당하고, 특정 패턴(예: 3-정점이 인접한 2-정점) 사이에 전하를 재분배한다. 방전 규칙을 설계함으로써 전체 전하의 합이 음수가 될 수 없음을 보이고, 이는 최소 반례가 존재할 수 없음을 의미한다.

이와 같은 논증은 구성적이며, 실제 색칠 과정을 단계별로 제시한다. 리스트 크기가 4이므로 각 정점에 가능한 색은 최대 네 가지이며, 방전 단계에서 얻은 구조적 제약을 이용해 선택의 경우의 수를 제한한다. 최종적으로는 재귀적 색칠 확장 알고리즘을 도출한다.

알고리즘 구현 측면에서는 그래프를 인접 리스트로 저장하고, 귀환 가능한 구조를 탐지하는 과정을 O(n) 시간에 수행한다. 방전 단계는 정점의 차수에만 의존하므로 역시 선형 시간에 끝난다. 따라서 전체 색칠 알고리즘은 입력 크기 n에 대해 O(n) 시간 복잡도를 가진다.

결과적으로, 최대 차수가 3인 모든 연결 그래프에 대해 리스트 크기 4이면 선형 색칠이 가능함을 보였으며, C₅와 K₍₃,₃₎만이 예외임을 정확히 규명하였다. 이는 Esperet·Montassier·Raspaud가 제시한 conjecture의 완전한 증명이며, 리스트 색칠 이론과 경로 분해 연구에 새로운 전환점을 제공한다.