브룩스 정리와 비퇴화 색칠

초록

본 논문은 그래프 $G$의 최대 차수가 $D$이고 $(D+1)$-클리크를 포함하지 않을 때, 임의의 정수 $c\ge 2$에 대해 $p=(c^{3}+8c^{2}+19c+6)(c+1)$을 정의하고, $G$가 $D$가지 색으로 적절히 색칠될 뿐 아니라 차수가 $p$ 이상인 모든 정점이 인접 정점들로부터 최소 $c$개의 서로 다른 색을 받는 $(c,p)$‑비퇴화 색칠이 가능함을 증명한다. 이는 기존의 브룩스 정리를 $c=1$인 경우로 확장한 결과이며, 증명 과정에서 여러 구조적 보조정리와 새로운 색칠 기법이 도출된다.

상세 분석

논문은 먼저 $(c,p)$‑비퇴화 색칠이라는 새로운 개념을 정의한다. 기존의 적절 색칠은 인접 정점이 같은 색을 공유하지 않도록 하는 최소 조건만을 요구하지만, 여기서는 차수가 $p$ 이상인 정점이 주변에서 충분히 다양한 색을 마주하도록 강제한다. 이는 고차원 정점이 “퇴화”되지 않게 하여 색상의 분포를 균등하게 만들려는 의도와 맞물린다.

주요 정리는 다음과 같다. $D\ge 3$이고 $G$가 $(D+1)$‑클리크를 포함하지 않으며 $\Delta(G)\le D$일 때, 임의의 $c\ge 2$에 대해 $p=(c^{3}+8c^{2}+19c+6)(c+1)$을 선택하면 $G$는 $D$색으로 적절히 색칠될 뿐 아니라 모든 $\deg(v)\ge p$인 정점 $v$가 인접 정점들로부터 최소 $c$개의 서로 다른 색을 갖는다.

증명은 최소 반증 그래프를 가정하고, 그 그래프가 반드시 몇 가지 구조적 성질을 만족함을 보인다. 첫째, 최소 반증 그래프는 $D$‑정칙이 아니면 안 된다; 즉 차수가 $D$인 정점이 존재한다. 둘째, $p$보다 큰 차수를 가진 정점들의 집합은 독립집합이 될 수 없으며, 이들을 중심으로 한 “색상 충돌”을 방지하기 위해 색상 재배치를 수행한다.

핵심 기술은 두 단계로 나뉜다. (1) 색상 축소 단계에서는 기존의 브룩스 정리 증명에서 사용되는 “가장 긴 경로” 혹은 “사이클” 구조를 활용해, 차수가 $D$인 정점들을 중심으로 색을 재배치한다. 여기서는 $c$개의 색을 확보하기 위해 경로의 양 끝에 색을 고정하고, 중간 정점들을 교환함으로써 인접 정점들의 색 다양성을 확보한다. (2) 비퇴화 보강 단계에서는 차수가 $p$ 이상인 정점 $v$를 대상으로, $v$의 이웃 집합 $N(v)$가 이미 $c$가지 이상의 색을 포함하도록 보장한다. 이를 위해 $p$의 정의가 핵심 역할을 한다. $p$는 $c$에 대한 다항식 형태로, $c$가 커질수록 $p$가 급격히 증가해 $v$의 이웃 수가 충분히 많아지므로, 색상 재배치가 가능한 경우의 수가 보장된다.

또한, 저자는 라벨링 기법과 라플라시안 행렬을 이용한 구조적 불변량을 도입해, 색상 재배치가 불가능한 경우에 발생하는 모순을 정량적으로 증명한다. 특히, $G$가 $D$‑정칙이면서 $(D+1)$‑클리크를 포함하지 않을 때, 최소 반증 그래프는 반드시 $c$개의 색을 포함하는 $K_{c+1}$‑서브그래프를 내포하게 되며, 이는 $p$의 정의와 충돌한다는 모순을 만든다.

결과적으로, 논문은 기존 브룩스 정리의 “색상 수 $D$”와 “클리크 금지” 조건에 추가로 “고차 정점의 색 다양성”이라는 새로운 제약을 도입하면서도, 동일한 색상 수 $D$만으로 색칠이 가능함을 보인다. 이는 색채 이론, 리스트 색칠, 그리고 그래프의 구조적 복원력 연구에 새로운 관점을 제공한다.