비반복 색칠과 엔트로피 압축

본 논문은 비반복 색칠(non‑repetitive colouring)이라는 고전적인 그래프 색칠 문제에 최신 확률적 기법인 엔트로피 압축(Entropy Compression)을 적용하여 세 가지 주요 정리를 제시한다. 첫 번째 정리(Theorem 1)는 최대 차수가 Δ인 모든 단순 그래프 G에 대해 비반복 리스트 선택 가능성 상수 c를 1로 최적화한다는 내용이다. 기존 연구에서는 π₍ch₎(G) ≤ c·Δ² 형태의 상수가 c≈12 정도였으며, 이는 Lovász 지역 한계(Lovász Local Lemma)를 이용한 증명에 기반했다. 저자들은 Moser‑Tardos의 랜덤 재시도 알고리즘을 그래프 전반에 적용하고, 경로에 대한 비반복 색칠 서브루틴을 일반화함으로써 리스트 크기 ℓ = (1+o(1))·Δ²이면 기대적으로 알고리즘이 성공한다는 것을 보였다. 구체적으로, 색을 무작위로 할당하고, 새로 색을 넣은 정점이 포함된 경로에서 ‘반복’(앞 절반과 뒤 절반이 같은 색 시퀀스) 현상이 발견되면 그 경로의 뒤쪽 절반을 모두 초기화한다. 이 과정을 기록(record) 구조에 저장하고, 기록 길이가 ℓ·Δ²를 초과하면 압축 가능성에 모순이 생겨 알고리즘이 무한히 진행될 수 없음을 엔트로피 관점에서 증명한다. 결과적으로, 리스트 크기 Δ²(1+o(1))이면 비반복 리스트 색칠이 보장된다. 두 번째 정리(Theorem 2)는 그래프의 서브디비전(subdivision)에 대한 비반복 리스트 선택 가능성을 다룬다. 기존에는 모든 그래프가 O(log n) 혹은 O(n) 수준의 분할 정점으로 3‑또는 4‑색 비반복 색칠이 가능하다는 결과가 있었지만, 이 논문은 각 간선 e = vw에 대해 최소 ⌈10⁵·log(Δ(v)+1)⌉+⌈10⁵·log(Δ(w)+1)⌉+2개의 분할 정점을 삽입하면 5‑리스트‑선택이 가능함을 보인다. 증명은 앞서 제시한 엔트로피 압축 알고리즘을 서브디비전 그래프에 적용하면서, 충분히 많은 분할 정점이 존재하면 경로 길이가 충분히 길어져 반복 패턴이 발생할 확률이 지수적으로 감소한다는 사실을 이용한다. 따라서 리스트 크기 5와 로그 수준의 분할 정점 수만으로도 비반복 색칠이 보장된다. 이 결과는 리스트 선택 가능성(choosability)까지 확장한 최초의 서브디비전 결과이며, 기존의 색상 수를 3이나 4로 제한하던 연구와 달리 색상 수를 약간 늘리면서도 리스트 선택 가능성을 확보한다는 점에서 의미가 크다. 세 번째 정리(Theorem 3)는 경로폭(pathwidth) θ가 제한된 그래프에 대한 비반복 색칠 상한을 제공한다. 경로폭은 그래프를 경로 형태의 트리 분해(path decomposition)로 표현할 때 각 bag의 최대 크기와 관련 있다. 저자들은 경로폭이 θ인 그래프를 연속적인 bag들의 시퀀스로 나누고, 각 bag에 대해 앞서의 엔트로피 압축 알고리즘을 적용한다. bag 사이의 색 충돌을 방지하기 위해 추가적인 색을 할당하고, 전체적으로는 2θ²+6θ+1개의 색으로 비반복 색칠이 가능함을 증명한다. 이 상한은 기존에 알려진 O(θ³) 혹은 4θ 수준의 상한보다 현저히 개선된 것이며, 특히 θ가 작을 때 실용적인 색 수를 제공한다. 논문 전반에 걸쳐 제시된 알고리즘은 명시적인 구현이 가능하며, 무작위 선택과 재시도 과정을 기록에 저장함으로써 실행 시간의 기대값이 다항식임을 보인다. 또한, 엔트로피 압축 기법을 이용한 분석은 기존 Lovász 지역 한계 기반 증명보다 직관적이며, 비반복 색칠 문제에 대한 새로운 접근법을 제시한다. 마지막으로, 저자들은 비반복 색칠이 그래프 이론, 알고리즘 설계, 그리고 패턴 회피 문제와 깊은 연관이 있음을 강조한다. 특히, 비반복 색칠이 별도의 제약(예: 2‑색 P₄ 금지)과 결합될 때 그래프 구조에 대한 강력한 정보를 제공한다는 점을 부각한다. 논문의 결과는 향후 비반복 색칠의 상수 최적화, 더 일반적인 그래프 클래스(예: 트리폭, 클러스터드 그래프) 등에 대한 연구에 중요한 토대를 제공한다.