플래너 그래프와 K5 마이너 자유 그래프의 5 선택 가능성 재검토

초록

이 논문은 기존에 와그너의 구조정리를 이용해 증명된 “모든 K₅ 마이너 자유 그래프는 5‑선택 가능하다”는 정리를, 외부면 개념을 일반화한 M‑boundary 개념을 도입해 구조적 의존성을 없애고 순수하게 최소 차단 집합과 리스트 색칠법만으로 증명한다. 또한 이 접근법이 t≥6인 경우의 Hadwiger 추측에 대한 새로운 전략을 제시한다는 점에서 의미가 크다.

상세 분석

논문은 먼저 리스트 색칠 이론의 기본 개념을 정리하고, 기존 증명에서 핵심이 되는 “외부면에 두 정점을 고정하고 나머지는 3‑색 리스트, 내부는 5‑색 리스트”라는 아이디어를 추상화한다. 이를 위해 M‑boundary 라는 새로운 정의를 도입한다. M은 마이너 폐쇄(minor‑closed) 클래스이며, B⊆V(G)가 M‑boundary이면 새로운 정점 α를 B의 모든 정점에 연결했을 때도 여전히 M에 속한다. 이 정의는 평면 그래프에서 외부면에 있는 정점들의 집합을 일반화한 것으로, 그래프가 K₅ 마이너 자유라는 조건만으로도 동일한 성질을 유지한다는 점이 핵심이다.

Lemma 3은 M‑boundary가 정점 제거 후에도 적절히 변환될 수 있음을 보이며, 이는 귀류법을 이용한 최소 반례 가정에서 귀결을 도출하는 데 사용된다. Lemma 4와 Lemma 5, 6은 2‑연결성, K₃‑마이너의 존재와 “좋은(good)·나쁜(bad) 정점” 개념을 통해 그래프가 충분히 연결돼 있으면 언제든지 K₃‑마이너를 찾을 수 있음을 증명한다. 특히 Lemma 5는 모든 정점이 “좋다”면 K₃‑마이너가 존재한다는 등가성을 보여, 이후 증명에서 차단 집합을 찾는 과정에 활용된다.

주요 정리인 Theorem 1(=Lemma 7)은 리스트 할당 L에 대해 다음과 같은 조건을 만족하면 그래프 G가 L‑색칠 가능함을 보인다: (i) A는 클리크이며 각 정점은 리스트 크기 1, (ii) B는 M‑boundary이며 B\A의 정점은 리스트 크기 ≥3, (iii) 나머지 정점은 리스트 크기 ≥5. 증명은 최소 반례를 가정하고, 경우를 1~9로 세분화한다. 각 경우는 (a) B가 비어 있거나 A가 비어 있는 경우, (b) 그래프가 연결되지 않음, (c) 절단점 존재, (d) 절단 집합 {v,w} 존재, (e) B 내부 정점의 차수가 2 이하인 경우 등으로 나뉜다. 각 경우마다 M‑boundary 성질과 리스트 크기 조건을 이용해 반례가 될 수 없음을 보이며, 결국 전체 그래프가 L‑색칠 가능함을 귀결한다.

이러한 증명 구조는 와그너의 평면 임베딩이나 K₅ 마이너 자유 그래프의 전통적인 구조정리를 전혀 사용하지 않는다. 대신 마이너 폐쇄성, 2‑연결성, 그리고 리스트 크기 제한이라는 순수한 그래프 이론적 성질만으로 결과를 얻는다. 이는 t≥6인 경우에도 비슷한 방식으로 마이너‑폐쇄 클래스를 정의하고, 적절한 “경계 집합”을 찾아 나가면 Hadwiger 추측의 약형(Weak List Hadwiger Conjecture)을 접근할 수 있다는 가능성을 제시한다.