경로폭이 제한된 트리의 비반복 리스트 색채화

초록

본 논문은 트리의 경로폭이 k일 때, 리스트 색칠에 대해 비반복성을 보장하는 색의 개수가 k에만 의존하는 함수 f(k) 이하임을 증명한다. 반면 경로폭 2인 일반 그래프에서는 어떤 고정된 리스트 크기 ℓ이라도 비반복 리스트 색칠이 불가능한 사례를 구성한다.

상세 분석

비반복 색채화는 그래프 이론에서 오래된 Thue 문제의 확장으로, 경로상의 색 배열이 앞뒤로 동일한 구간을 포함하지 않도록 하는 색칠을 의미한다. 기존 연구에서는 모든 트리가 4색으로 비반복 색칠될 수 있음이 알려졌지만, 리스트 버전에서는 리스트 크기 ℓ가 고정돼도 트리 전체에 대해 비반복 색칠을 보장할 수 없다는 부정적 결과가 있었다. 이 논문은 두 가지 중요한 방향에서 그 격차를 좁힌다. 첫째, 경로폭이라는 구조적 제한을 도입한다. 경로폭 k인 트리는 트리 분해가 일직선 형태의 “경로‑분할”로 표현될 수 있으며, 저자들은 이를 이용해 트리를 높이 ≤2k인 경로‑분할 구조로 재구성한다. 이 구조는 각 레벨에 존재하는 정점 집합이 서로 거의 독립적이면서도, 인접 레벨 간에는 제한된 교차만을 허용한다는 특성을 가진다. 이러한 특성을 바탕으로, 리스트 색을 선택할 때 Moser‑Tardos 방식의 로컬 레마를 적용한 확률적 알고리즘을 설계한다. 알고리즘은 각 레벨을 순차적으로 색칠하면서, 현재까지 만든 색열이 비반복성을 위협하는 경우(즉, 길이 r인 반복이 발생할 경우) 해당 구간을 뒤로 되돌려 새로운 색을 선택한다. 경로‑분할의 높이가 2k이므로, 최대 2k 단계만을 고려하면 되며, 각 단계에서 필요한 리스트 크기는 경로폭 k에만 의존한다. 결과적으로, 리스트 크기 f(k)=2^{2^{O(k)}} 정도의 이중 지수 함수가 존재함을 보인다. 둘째, 이와 대조적으로 경로폭 2인 그래프에서는 리스트 크기와 무관하게 비반복 리스트 색칠이 불가능함을 보이는 구성을 제시한다. 구체적으로, 짝수 인덱스 정점들을 ℓ개의 서로 다른 ℓ‑부분집합으로 라벨링하고, 홀수 인덱스 정점들은 서로 겹치지 않는 ℓ개의 리스트를 할당한다. 이때 n>e^{ℓ}+2인 충분히 큰 n을 선택하면, 어떠한 색칠도 길이 2k+1인 반복을 만들게 되어 비반복성을 깨뜨린다. 이 증명은 증인(witness) 개수를 하한·상한으로 비교하는 카운팅 논법을 활용한다. 따라서 경로폭이 작더라도 트리와 일반 그래프 사이에 비반복 리스트 색칠 가능성에 큰 차이가 존재함을 명확히 한다.