[論文レビュー] Recoloring bounded treewidth graphs

Marthe Bonamy, Nicolás Bousquet|arXiv (Cornell University)|Feb 14, 2013

Advanced Graph Theory Research参考文献 9被引用数 11

ひとこと要約

本稿では、任意の幅が $ k $ のグラフが $ (k+2) $-mixingであり、再色分け直径が $ 2(n^2 + n) $ 未満であることを確立している。これは、任意の二つの $ (k+2) $-色分けの間の最短変換列に対して、二次関数的上界を示したものである。この結果は、先行研究が残した空白を埋め、グレディ数を用いてゼロムの次数に基づく上界を改善し、幅が有界なグラフにおける多項式時間の再色分けを示している。

ABSTRACT

Let $k$ be an integer. Two vertex $k$-colorings of a graph are \emph{adjacent} if they differ on exactly one vertex. A graph is \emph{$k$-mixing} if any proper $k$-coloring can be transformed into any other through a sequence of adjacent proper $k$-colorings. Any graph is $(tw+2)$-mixing, where $tw$ is the treewidth of the graph (Cereceda 2006). We prove that the shortest sequence between any two $(tw+2)$-colorings is at most quadratic, a problem left open in Bonamy et al. (2012). Jerrum proved that any graph is $k$-mixing if $k$ is at least the maximum degree plus two. We improve Jerrum's bound using the grundy number, which is the worst number of colors in a greedy coloring.

研究の動機と目的

• 幅が有界なグラフにおける $ (tw(G)+2) $-色分けの再色分け直径を有界化する未解決問題を閉じること。
• グレディ数 $ \chi_g(G) $ を用いて、ゼロムの次数に基づく $ \triangle(G)+2 $ の $ k $-mixing 上界を改善すること。
• 幅が $ k $ のグラフにおける再色分け直径に対して、具体的に $ 2(n^2 + n) $ の多項式上界を確立すること。
• 弦的グラフおよび外部平面グラフの例から、$ (tw(G)+2) $-再色分け直径が定数倍の範囲でタイトであることを示すこと。

提案手法

• 特定の順序で頂点を処理する動的再色分けアルゴリズムを用い、増大する頂点集合に対して一貫性を保つ。
• 木分解に基づく再帰的再色分け戦略を適用し、残渣成分と一貫性のある色分けに注目する。
• 色の衝突を有向グラフモデルとして表現し、衝突有向グラフにサイクルが存在しないことを保証することで、反復的再色分けを可能にする。
• 局所的再色分けを管理しながら全体の正しく色分けされた性質を保つために、$ F_i $-一貫性色分けと $ B_u $-一貫性色分けを導入する。
• 二段階の再色分けプロセスを用いる：まず $ B_u $ を触らずに残渣成分内の頂点を再色分けし、次に自由な色を用いて $ B_u $-頂点を再色分けする。
• 各頂点あたりの再色分けステップを分析し、各頂点が最大で2回再色分けされることを証明し、合計で最大 $ n^2 + 2n $ ステップに収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 幅が有界なグラフにおける $ (tw(G)+2) $-再色分け直径は多項式的であり、そのタイトな上界は何か？
• RQ2 最大次数に基づく $ k $-mixing 上界を、グレディ数のようなグラフ不変量を用いて改善できるか？
• RQ3 幅が有界なグラフにおける $ (tw(G)+2) $-色分けの再色分け直径は、指数的ではなく二次的スケーリングに従うか？
• RQ4 上界 $ 2(n^2 + n) $ はさらに厳しくできるか、それとも漸近的に最適であるか？

主な発見

• 任意のグラフ $ G $ について、$ (tw(G)+2) $-再色分け直径は $ 2(n^2 + n) $ 未満である。これは二次関数的上界を確立する。
• $ k \geq \chi_g(G)+1 $ のとき、再色分け直径は $ 4 \cdot \chi_g(G) \cdot n $ 未満であり、ゼロムの $ \triangle(G)+2 $ の上界を改善する。
• 外平面グラフおよび弦的グラフが二次的直径に達することから、上界 $ 2(n^2 + n) $ は定数倍の範囲でタイトであることが示された。
• グレディ数 $ \chi_g(G) $ は $ \triangle(G)+1 $ よりも著しく小さい場合があり、星形グラフなどの例では新しい上界が厳密に優れている。
• この結果は、$ k = tw(G)+2 $ のとき $ k $-mixing が保証されるだけでなく、多項式時間で効率的に再配置可能であることを示唆する。
• 本稿はボナミら（2012年）が提起した未解決問題を解決し、$ (tw(G)+2) $-色分けに対して二次関数的上界を証明した。