[論文レビュー] Ore's Conjecture on color-critical graphs is almost true

Alexandr Kostochka, Matthew Yancey|arXiv (Cornell University)|Sep 5, 2012

Limits and Structures in Graph Theory参考文献 13被引用数 4

ひとこと要約

この論文は、$k$-臨界グラフにおける最小辺数に対するほぼ最適な下界を証明し、$f_k(n) \geq F(k,n) = \left\lceil \frac{(k+1)(k-2)n - k(k-3)}{2(k-1)} \right\rceil$ が成り立つことを示している。これは $k=4$ およびすべての $n \geq 6$ に対して正確であり、$k \geq 5$ および $n \equiv 1 \pmod{k-1}$ に対しても正確である。この結果により、Oreの1967年の予想が有限個の $n$ を除いて正当化され、スパarsity条件を満たすグラフに対する $(k-1)$-彩色の多項式時間アルゴリズムが提供される。

ABSTRACT

A graph $G$ is $k$-critical if it has chromatic number $k$, but every proper subgraph of $G$ is $(k-1)$--colorable. Let $f_k(n)$ denote the minimum number of edges in an $n$-vertex $k$-critical graph. We give a lower bound, $f_k(n) \geq F(k,n)$, that is sharp for every $n=1 ({ m mod} k-1)$. It is also sharp for $k=4$ and every $n\geq 6$. The result improves the classical bounds by Gallai and Dirac and subsequent bounds by Krivelevich and Kostochka and Stiebitz. It establishes the asymptotics of $f_k(n)$ for every fixed $k$. It also proves that the conjecture by Ore from 1967 that for every $k\geq 4$ and $n\geq k+2$, $f_k(n+k-1)=f(n)+\frac{k-1}{2}(k - \frac{2}{k-1})$ holds for each $k\geq 4$ for all but at most $k^3/12$ values of $n$. We give a polynomial-time algorithm for $(k-1)$-coloring a graph $G$ that satisfies $|E(G[W])| < F_k(|W|)$ for all $W \subseteq V(G)$, $|W| \geq k$. We also present some applications of the result.

研究の動機と目的

• すべての $k \geq 4$ および $n \geq k$ に対して、$n$ 頂点を持つ $k$-臨界グラフにおける最小辺数 $f_k(n)$ の正確な値を特定すること。
• Oreの1967年の予想 $f_k(n+k-1) = f_k(n) + \frac{(k-1)(k - 2/(k-1))}{2}$ がすべての $k \geq 4$ および $n \geq k+2$ に対して成り立つことを示し、有限個の例外を除いて解決すること。
• $|W| \geq k$ であるすべての部分集合 $W \subseteq V(G)$ に対して $|E(G[W])| < F_k(|W|)$ を満たすグラフに対する $(k-1)$-彩色の多項式時間アルゴリズムを提供すること。
• Gallai, Dirac, Krivelevich, および KostochkaとStiebitzによる $k$-臨界グラフにおける最小辺数に関する古典的下界を改善すること。

提案手法

• $k$-臨界グラフの構造的解析と閉近傍の性質を用いて、新しい下界 $f_k(n) \geq F(k,n) = \left\lceil \frac{(k+1)(k-2)n - k(k-3)}{2(k-1)} \right\rceil$ を導出する。
• 頂点の削減とリスト彩色に基づく再帰的アルゴリズムを用い、次数 $k-1$ の頂点、共有された閉近傍、退化した部分グラフの各ケースを処理する。
• ネットワークフロー技術を用いて部分グラフ $H$ の辺を向き付け、カーネルに基づく彩色を用いて部分グラフ $G'$ からの部分彩色を完全なグラフ $G$ に拡張する。
• グラフの部分順序を導入して再帰的アルゴリズムの終了を保証し、頂点ペアの同値関係と辺数の削減に基づく再帰の深さの上限を設定する。
• スパarsity制約下での $(k-1)$-彩色の存在を構成的証明により検証し、多項式時間アルゴリズムに結びつける。
• 帰納法とグラフ構造のケース解析（$k$-臨界部分グラフと辺最小性の使用を含む）により、境界の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Oreの1967年の予想、すなわち $f_k(n)$ の辺数の増加がすべての $k \geq 4$ および $n \geq k+2$ に対して成り立つかどうか。
• RQ2 固定された $k \geq 4$ に対して $n \to \infty$ のときの $f_k(n)$ の正確な漸近的挙動は何か。
• RQ3 すべての大きな部分集合でスパースなグラフに対して、$(k-1)$-彩色の多項式時間アルゴリズムを構築できるか。
• RQ4 Gallai, Dirac, Krivelevich, および KostochkaとStiebitzによる既存の下界と比較して、新しい下界 $F(k,n)$ はどのように異なるか。
• RQ5 $F(k,n)$ の境界が正確に成り立つ $n$ の値は何か。また、その境界に達する極値の $k$-臨界グラフの構造は何か。

主な発見

• $f_k(n) \geq F(k,n) = \left\lceil \frac{(k+1)(k-2)n - k(k-3)}{2(k-1)} \right\rceil$ は、$k=4$ およびすべての $n \geq 6$ に対してタイトであり、$k \geq 5$ およびすべての $n \equiv 1 \pmod{k-1}$、$n \neq 1$ に対してもタイトである。
• 漸近的辺密度は $\phi_k = \lim_{n \to \infty} \frac{f_k(n)}{n} = \frac{k}{2} - \frac{1}{k-1}$ を満たし、Hajósの構成による上界と一致する。
• Oreの1967年の予想 $f_k(n+k-1) = f_k(n) + \frac{(k-1)(k - 2/(k-1))}{2}$ は、すべての $k \geq 4$ および高々 $k^3/12$ 個の $n$ を除いて成り立つ。
• すべての $W \subseteq V(G)$ に対して $|W| \geq k$ ならば $|E(G[W])| < F_k(|W|)$ を満たす任意のグラフ $G$ を $(k-1)$-彩色する多項式時間アルゴリズムが提供され、実行時間は $O(k^{3.5}n^{6.5}\log n)$ である。
• この結果により、Gallai, Dirac, Krivelevich, および KostochkaとStiebitzによるすべての既存の下界が改善される。
• 証明は、三角形を含まない平面グラフが $3$-彩色可能であるというGrötzschの定理の短い新しい証明を導く。