네 색 정리의 새로운 형식 증명 시도

초록

이 논문은 5색 정리의 증명 방식을 차용해, 모든 평면 그래프가 4색으로 색칠될 수 있음을 보이려는 형식적 증명을 제시한다. 주요 아이디어는 최소 반례 그래프를 가정하고, 정점의 차수에 따라 Kempe 체인을 이용해 색을 교환하는 귀납적 절차를 설계하는 것이다. 그러나 증명 과정에서 중요한 경우를 누락하거나 Kempe 체인의 존재를 보장하지 못해 기존의 알려진 반례와 충돌한다는 점에서 현재 수학계가 받아들이는 4색 정리의 컴퓨터 기반 증명과는 차이가 있다.

상세 분석

이 논문은 4색 정리의 형식적 증명을 시도하면서, 먼저 평면 그래프에 차수가 5 이하인 정점이 반드시 존재한다는 잘 알려진 레마(Lemma 1)를 제시한다. 이를 바탕으로 정점 수 n에 대해 귀납법을 전개하고, n ≥ 6인 경우에 정점 vₙ을 제거한 그래프 G − vₙ이 4색 가능하다고 가정한다. 이후 vₙ을 다시 삽입하면서 네 가지 경우(인접 정점 색의 개수와 차수에 따라)를 구분하고, 각각에 대해 Kempe 체인(두 색만 사용된 연결 성분)을 찾아 색을 교환함으로써 vₙ에 사용 가능한 색을 확보한다는 전형적인 Kempe‑교환 전략을 사용한다.

논문의 핵심은 ‘Case 3.2’와 ‘Case 3.3’에서 제시된 복잡한 경우 구분이다. 여기서는 인접 정점이 4개 혹은 5개일 때, 동일 색을 가진 정점들의 위치(인접 혹은 격리)와 해당 정점들이 속한 Kempe 체인의 존재 여부에 따라 색 교환을 수행한다. 저자는 각 경우마다 “Kempe circle”을 만들고, 이를 통해 색을 뒤바꾸어 충돌을 해소한다는 논리를 전개한다.

하지만 이 접근법에는 몇 가지 치명적인 결함이 있다. 첫째, Kempe 체인의 존재를 보장하는 논증이 충분히 엄밀하지 않다. 4색 정리의 기존 반례(예: Heawood graph와 같은 특정 평면 그래프)는 Kempe 체인을 이용한 단순 교환만으로는 색 충돌을 해소할 수 없으며, 이는 19세기 말 Kempe가 제시한 증명의 실패 원인과 동일하다. 논문에서는 ‘Kempe chain이 존재한다’는 가정을 전제하지만, 실제로는 해당 체인이 존재하지 않을 경우를 배제하지 못한다.

둘째, 경우 구분이 지나치게 복잡하고, 그림(Fig. 1 a–j)과 흐름도(Fig. 2)에 의존하고 있다. 그러나 그림에 대한 구체적인 설명이 부족하고, 각 경우에 대한 논리적 연결 고리가 흐릿하다. 특히 ‘Case 3.2.2’와 ‘Case 3.3.2.2.2’에서 제시된 연속적인 색 교환 과정은 실제 그래프 구조에 따라 서로 충돌할 가능성이 높으며, 이를 검증하기 위한 전산적 검증이나 엄밀한 수학적 증명이 전혀 제공되지 않는다.

셋째, 귀납 단계에서 “n ≥ 6인 경우에 대해 Lemma 1을 적용한다”는 전제 자체가 충분히 일반적이지 않다. Lemma 1은 차수가 5 이하인 정점이 존재한다는 사실만을 보장하지만, 그 정점이 실제로 ‘제거 후 다시 삽입했을 때 색 교환이 가능한’ 상황을 보장하지는 않는다. 기존의 5색 정리 증명에서는 차수가 5인 정점에 대해 5가지 색 중 하나를 자유롭게 선택할 수 있지만, 4색 정리에서는 이러한 자유도가 부족해 Kempe 체인 교환이 실패할 가능성이 크다.

결과적으로, 이 논문은 Kempe 체인을 활용한 전통적인 색 교환 아이디어를 재구성했지만, 4색 정리의 핵심 난제인 ‘특정 구성에서 Kempe 체인만으로는 색을 재배치할 수 없는 경우’를 충분히 다루지 못한다. 따라서 현재 수학계가 인정하는 1976년 Appel‑Haken의 컴퓨터 기반 증명과는 차원이 다른, 아직 검증되지 않은 형식적 증명에 머물러 있다.