대용량 그래프의 Δ‑1 색칠을 위한 2차 시간 알고리즘

논문은 먼저 그래프 색칠 문제의 배경을 소개한다. Brooks 정리는 Δ≥3인 연결 그래프에 대해 χ(G)≤max{Δ,ω}를 보이며, Borodin–Kostochka 추측은 Δ≥9일 때 χ(G)≤max{Δ‑1,ω}를 주장한다. 기존 연구들은 Δ가 매우 큰 경우에만 부분적인 결과를 얻었으며, Reed는 Δ≥10¹⁴에서 추측을 증명했다. 저자들은 이 한계를 크게 낮추어 Δ≥7.4·10⁹에서 동일한 결론을 얻는다. **구조적 분석 (Section 2)** - Lemma 2.1, 2.2는 최소 반례에서 Δ‑1 클리크들이 서로 겹치지 않으며, 외부 정점이 Δ‑1 클리크와 가질 수 있는 인접 수를 4 이하로 제한한다. - Lemma 2.3, 2.4는 Δ‑1 클리크와 Δ‑2 클리크가 겹치는 경우를 더 세밀히 배제한다(교차 정점 수 ≤Δ‑3). - Lemma 2.5는 Δ‑2 클리크에 대해 외부 정점이 가질 수 있는 인접 수를 5 이하로 제한하고, 고차 차수 정점의 개수를 제한한다. - Lemma 2.6은 “고밀도 부분그래프” H가 최대 Δ+ c (c≥6) 정점으로 이루어지고, 각 정점이 H 내에서 최소 4/5·Δ개의 이웃을 가질 경우 H는 완전 그래프이거나 하나의 정점이 추가된 클리크 형태임을 보인다. 이러한 결과를 종합하면, 전체 그래프는 서로 거의 겹치지 않는 Δ‑1, Δ‑2 클리크들의 집합 C와, 각 클리크에 거의 전부 연결된 “near‑clique” 정점들로 분할될 수 있다. Lemma 2.8, 2.9는 각 클리크 내부에서 외부 정점과의 인접 구조를 정량화하여, 이후 확률적 색칠 단계에서 사용할 “충돌 가능성”을 정확히 추정한다. **확률적 색칠 및 지역 보조정리 (Section 3)** 저자들은 먼저 각 정점에 Δ‑1개의 색 중 무작위로 하나를 할당한다. Azuma 불평등을 이용해, 어느 정점도 색이 부족해 색칠이 불가능해질 확률이 매우 낮음을 보인다. 이후 Lovász 지역 보조정리를 적용해, 색 충돌이 발생하는 작은 “지역”을 식별하고, 해당 지역만을 재색한다. 이 과정에서 충돌 확률이 충분히 작아지므로, 기대값 관점에서 전체 그래프가 (Δ‑1) 색으로 완성될 확률이 1에 수렴한다. **알고리즘 구현 (Section 4)** Moser–Tardos 알고리즘을 이용해 위의 확률적 과정과 지역 보조정리를 전산적으로 구현한다. 핵심 아이디어는 충돌이 발생한 정점 집합을 반복적으로 재색하면서, 각 재색 단계가 O(|E|) 시간, 전체 반복 횟수가 O(n) 이하임을 보이는 것이다. 따라서 전체 복잡도는 O(n²)이며, 이는 “quadratic‑time”이라는 명칭으로 논문에 명시된다. 구현상의 세부 사항으로는: 1. 그래프를 C₁,…,C_ℓ 로 분할하고, 각 파트에 대해 독립적으로 색을 할당한다. 2. 각 파트 내부에서 발생한 충돌을 Moser–Tardos 방식으로 해결한다. 3. 파트 간 경계에서 발생할 수 있는 색 충돌은 추가적인 “조정 단계”를 통해 해결한다. 이 과정은 메모리 사용량도 O(n²) 이하로 제한된다. **결과 및 의의** Theorem 1.4는 “Δ≥7.4·10⁹, ω<Δ이면 χ≤Δ‑1”을 보이며, Theorem 1.3은 이를 실제 O(n²) 시간 알고리즘으로 구현한다는 점에서 기존 Reed 결과(Δ≥10¹⁴)와 비교해 크게 개선된 것이다. 또한, 구조적 분석과 확률적 방법을 결합한 접근법은 다른 그래프 최적화 문제에도 적용 가능성을 시사한다. 논문 말미에서는 Δ의 상수를 더 낮추기 위한 향후 연구 방향과, 현재 증명에서 사용된 보수적 경계가 실제 실험에서는 훨씬 작은 Δ에서도 작동할 가능성을 논의한다.