오바 추측의 증명

초록

이 논문은 그래프 $G$가 정점 수 $|V(G)|\le 2\chi(G)+1$을 만족할 때, 리스트 색채수 $\chi_\ell(G)$가 일반 색채수 $\chi(G)$와 동일함을 증명한다. 즉, 오바가 제시한 “작은 그래프는 리스트 색칠이 가능하다”는 추측을 완전히 해결한다.

상세 분석

오바 추측은 2002년 제시된 리스트 색채 이론의 핵심 미해결 문제 중 하나로, 정점 수가 색수의 두 배보다 하나 더 작을 때 리스트 색채수와 색수가 일치한다는 주장이다. 기존에는 $|V(G)|\le 2\chi(G)$인 경우에만 $\chi_\ell(G)=\chi(G)$임이 알려졌으며, $2\chi(G)+1$까지 확장하려는 시도가 여러 차례 있었지만 완전한 증명은 부족했다. 본 논문은 이 격차를 메우기 위해 두 가지 주요 전략을 결합한다. 첫째, 최소 반대 예시(minimal counterexample)를 가정하고 그 구조적 특성을 정밀히 분석한다. 최소 반대 예시 $G$는 $\chi_\ell(G)=\chi(G)+1$이면서 모든 진부분 그래프는 리스트 색칠이 가능하다는 성질을 가진다. 이를 통해 $G$는 완전 이분 그래프 형태가 아니라, 색집합을 적절히 나누어도 색상 충돌이 발생하는 ‘임계 구조’를 가진다. 둘째, ‘리스트 할당 함수(list assignment)’를 정규화하는 새로운 정리인 “리스트 정규화 보조정리”를 도입한다. 이 보조정리는 임의의 리스트 할당을 특정한 표준 형태로 변환하면서 색채 가능성을 보존한다는 점에서 기존의 리스트 교환 기법(Lovász Local Lemma 등)보다 강력하다. 정규화 과정을 거치면, 각 색집합에 속하는 정점들의 리스트가 동일한 크기와 구성을 갖게 되며, 이때 색상 매칭을 그래프 이론의 매칭 이론(특히 Hall’s 정리)과 결합해 색칠 가능성을 증명한다. 핵심은 $|V(G)|\le 2\chi(G)+1$이라는 제한이 매칭 조건을 만족하도록 충분히 강력한 제약을 제공한다는 점이다. 구체적으로, 색집합 $C$를 $k=\chi(G)$라 두면, 정점 집합을 $C$의 $k$개 색으로 나누는 파티션을 구성하고, 각 파티션 내에서 리스트가 충분히 겹치도록 보장한다. 이때 Hall’s 조건을 만족하면 전체 그래프에 대한 완전 매칭이 존재하고, 이는 리스트 색칠이 가능함을 의미한다. 논문은 또한 특수 경우인 완전 그래프 $K_{2k+1}$와 그 보조 구조를 상세히 검토해, 위의 일반 증명이 모든 경우에 적용됨을 확인한다. 마지막으로, 증명 과정에서 사용된 보조정리와 매칭 기법을 일반화하면, $|V(G)|\le 2\chi(G)+t$ 형태의 더 넓은 클래스에 대해서도 리스트 색채수와 색수의 차이를 $t$ 이하로 제한하는 확장 가능성을 시사한다.