[論文レビュー] On the 4-color theorem for signed graphs

František Kardoš, Jonathan Narboni|arXiv (Cornell University)|Jun 13, 2019

Advanced Graph Theory Research被引用数 1

ひとこと要約

この論文は、すべての符号付き平面グラフが4-符号付き彩色可能であるという予想を反証し、符号付きグラフへの四色定理の一般化を提示する。Tutteのグラフに意図的に配置された負の頂点を用いた反例の構築と、辺ラベル制約を用いた双対グラフの解析により、一貫性のある2因子が存在しないことが示され、これが有効な4-符号付き彩色の不在を示唆する。この結果は、符号付きグラフ彩色における長年の予想を反証し、39頂点の最小の非4彩色可能な符号付き平面グラフを確立する。

ABSTRACT

There are several ways to generalize graph coloring to signed graphs. M\'a\v{c}ajov\'a, Raspaud and \v{S}koviera introduced one of them and conjectured that in this setting, for signed planar graphs four colors are always enough, generalising thereby The Four Color Theorem. We disprove the conjecture.

研究の動機と目的

• Mácajová、Raspaud、Škoviera が導入した k-符号付き彩色定義に従い、四色定理が符号付き平面グラフに拡張可能かどうかを調査すること。
• Mácajová、Raspaud、Škoviera の予想 [MRŠ16] に従い、すべての符号付き平面グラフが4-符号付き彩色可能かどうかを特定すること。
• Zhuの予想を介して、符号付きグラフ彩色と弱リスト彩色との関係を調査すること。
• Conjecture 1 の反例を構築し、4-符号付き彩色不能な符号付き平面グラフを同定すること。

提案手法

• 符号付き頂点彩色問題を、双対グラフ H における弱符号付き辺ラベル付け問題に変換し、辺ラベル {0, a, b} を用いる。
• 頂点の符号（正/負）と次数の偶奇に基づく弱符号付き辺ラベル付け条件を定義し、符号付き彩色制約と整合性を持つようにする。
• 符号付き平面グラフとその3連結平面双対グラフの双対性を用いて、彩色問題を双対上のラベル付け問題に再定式化する。
• Tutteのグラフに12個の負の頂点を含む反例を構築し、一貫性のある2因子が存在しないことを証明する。
• Tutteのフラグメントを適用し、特定の辺が一貫性のある2因子に含まれなければならないことを示し、中心辺を除外した場合に矛盾が生じることを導く。
• 一貫性のある2因子が存在しないことは、弱符号付き辺ラベル付けも存在しないことを示し、結果として4-符号付き彩色も存在しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 Mácajová、Raspaud、Škoviera のConjecture 1が示唆するように、すべての符号付き平面グラフが4-符号付き彩色可能であるか？
• RQ2 双対グラフに、弱符号付き辺ラベル付けの存在を妨げる構造的障害が存在するか？ これにより、符号付きグラフの4色予想が無効になるか？
• RQ3 双対グラフに一貫性のある2因子が存在しないような符号付き平面グラフを構築可能か？ これにより、k-符号付き彩色モデル下で非4彩色可能になるか？
• RQ4 k-符号付き彩色定義下で、非4彩色可能な符号付き平面グラフの最小サイズは何か？
• RQ5 3正則平面グラフに一貫性のある2因子が存在しないことは、弱符号付き辺ラベル付けの非存在を示唆するか？

主な発見

• 本論文は、61頂点の符号付き平面グラフを構築し、4-符号付き彩色不能であることを示し、Conjecture 1 を反証する。
• Tutteのグラフの負の頂点を7頂点のガジェットに置き換えることで、39頂点の非4彩色可能な符号付き三角形分割グラフを構築する。
• 構築されたグラフの双対は、12個の負の頂点を含む3連結3正則平面グラフであり、一貫性のある2因子を有さない。
• 一貫性のある2因子が存在しないことは、弱符号付き辺ラベル付けも存在しないことを示し、その結果、4-符号付き彩色も存在しないことを示す。
• この結果は、k-符号付き彩色モデル下で四色定理が符号付きグラフに一般化されないことを示している。
• これまでに知られている最小の非4彩色可能な符号付き平面グラフは39頂点であり、8個の負の頂点を含む非ハミルトン的3連結3正則平面グラフと7頂点の置換ガジェットから導出される。