강인하고 견고한 임계 그래프의 새로운 구축법

초록

본 논문은 DP‑색칠 이론에서 강인(k‑critical) 그래프가 충분히 큰 완전 그래프와 합쳐질 때 ‘견고하게 k‑임계(robustly k‑critical)’가 됨을 증명한다. 기존의 강하게 임계(strongly critical) 개념을 일반화하고, 임계 그래프와 큰 클리크의 조인으로 강도·견고성을 동시에 확보하는 일반적인 구성법을 제시한다.

상세 분석

논문은 먼저 전통적인 임계 그래프(k‑critical)와 리스트‑임계(L‑critical) 개념을 복습하고, Stiebitz‑Tuza‑Voigt가 제시한 ‘강하게 k‑임계(strongly k‑critical)’ 정의를 소개한다. 강하게 임계 그래프는 k‑임계이면서 k‑1 크기의 리스트 할당이 비정상적(비상수)일 경우에도 항상 색칠이 가능한 특성을 가진다. 저자들은 이 개념을 DP‑색칠(correspondence coloring)으로 확장하여 ‘견고하게 k‑임계(robustly k‑critical)’를 정의한다. 여기서 ‘견고함’은 k‑1‑fold 커버가 ‘정준(canonical)’인 경우에만 색칠이 불가능함을 의미한다. 즉, 색칠 불가능성의 유일한 원인이 그래프의 크로마티컬 수 χ(G)=k라는 점이다.

주요 정리는 두 단계로 전개된다. 첫 번째는 기존 결과인 ‘강하게 임계 그래프와 클리크의 조인은 다시 강하게 임계가 된다’를 재확인하고, 이를 일반적인 임계 그래프에 확대한다. 정리 1.4에서는 임계 그래프 G에 대해 |E(G)|=m이라면 t ≥ 3m이면 G ∪ K_t가 강하게 임계가 됨을 보인다. 이는 Ohba의 정리(큰 클리크와 합친 그래프는 리스트‑색칠 가능)와 직접 연결된다.

두 번째이자 핵심인 정리 1.10은 DP‑색칠 관점에서 동일한 현상을 증명한다. 여기서는 t ≥ 100 m³이라는 보다 큰 하한을 요구하지만, 결과는 ‘G와 충분히 큰 K_t의 조인이 견고하게 k‑임계가 된다’는 것이다. 증명은 DP‑커버의 구조를 정밀히 분석하고, 비정준 커버가 존재하려면 특정 매칭이 깨져야 함을 보이며, 충분히 많은 새로운 정점이 추가되면 이런 매칭을 강제로 정준 형태로 만들 수 있음을 이용한다.

또한 논문은 기존 예시(E_{k,a,b} 그래프, 완전 그래프, 홀 사이클)와 새로운 구성법을 비교하고, 강하게 임계와 견고하게 임계 사이의 관계가 아직 완전히 밝혀지지 않았음을 강조한다. 열린 문제로는 (1) 강하게 임계이지만 견고하게 임계가 아닌 그래프의 존재 여부, (2) t의 하한을 더 낮출 수 있는지, (3) 견고하게 임계 그래프에 대해 DP‑색칠 수의 하한을 추정하는 문제 등을 제시한다.

이러한 결과는 임계 그래프 구조에 대한 이해를 심화시키고, DP‑색칠 이론에서 최소 반례를 구성하는 새로운 도구를 제공한다. 특히 ‘임계 + 큰 클리크’라는 간단하면서도 강력한 연산이 다양한 색칠 강도 개념을 동시에 만족시키는 방법임을 보여준다.