[論文レビュー] List-coloring embedded graphs without cycles of lengths 4 to 8

Zdenĕk Dvořák, Luke Postle|arXiv (Cornell University)|Aug 14, 2015

Computational Geometry and Mesh Generation参考文献 15被引用数 16

ひとこと要約

この論文は、4から8までの長さのサイクルをもたない平面的グラフがすべて3-choosableであることを証明し、ボロディンが提起した問いに答えている。対応色分けと呼ばれる新しい一般化されたリスト色分けの変種を導入することで、従来は通常色分けにのみ有効であった構造的還元を可能にし、サイクル長制限下での3-choosabilityを確立した。

ABSTRACT

The well-known Steinberg's conjecture postulates that every planar graph without 4-cycles and 5-cycles is 3-colorable. The list-coloring version of this claim is known to be false. However, we prove that excluding cycles of lengths 4 to 8 is sufficient to guarantee 3-choosability of a planar graph, thus answering a question of Borodin. For the proof, we use a new variant of graph coloring called correspondence coloring which generalizes list coloring and allows for reductions previously only possible for ordinary coloring.

研究の動機と目的

• 4から8までの長さのサイクルを除く平面的グラフの3-choosabilityに関するボロディンの問いを解決すること。
• 4から8までの長さのサイクルが存在しないことが、3-choosabilityを保証するのに十分であることを確立すること。これは、シュタインベルクの予想のリスト色分け版が失敗するにもかかわらず成り立つ。
• リスト色分けを一般化し、構造的還元を可能にする新しい色分け枠組み「対応色分け」を考案・適用すること。

提案手法

• リスト色分けの一般化として対応色分けを導入し、エッジに依存する色割り当てをより柔軟に可能にする。
• 対応色分けを用いて、従来は通常色分けにのみ有効であった構造的還元を再現し、それらをリスト色分けの文脈へと拡張する。
• 対応色分けの枠組み内で放電法を用い、最小反例の構造を分析する。
• 対応色分けにおいて、4から8までの長さのサイクルが存在しないグラフは、3-choosabilityが成立しない場合に矛盾を引き起こすような還元可能な構成を含まないことを証明する。
• 短いサイクル（4〜8）の不在を活用し、放電プロセスにおける局所的構造を制御し、還元性の条件を強制する。
• このようなグラフにおけるすべての可能な構成が、対応色分けにおいて還元可能であることを確立し、3-choosabilityを示す。

実験結果

リサーチクエスチョン

• RQ1 シュタインベルクの予想のリスト色分け版が誤りであるにもかかわらず、長さ4〜8のサイクルをもたないすべての平面的グラフが3-choosableであるか？
• RQ2 対応色分けを用いることで、通常色分けからリスト色分け問題へと構造的還元を拡張できるか？
• RQ3 長さ4〜8のサイクルが存在しないことが、平面的グラフにおける3-choosabilityを保証するのに十分か？
• RQ4 長さ4〜8のサイクルをもたない平面的グラフが、対応色分けにおいてなぜ3-choosableとなるのか、その構造的性質は何か？
• RQ5 対応色分けは、従来のリスト色分けでは失敗する状況において、3-choosabilityの証明をどのように可能にするか？

主な発見

• 長さ4〜8のサイクルをもたない平面的グラフは3-choosableであり、ボロディンの予想がこの制限付きの場合に正当であることを確認した。
• 長さ4〜8のサイクルが存在しないことで、3-choosabilityに対するすべての潜在的最小反例が、対応色分けにおいて構造的に還元可能であることが保証される。
• 対応色分けにより、通常色分けから得られる構造的還元技法をリスト色分けへと移行可能となり、従来のリスト色分けの制限を克服した。
• 証明により、長さ4〜8のサイクルをもたない平面的グラフが、対応色分け枠組みにおいて最小反例にはなり得ないことが示された。
• リスト色分け版のシュタインベルクの予想が誤りであるにもかかわらず、サイクル長制限下での3-choosabilityに関するボロディンの問いに対して肯定的な答えが得られた。