[論文レビュー] Combinatorial coloring of 3-colorable graphs

Ken‐ichi Kawarabayashi, Mikkel Thorup|arXiv (Cornell University)|May 6, 2012

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

ひとこと要約

本稿では、3色可能グラフの色分けに $ olimits\widetilde{O}(n^{4/11})$ 色を達成する新しい組合せ的アルゴリズムを提示している。これは1990年以来、Blumの $ olimits\widetilde{O}(n^{3/8})$ 界への改善として初めてのものである。構造的スパースカット解析を用いて単色頂点集合を同定し、Chlamtacの半定値計画法（SDP）アプローチと組み合わせることで、多項式時間内に、現在知られている最良の色数界 $O(n^{0.2038})$ まで色数を低下させる手法が得られた。

ABSTRACT

We consider the problem of coloring a 3-colorable graph in polynomial time using as few colors as possible. We present a combinatorial algorithm getting down to $ O(n^{4/11})$ colors. This is the first combinatorial improvement of Blum's $ O(n^{3/8})$ bound from FOCS'90. Like Blum's algorithm, our new algorithm composes nicely with recent semi-definite approaches. The current best bound is $O(n^{0.2072})$ colors by Chlamtac from FOCS'07. We now bring it down to $O(n^{0.2038})$ colors.

研究の動機と目的

• 3色可能グラフの多項式時間色分けにおいて、使用色数を改善する完全に組合せ的なアルゴリズムを開発すること。
• 1990年にBlumが確立した長年の $\widetilde{O}(n^{3/8})$ 界を打ち破ること。
• 組合せ的進歩と半定値計画法（SDP）技術を統合し、色数をさらに低減すること。
• Chlamtac（2007年）の現在知られている最良界 $O(n^{0.2072})$ よりもタイトな漸近的界を達成すること。

提案手法

• 本手法は、スパースカットの構造的解析を用いて、3色可能グラフ内の単色頂点集合を同定し、頂点の縮約を可能にする。
• 頂点集合が多色であるか、単色の進歩に使えるかを判断するため、Blum（1990年）のマルチカラー検定を採用する。
• 主な革新点は、近隣拡張に基づく新しいスパースカット基準の導入であり、これにより組合せ的段階で $ olimits\widetilde{O}(n^{4/11})$ 色の界が得られた。
• $ olimits\widetilde{O}((n/\Delta_{\min})^{4/7})$ の組合せ的界と $O(\Delta^{0.3166})$ のSDPに基づく独立集合界を、$ olimits\Delta = n^{0.6435}$ に設定することでバランスさせる。
• ChlamtacのSDPフレームワークとの統合により、低次数部分グラフにおける独立集合抽出を活用できる。
• 複数のプレイヤー（組合せ的およびSDP）を含むゲーム理論的枠組みを用いることで、$O(n^{0.2038})$ 色への進歩を保証する。

実験結果

リサーチクエスチョン

• RQ1 完全に組合せ的な手法が、Blumの $ olimits\widetilde{O}(n^{3/8})$ 界を超えて、3色可能グラフの色分け界を改善できるか？
• RQ2 半定値計画法に依存せずに、3色可能グラフの構造的性質をどのように活用して単色集合を同定できるか？
• RQ3 組合せ的進歩とSDPに基づく独立集合抽出をどのようにバランスさせれば、最終的な色数を最小化できるか？
• RQ4 ハイブリッドな組合せ的-SDP手法を用いて、色数界の指数を $O(n^{0.2072})$ よりも低くできるか？

主な発見

• 本稿では、組合せ的技法のみを用いて $ olimits\widetilde{O}(n^{4/11})$ 色の界を達成し、1990年のBlumの $ olimits\widetilde{O}(n^{3/8})$ 界を改善した。
• 新規の組合せ的アルゴリズムをChlamtacのSDP手法と統合することで、色数界を $O(n^{0.2038})$ 色まで低下させた。
• 指数 $0.2038$ は、Chlamtac（2007年）の従来の最良界 $O(n^{0.2072})$ よりも厳密に改善された。
• 標準的なマルチカラー検定が失敗した場合でも、単色頂点集合の同定とスパースカット検出により、進歩を保証する。
• 本手法は頑健であり、$\Delta = n^{0.6435}$ で組合せ的およびSDPの進歩率をバランスさせることで、既存のSDPフレームワークと滑らかに統合可能である。
• 組合せ的技法が、NP困難なグラフ問題における近似アルゴリズムで依然として顕著な改善をもたらせることが示された。