[論文レビュー] Faster 3-Coloring of Small-Diameter Graphs

Michał Dębski, Marta Piecyk+1 more|arXiv (Cornell University)|Jan 1, 2021

Advanced Graph Theory Research参考文献 21被引用数 3

ひとこと要約

本稿では、直径2のn頂点グラフにおける3彩色のための新しいアルゴリズムを提示する。実行時間は2^O(n^{1/3} log² n)であり、以前の最良の境界2^O(√n log n)を改善している。この手法は、確率的技法を用いて導かれた3彩色可能な直径2グラフに関する組合せ的洞察と、標準的な分岐法および2-SAT削減技術を組み合わせており、追加制約なしに一般ケースで初めての超指数的改善を達成している。

ABSTRACT

We study the 3-Coloring problem in graphs with small diameter. In 2013, Mertzios and Spirakis showed that for n-vertex diameter-2 graphs this problem can be solved in subexponential time 2^{𝒪(√{n log n})}. Whether the problem can be solved in polynomial time remains a well-known open question in the area of algorithmic graphs theory. In this paper we present an algorithm that solves 3-Coloring in n-vertex diameter-2 graphs in time 2^{𝒪(n^{1/3} log² n)}. This is the first improvement upon the algorithm of Mertzios and Spirakis in the general case, i.e., without putting any further restrictions on the instance graph. In addition to standard branchings and reducing the problem to an instance of 2-Sat, the crucial building block of our algorithm is a combinatorial observation about 3-colorable diameter-2 graphs, which is proven using a probabilistic argument. As a side result, we show that 3-Coloring can be solved in time 2^{𝒪((n log n)^{2/3})} in n-vertex diameter-3 graphs. We also generalize our algorithms to the problem of finding a list homomorphism from a small-diameter graph to a cycle.

研究の動機と目的

• 3彩色の小径グラフにおける最良の超指数的アルゴリズムと、多項式時間解法の可能性との間のギャップを埋めること。
• 直径2グラフにおける3彩色が多項式時間で解けるかどうかという長年の未解決問題に取り組むこと。
• アルゴリズム的手法を直径3グラフやより一般的なリスト同型写像問題へ拡張すること。
• 特にループ付きのサイクルやパスを含む特定のクラスのターゲットグラフHについて、リストH-彩色への一般化を図ること。
• コストが色割り当てに関連付けられる重み付き彩色変種へのアルゴリズムの拡張可能性を検討すること。

提案手法

• 確率的技法を用いて証明された、3彩色可能な直径2グラフに関する新しい組合せ的観察を、分岐戦略の指針として活用する。
• 勝ち負けのアプローチを適用：グラフが小さな支配集合を持つ（全探索によって活用される）か、構造的性質により効率的なリスト削減が可能である。
• 支配集合Sに属する頂点に対する標準的な分岐を実行し、その後、近隣の頂点に対してリスト削減を適用してリストサイズを2以下に制限する。
• すべてのリストサイズが≤2である問題に帰着し、多項式時間で解ける2-SATに変換する。
• 支配集合の選択を精緻化し、最小次数パラメータを活用することで、コアアルゴリズムを直径3グラフに適応する。
• 条件(P1)、(P2)、(P3)を満たすターゲットグラフHに対するリストH-彩色へのフレームワークの一般化を図り、リストサイズの削減と一意な色の決定を保証する。

実験結果

リサーチクエスチョン

• RQ1 追加制約なしに、直径2グラフにおける3彩色問題が2^O(√n log n)未満の時間で解けるか。
• RQ2 3彩色可能な直径2グラフにどのような構造的性質を活用して、より高速なアルゴリズムを設計できるか。
• RQ3 このアルゴリズム的フレームワークを直径3グラフに拡張し、超指数的時間の境界を得られるか。
• RQ4 どのようなクラスのターゲットグラフHに対して、小径グラフにおけるリストH-彩色が超指数的時間で解けるか。
• RQ5 コストが色割り当てに関連する重み付き3彩色へのアルゴリズムの拡張は可能か。

主な発見

• 本稿では、n頂点の直径2グラフにおける3彩色問題に対して、実行時間が2^O(n^{1/3} log² n)である最初のアルゴリズムを提示している。これは、以前の2^O(√n log n)の境界を改善している。
• 主な改善は、確率的技法を用いて証明された3彩色可能な直径2グラフに関する新しい組合せ的洞察に起因し、より効率的な支配集合の選択を可能にしている。
• 直径3グラフの場合、アルゴリズムは2^O((n log n)^{2/3})の時間で実行され、このクラスに対して超指数的境界を確立している。
• フレームワークは、(P1)、(P2)、(P3)を満たす連結グラフHに対するリストH-彩色へ一般化可能であり、実行時間はHの構造に依存する。
• H ∈{C₃, C₅}の場合、直径2グラフにおけるリストH-彩色は2^O(n^{1/3} log² n)時間で解ける。H = P₃*の場合は2^O(n^{1/2} log^{1/2} n)時間。
• 直径3グラフおよびH ∈{C₃, C₅, C₆, C₇, P₃*, P₄*}の場合、問題は2^O(n^{2/3} log^{2/3} n)時間で解ける。Hがこの族に属さない場合、多項式時間で解ける。