[論文レビュー] A Proof of a Conjecture of Ohba

Jonathan A. Noel, Bruce A. Reed+1 more|arXiv (Cornell University)|Nov 8, 2012

Advanced Graph Theory Research参考文献 15被引用数 7

ひとこと要約

この論文は、任意のグラフ $ G $ が $ 2\chi(G)+1 $ 個以下の頂点を持つ場合に $ \chi_{\ell}(G) = \chi(G) $ が成り立つというオーバーの予想を証明している。証明は構造的解析、ホールの定理、数え上げ的議論を用いて、最小反例が存在しえないことを示し、したがってこのグラフクラスにおいてリスト彩色数が彩色数に等しいことを確立する。

ABSTRACT

We prove a conjecture of Ohba which says that every graph $G$ on at most $2χ(G)+1$ vertices satisfies $χ_\ell(G)=χ(G)$.

研究の動機と目的

• リスト彩色において長年の未解決問題であったオーバーの予想を解決すること。この予想は、$2\chi(G)+1$ 個以下の頂点を持つグラフは $\chi_\ell(G) = \chi(G)$ を満たすというものである。
• この等式が成り立つための頂点数の上限 $2\chi(G)+1$ がタイトであることを示すこと。すなわち、$2\chi(G)+2$ 個の頂点を持つグラフでは $\chi_\ell(G) > \chi(G)$ となる例が存在する。
• 予想がすべてのグラフに対して成り立つことを示すために、完全 $k$-部グラフで頂点数が $2k+1$ 以下のケースに帰着させること。
• 最小反例の構造的特徴を特定し、組合せ的および極値的議論によりその非存在を示すこと。

提案手法

• 完全 $k$-部グラフへの還元：予想がすべてのグラフで成り立つのは、$|V(G)| \leq 2k+1$ である完全 $k$-部グラフで成り立つときである。
• ホールの定理の応用：特定のリスト割り当てのもとで、適切な彩色が存在することを確認する。特に、色の利用可能性と頂点の被覆を重点的に扱う。
• リストに含まれる色の数に関する数え上げ的議論：最小反例では、すべてのリストに現れる異なる色の総数が $2k$ 以下であることが示され、頻度の高い色の利用が可能になる。
• ある頂点にそのリストにない色が割り当てられるが、他の頂点にはその色が割り当てられないような特別な「非適切な彩色」の導入。これにより、適切な彩色への制御された修正が可能になる。
• 極値的境界の応用：最大部のサイズ $\alpha$、頻度の高い色の数、近傍集合のサイズに関連する不等式を用いて、反例の存在に矛盾を導く。
• 最小反例では $|V(G)| = 2k+1$ であることを利用して、色 $c$ について $\left|N_B(c) ight|$ のタイトな境界を導出し、$\beta \geq \frac{1}{2}(k+1-b-2\gamma)$ であれば矛盾が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意のグラフ $ G $ について、$ |V(G)| \leq 2\chi(G)+1 $ ならば $ \chi_\ell(G) = \chi(G) $ が成り立つか？
• RQ2 等式 $ \chi_\ell(G) = \chi(G) $ が成り立つための頂点数の上限 $ 2\chi(G)+1 $ はタイトか？
• RQ3 この予想は完全 $k$-部グラフのケースに還元可能か？
• RQ4 最小反例が満たすべき構造的性質は何か？
• RQ5 リストに現れる異なる色の数や色の頻度分布に関する極値的境界を用いて、反例の非存在を示せるか？

主な発見

• オーバーの予想は真であることが証明された：任意のグラフ $ G $ について、$ 2\chi(G)+1 $ 個以下の頂点を持つならば $ \chi_\ell(G) = \chi(G) $ が成り立つ。
• 上限 $ 2\chi(G)+1 $ はタイトであり、$ 2\chi(G)+2 $ 個の頂点を持つグラフで $ \chi_\ell(G) > \chi(G) $ となる例が存在する。
• オーバーの予想の最小反例では、すべてのリストに現れる異なる色の総数は $ 2k $ 以下である（$ k = \chi(G) $ とする）。
• 色 $ c^* $ について $ |N_B(c^*)| = k - \beta $ かつ $ \beta < \frac{1}{2}(k+1-b-2\gamma) $ である場合、矛盾が生じる。これにより、このような反例は存在しえない。
• 完全 $k$-部グラフで頂点数が $ 2k+1 $ 以下の場合は $ \chi_\ell(G) = k $ が成り立つことが証明され、予想が確認された。
• この結果は、$ 3k $ 個以下の頂点を持つグラフのリスト彩色数が、$ \max\left\{k, \left\lceil \frac{|V(G)| + k - 1}{3} \right\rceil \right\} $ で抑えられることを示唆する（後続の研究で示された）。