[論文レビュー] Approximating Vizing's independence number conjecture

Eckhard Steffen|arXiv (Cornell University)|Sep 3, 2016

Advanced Graph Theory Research被引用数 3

ひとこと要約

この論文は、1965年にヴィジングが提起した予想 — つまり、辺彩色臨戦的グラフの独立比は 1/2 以下である — が、任意の ε > 0 に対して独立比が 1/2 + ε よりも小さい特定の臨戦的グラフの族への制限と同値であることを証明している。メレディス拡張および特徴的なパスを有する k-臨戦的グラフの構造的解析を用いて、著者らは、これらのグラフの独立比がパス長が増加するにつれて 1/2 に近づくことを示し、したがって、全予想を有限で ε-近似可能な検証問題に還元している。

ABSTRACT

In 1965, Vizing conjectured that the independence ratio of edge-chromatic critical graphs is at most $\frac{1}{2}$. We prove that for every $ε> 0$ this conjecture is equivalent to its restriction on a specific set of edge-chromatic critical graphs with independence ratio smaller than $\frac{1}{2} + ε$.

研究の動機と目的

• 辺彩色臨戦的グラフの独立比が 1/2 以下であるというヴィジングの長年の予想を解決すること。
• 一般に成立することを示すために、特定の構造的クラスの臨戦的グラフにおいて予想を検証すれば十分であることを示すこと。
• 定義されたクラスに属する k-臨戦的グラフの独立比が、構造的パラメータが増加するにつれて 1/2 に近づくことを確立すること。
• 独立比が 1/2 + ε で上から有界であるグラフに注目することで、予想の ε-近似検証のためのフレームワークを提供すること。

提案手法

• 各頂点が次数 k−1 であり、k−1 個の頂点を互いに素な長さのパスが発する k-臨戦的グラフの族 𝒞(k,t) を導入する。
• メレディス拡張を用いて、既存のグラフから新しい k-臨戦的グラフを構成し、臨戦性を保ちつつ再帰的構成を可能にする。
• ヴィジングの隣接性補題を適用して、k-臨戦的グラフにおける低次数頂点の近傍に構造的制約を課す。
• パス長と頂点を互いに素なパスの制約を用いて、𝒞(k,t) に属するグラフの独立比の上界を導出する：ι(G) < 1/2 + 1/(4kφ(k,t) + 2)，ここで φ(k,t) = t(k−1)² + k−1。
• limₜ→∞ ι(k,t) = 1/2 を証明し、パス長が増加するにつれて境界が任意に鋭くなることを示す。
• 任意の ε > 0 に対して、すべてのグラフの独立比が 1/2 + ε よりも小さいように選ばれた t₃ を用いて、普遍的族 𝒞_ε = ⋃ₖ≥₂ 𝒞(k,t₃) を構成する。

実験結果

リサーチクエスチョン

• RQ1 辺彩色臨戦的グラフの独立比に関するヴィジングの予想は、独立比が 1/2 + ε で上から有界である特定の部分クラスへの制限と同値であるか？
• RQ2 構造的パラメータが増加する中で、構造的クラスに属する k-臨戦的グラフの独立比は 1/2 から一様に離れるか？ また、その値は 1/2 に近づくか？
• RQ3 メレディス拡張の使用は臨戦性を保ち、制御可能な独立比を持つグラフの構成を可能にするか？
• RQ4 全予想は、独立比が 1/2 + ε で上から有界である有限な ε-近似族への検証に還元可能か？
• RQ5 k-臨戦的グラフのどの構造的性質が、その独立比が 1/2 を超えないことを保証するか？ そして、それらはパス系を用いてどのように形式化できるか？

主な発見

• 任意の ε > 0 に対して、すべての臨戦的グラフについてヴィジングの予想が成り立つための必要十分条件として、すべてのグラフが 𝒞_ε に属するとき成り立つ。
• 構成された族 𝒞_ε に属するすべてのグラフは、独立比が 1/2 + ε よりも厳密に小さい。
• クラス 𝒞(k,t) に属するグラフの独立比は、1/2 + 1/(4kφ(k,t) + 2) で上から有界であり、ここで φ(k,t) = t(k−1)² + k−1 である。
• t → ∞ のとき、𝒞(k,t) 上での独立比の上界は 1/2 に収束する。これは、境界が極限においてタイトであることを証明する。
• 各頂点が k−1 個ではなく、任意の s ∈ {1,…,k−1} 個の特徴的なパスを持つように一般化しても、同様の収束が成り立つ。
• 構成により、独立比が 1/2 + ε よりも小さいグラフにおいて予想を検証すれば、全予想の証明に十分であることが保証され、問題が有限で ε-近似可能な検証タスクに還元される。