삼각형이 없는 1 플래너 그래프의 가장자리 색칠

초록

본 논문은 최대 차수가 7 이상인 삼각형이 없는 1-플래너 그래프에 대해, 변 색칠에 필요한 최소 색 수가 그래프의 최대 차수 Δ와 동일함을 전위법(Discharging Method)을 이용해 증명한다.

상세 분석

본 연구는 그래프 이론에서 중요한 두 개념인 1-플래너성 및 삼각형 금지 조건을 동시에 만족하는 그래프들의 가장자리 색칠 문제를 다룬다. 1-플래너 그래프는 각 변이 최대 한 번씩 교차할 수 있는 평면 그래프이며, 삼각형이 없다는 가정은 그래프의 국소 구조를 크게 제한한다. 이러한 제한은 기존의 Vizing 정리와 Class Ⅰ/Ⅱ 구분에 새로운 통찰을 제공한다. 논문은 먼저 Δ≥7인 경우에 대해 Δ‑색칠이 가능함을 보이기 위해, 최소 반증 그래프(minimal counterexample)를 가정한다. 최소 반증 그래프는 Δ‑정규이면서, 모든 부분 그래프는 Δ‑색칠이 가능하지만 전체 그래프는 그렇지 않다는 특성을 가진다. 저자는 이러한 최소 반증 그래프가 반드시 특정한 구조적 성질을 가져야 함을 보인다. 구체적으로, 각 정점의 차수는 Δ 혹은 Δ−1이며, Δ−1 차수 정점은 인접한 Δ 차수 정점과 특정한 패턴으로 연결된다. 이를 바탕으로 전위법을 적용한다. 전위 단계에서는 각 정점에 초기 전하를 부여하고, 인접 정점 간 전하 이동 규칙을 설계한다. 전하 이동 규칙은 (i) Δ 차수 정점은 전하를 잃지 않으며, (ii) Δ−1 차수 정점은 주변 Δ 차수 정점으로부터 일정량의 전하를 받아 최종 전하가 비음수가 되도록 한다. 전위 과정에서 삼각형이 없다는 조건은 전하가 과도하게 집중되는 상황을 방지하고, 1-플래너성은 전하 이동이 가능한 인접 관계를 제한한다. 최종적으로 모든 정점의 전하가 비음수임을 보이면, 최소 반증 그래프가 존재할 수 없다는 모순이 도출된다. 따라서 Δ≥7인 삼각형이 없는 1-플래너 그래프는 Δ‑색칠이 가능함이 증명된다. 이 증명은 기존의 평면 그래프에 대한 색칠 결과를 1-플래너 그래프까지 일반화한 것으로, 특히 삼각형이 없는 경우에 한해 Δ와 동일한 색 수만으로 충분함을 보여준다. 또한 전위법을 이용한 증명 기법은 향후 더 일반적인 1-플래너 그래프 혹은 다른 제한 조건을 가진 그래프들의 색칠 문제에도 적용 가능성을 시사한다.