[논문 리뷰] Nonrepetitive Colourings of Planar Graphs with $O(\log n)$ Colours

Vida Dujmović, Fabrizio Frati외 2명|arXiv (Cornell University)|2012. 02. 08.

Advanced Graph Theory Research참고 문헌 19인용 수 5

한 줄 요약

이 논문은 평면 그래프의 비반복 색칠 수에 대해 $ O(\log n) $ 의 로그 상界를 확립하여 이전의 $ O(\sqrt{n}) $ 의 상계보다 크게 향상시켰다. 접근 방식은 평면 분리자와 층화 기반의 재귀적 분해를 사용하며, 비반복 색칠을 보장하기 위해 4색 정리 레미마를 적용한다. 최종적으로 임의의 $ n $-정점 평면 그래프 $ G $ 에 대해 $ \pi(G) \leq 8(1 + \log_{3/2} n) $ 이 성립함을 증명한다.

ABSTRACT

A vertex colouring of a graph is \emph{nonrepetitive} if there is no path for which the first half of the path is assigned the same sequence of colours as the second half. The \emph{nonrepetitive chromatic number} of a graph $G$ is the minimum integer $k$ such that $G$ has a nonrepetitive $k$-colouring. Whether planar graphs have bounded nonrepetitive chromatic number is one of the most important open problems in the field. Despite this, the best known upper bound is $O(\sqrt{n})$ for $n$-vertex planar graphs. We prove a $O(\log n)$ upper bound.

연구 동기 및 목표

• 평면 그래프의 비반복 색칠 수가 유계임을 증명하는 데 오랫동안 미해결이었던 문제를 해결한다.
• 평면 그래프의 비반복 색칠 수에 대한 기존 최고 상계인 $ O(\sqrt{n}) $ 를 $ O(\log n) $ 으로 향상시킨다.
• 재귀적 분해와 층화를 활용한 비반복 색칠을 위한 구성적 방법을 제공한다.
• 결과를 경로 길이가 최대 $ 2k $ 인 비반복 색칠 경로를 피하는 데로 확장하여, $ c^{k^2} $ 개의 색깔이 길이가 최대 $ 2k $ 인 경로에 대해 반복 색칠을 피하는 데 충분함을 보인다.

제안 방법

• 제어된 겹침을 갖는 부분그래프로 분해하기 위해 평면 분리자 기반의 재귀적 알고리즘을 사용한다.
• 반복 색칠 경로의 두 반쪽에서 동일한 층 패턴을 유지함을 보장하는 4색 정리 레미마(Kündgen과 Pelsmajer)를 적용한다.
• 재귀 호출에서 정점의 깊이와 라벨 속성을 정의하여, 3개의 구성 요소(4색칠, 깊이, 라벨)를 갖는 복합 색칠을 형성한다.
• 조르당 곡선 정리를 활용하여 그래프를 두 부분그래프 $ G_1 $ 과 $ G_2 $ 로 분리함으로써, 제한된 겹침과 크기 감소를 보장한다.
• $ H $-미니어프리 그래프(정점이 하나 더해진 $ H $)의 지름-트리너비 성질을 활용하여 국소 영역 내 트리너비를 제한함으로써, 부분그래프의 비반복 색칠을 가능하게 한다.
• 짧은 반복 색칠 경로를 피하기 위해 부분그래프 색칠을 주기적으로 반복하여 복합 색칠 $ \psi(v) = (\phi_0(v), \dots, \phi_{2k-1}(v)) $ 를 구성한다.

실험 결과

연구 질문

• RQ1 평면 그래프의 비반복 색칠 수는 $ O(\sqrt{n}) $ 보다 더 느리게 증가하는 함수로 유계일 수 있는가?
• RQ2 모든 평면 그래프에 대해 $ o(\log n) $ 의 비반복 색칠 수를 달성할 수 있는가?
• RQ3 모든 평면 그래프가 길이가 최대 $ 2k $ 인 반복 색칠 경로를 갖지 않도록 하는 다항식 함수 $ f(k) $ 가 존재하는가?
• RQ4 각 레벨에 사이클이 추가된 트리로 구성된 평면 그래프의 비반복 색칠 수는 여전히 유계일 수 있는가?

주요 결과

• 임의의 $ n $-정점 평면 그래프 $ G $ 에 대해 비반복 색칠 수 $ \pi(G) $ 는 최대 $ 8(1 + \log_{3/2} n) $ 이며, 이는 $ O(\log n) $ 의 상계를 확립한다.
• 증명은 평면 분리자 기반의 재귀적 분해와 반복 색칠 경로에서 층 패턴 대칭성을 유지하는 4색 정리를 바탕으로 한다.
• 임의의 정수 $ k \geq 1 $ 에 대해, 모든 평면 그래프는 길이가 최대 $ 2k $ 인 경로에 대해 반복 색칠이 일어나지 않도록 $ c^{k^2} $ 개의 색깔로 색칠 가능하며, 여기서 $ c $ 는 그래프 클래스에 따라 정해지는 상수이다.
• 결과는 임의의 정점이 하나 더해진 그래프 $ H $ 에 대해 $ H $-미니어프리 그래프로도 확장되며, 동일한 $ c^{k^2} $ 상한을 갖는다. 또한 고정된 표면에 임베딩 가능한 그래프로도 확장된다.
• 이전의 $ O(\sqrt{n}) $ 상계보다 $ O\left(\log n\right) $ 상계는 크게 향상된 결과이며, 이는 리프톤-타르잔 분리자 정리로부터 유도된 바 있다.
• 구성은 효과적이며, 비반복 색칠을 계산하는 다항식 시간 알고리즘을 제공한다.