최대 일곱 색상까지 비징 경계 초월

초록

본 논문은 최대 차수 Δ인 단순 그래프에서 Δ색으로 색칠 가능한 가장 큰 부분그래프의 크기에 대한 하한을 개선한다. 기존 비징 정리의 Δ/(Δ+1) 비율을 Δ=3‥7 구간에서 각각 26/31, 6/7 등보다 높은 비율로 끌어올리며, 특정 예외 그래프(K₅, K₇, B₃)를 제외한다. 또한 k‑엣지‑컬러링 가능한 최대 부분그래프 문제에 대해 k=3‥7에 대해 새로운 근사 알고리즘을 제시하고, 다중그래프에 대해서는 7/9 근사를 얻는다.

상세 분석

비징 정리는 모든 단순 그래프 G에 대해 최대 차수 Δ에 대해 Δ+1 색으로 완전 엣지 컬러링이 가능함을 보장한다. 그러나 실제로 Δ색만으로도 상당 부분의 엣지를 색칠할 수 있는 경우가 많으며, 이를 정량화하는 것이 “Maximum k‑Edge‑Colorable Subgraph” 문제의 핵심이다. 기존 연구에서는 Δ=3인 경우 Albertson‑Haas가 26/31 ·|E|, Rizzi가 6/7 ·|E|라는 하한을 제시했으며, 이는 B₃(한 변을 분할한 K₄)에서 정확히 달성된다. 그러나 Δ≥4에 대해서는 비징의 Δ/(Δ+1) 비율이 여전히 최선으로 알려져 있었다.

본 논문은 먼저 Δ∈{3,…,7}에 대해 비징 하한을 개선한다. 구체적으로 Δ=4,5,6,7에 대해 각각 13/15, 9/11, 19/22, 23/27, 22/25 라는 비율을 얻으며, 이는 Δ/(Δ+1)보다 현저히 높다. 여기서 Δ=3,4,6에 대해서는 각각 B₃, K₅, K₇와 동형인 그래프를 제외한다는 가정을 둔다. 이러한 가정은 해당 그래프들이 하한을 방해하는 구조적 특성을 가지고 있기 때문이다. 논문은 이들 예외 그래프를 정확히 식별하고, 나머지 경우에 대해 “가장 큰 Δ‑컬러 가능 부분그래프”를 찾는 새로운 구조적 분석을 전개한다. 핵심 아이디어는 (i) 최소 반대 색상 충돌을 일으키는 “불량” 엣지 집합을 정의하고, (ii) 이러한 집합을 단계적으로 제거하거나 재배치함으로써 전체 엣지 수의 일정 비율을 보존하는 것이다. 특히, Δ가 짝수일 때 발생하는 홀수 사이클 문제를 해결하기 위해 “교환 경로”(alternating paths)와 “교환 사이클”(alternating cycles)을 활용한 정교한 재컬러링 절차를 설계한다.

두 번째 파트에서는 위의 구조적 결과를 알고리즘적 프레임워크와 연결한다. 저자들은 “부분그래프 선택 + 재컬러링”이라는 두 단계 접근법을 일반화하여, 임의의 그래프 G와 목표 색 수 k에 대해 k‑컬러 가능한 부분그래프를 다항 시간 내에 근사적으로 찾는 알고리즘을 제시한다. 핵심은 (a) 그래프를 최대 매칭과 고정된 색상 집합으로 분해하고, (b) 앞서 증명된 하한 비율을 만족하도록 각 컴포넌트를 선택하는 것이다. 이 과정에서 “가중치 기반 선택”과 “충돌 최소화”를 위한 힐 클라이밍 기법을 도입해, 최악의 경우에도 제시된 비율 이상의 엣지를 보장한다. 특히, 단순 그래프에 대해 k=3,4,5,6,7일 때 각각 13/15, 9/11, 19/22, 23/27, 22/25 의 근사 비율을 달성한다. 다중그래프에 대해서는 k=3인 경우 7/9 근사를 얻으며, 이는 기존 결과보다 우수하다.

이러한 결과는 두 가지 중요한 의미를 가진다. 첫째, Δ가 작을 때 (특히 3‥7) 비징 경계가 실제로는 크게 완화될 수 있음을 보이며, 그래프 이론에서 “색상 여유”에 대한 새로운 통찰을 제공한다. 둘째, 제시된 일반 프레임워크는 k값에 관계없이 적용 가능하므로, 향후 더 큰 k나 특수 그래프 클래스(예: 플랜러, 트리)에도 확장될 잠재력이 있다.