[論文レビュー] Proof of the Goldberg-Seymour Conjecture on Edge-Colorings of Multigraphs

Guantao Chen, Guangming Jing+1 more|arXiv (Cornell University)|Jan 29, 2019

Advanced Graph Theory Research参考文献 18被引用数 12

ひとこと要約

この論文は、ゴールドバーグ＝セイヤー予想を証明し、任意の多重グラフの彩色指数が max{Δ(G)+1, ⌈Γ(G)⌉} 以下であることを確立する。ここで Δ(G) は最大次数、Γ(G) はグラフの密度を表す。この証明は、50年以上にわたる未解決問題を解消し、彩色指数がたった2つの値のいずれかをとることを示しており、分数彩色の緩和が整数解から1以内であることを示唆し、強い整数丸め性質を裏付ける。

ABSTRACT

Given a multigraph $G=(V,E)$, the {\em edge-coloring problem} (ECP) is to color the edges of $G$ with the minimum number of colors so that no two adjacent edges have the same color. This problem can be naturally formulated as an integer program, and its linear programming relaxation is called the {\em fractional edge-coloring problem} (FECP). In the literature, the optimal value of ECP (resp. FECP) is called the {\em chromatic index} (resp. {\em fractional chromatic index}) of $G$, denoted by $χ'(G)$ (resp. $χ^*(G)$). Let $Δ(G)$ be the maximum degree of $G$ and let \[Γ(G)=\max \Big\{\frac{2|E(U)|}{|U|-1}:\,\, U \subseteq V, \,\, |U|\ge 3 \hskip 2mm { m and \hskip 2mm odd} \Big\},\] where $E(U)$ is the set of all edges of $G$ with both ends in $U$. Clearly, $\max\{Δ(G), \, \lceil Γ(G) ceil \}$ is a lower bound for $χ'(G)$. As shown by Seymour, $χ^*(G)=\max\{Δ(G), \, Γ(G)\}$. In the 1970s Goldberg and Seymour independently conjectured that $χ'(G) \le \max\{Δ(G)+1, \, \lceil Γ(G) ceil\}$. Over the past four decades this conjecture, a cornerstone in modern edge-coloring, has been a subject of extensive research, and has stimulated a significant body of work. In this paper we present a proof of this conjecture. Our result implies that, first, there are only two possible values for $χ'(G)$, so an analogue to Vizing's theorem on edge-colorings of simple graphs, a fundamental result in graph theory, holds for multigraphs; second, although it is $NP$-hard in general to determine $χ'(G)$, we can approximate it within one of its true value, and find it exactly in polynomial time when $Γ(G)>Δ(G)$; third, every multigraph $G$ satisfies $χ'(G)-χ^*(G) \le 1$, so FECP has a fascinating integer rounding property.

研究の動機と目的

• 多重グラフのエッジ彩色に関する長年の未解決問題であるゴールドバーグ＝セイヤー予想を解決すること。
• 最大次数 Δ(G) およびエッジ密度 Γ(G) を用いて、彩色指数 χ′(G) のタイトな境界を確立すること。
• χ′(G) ∈ {⌈max{Δ(G), Γ(G)}⌉, ⌈max{Δ(G), Γ(G)}⌉ + 1} であることを証明し、単純グラフにおけるバージングの定理に類似した性質を示すこと。
• 分数彩色指数 χ*(G) が整数彩色指数から1以内であることを示し、深い整数丸め性質を確認すること。

提案手法

• エッジ彩色問題を整数計画問題として定式化し、その線形計画緩和を分数エッジ彩色問題（FECP）として定義する。
• セイヤーの結果 χ*(G) = max{Δ(G), Γ(G)} を用いて、整数解の上限を導く基盤を築く。
• マッチング理論および多面体組合せ論の高度な技術を適用し、エドモンズのマッチング多面体定理を含む。
• エッジ彩色木（ETT）におけるケンプ変更とパス解析を用いた、エッジ彩色の安定性に関する議論を展開する。
• 反例に対する最小性に関する議論を用い、エグジットパスと色の交換可能性を考察することで矛盾を導く。
• ケンプ変更の下での安定性を保つ (T, D, φ)-安定彩色を導入・分析し、彩色指数の増加を制御する。

実験結果

リサーチクエスチョン

• RQ1 任意の多重グラフについて、彩色指数が χ′(G) ≤ max{Δ(G)+1, ⌈Γ(G)⌉} を満たすか？
• RQ2 多重グラフの彩色指数が、単純グラフにおけるバージングの定理に類似して、2つの値のいずれかに限られるか？
• RQ3 分数彩色指数 χ*(G) と整数彩色指数 χ′(G) の差が1以下であるか？
• RQ4 彩色指数を多項式時間内で真の値から1以内に近似的に計算できるか？
• RQ5 どのようなエッジ彩色の構造的性質が、χ′(G) ≤ max{Δ(G)+1, ⌈Γ(G)⌉} を保証するか？

主な発見

• ゴールドバーグ＝セイヤー予想が証明された：すべての多重グラフ G に対して χ′(G) ≤ max{Δ(G)+1, ⌈Γ(G)⌉} が成り立つ。
• 彩色指数 χ′(G) は、{⌈max{Δ(G), Γ(G)}⌉, ⌈max{Δ(G), Γ(G)}⌉ + 1} の2つの値のいずれかに限られ、単純グラフにおけるバージングの定理が多重グラフへと拡張される。
• 分数彩色指数は χ*(G) = max{Δ(G), Γ(G)} を満たし、χ′(G) − χ*(G) ≤ 1 である。これは強い整数丸め性質を確認する。
• Γ(G) > Δ(G) のとき、彩色指数 χ′(G) は多項式時間で正確に計算可能である。
• 真の値から1以内に近似できる近似アルゴリズムが存在するが、正確な計算は NP 困難である。
• 証明は、エッジ彩色木におけるエグジットパスとケンプ変更の下での安定性を特徴とする、独創的な最小性議論に依拠している。