[論文レビュー] Nonrepetitive Colourings of Planar Graphs with $O(\log n)$ Colours

Vida Dujmović, Fabrizio Frati+2 more|arXiv (Cornell University)|Feb 8, 2012

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} $ 色で十分であることを示す。

提案手法

• 平面分割子に基づく再帰的アルゴリズムを用いて、重複が制御された部分グラフにグラフを分解する。
• KündgenとPelsmajerの4色割り当て補題を適用し、任意の反復的彩色パスがその二分割で同一の段階パターンを持つことを保証する。
• 再帰呼び出しにおける頂点の深さとラベル属性を定義し、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 任意の整数 $ k \geq 1 $ に対して、すべての平面グラフが長さが $ 2k $ 以下の反復的彩色パスを含まないような多項式関数 $ f(k) $ が存在するか？
• RQ4 各レベルにサイクルを追加した木から構築される平面グラフにおいて、非反復的彩色数は有界のままであるか？

主な発見

• 任意の $ n $ 頂点平面グラフの非反復的彩色数 $ \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(\log n) $ の境界は、Lipton-Tarjanの分割子定理から導かれる以前の $ O(\sqrt{n}) $ の境界に比べて顕著な改善である。
• 構成は有効であり、非反復的彩色を計算する多項式時間アルゴリズムをもたらす。