[論文レビュー] Edge-coloring via fixable subgraphs

Daniel W. Cranston, Landon Rabern|arXiv (Cornell University)|Jul 20, 2015

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

ひとこと要約

本稿は、'fixability'（修復可能性）の概念を用いて、辺彩色における還元可能性を統一的に証明する枠組みを導入し、計算機支援による還元可能な構成の体系的同定を可能にする。多価星におけるfixabilityのための十分条件として過剰性（superabundance）が成立することを確立し、木構造に対しても同様の十分条件であると予想する。これにより、計算的証拠に基づいた人間が理解可能な辺彩色定理の証明への道筋が示される。

ABSTRACT

Many graph coloring proofs proceed by showing that a minimal counterexample to the theorem being proved cannot contain certain configurations, and then showing that each graph under consideration contains at least one such configuration; these configurations are called \emph{reducible} for that theorem. (A \emph{configuration} is a subgraph $H$, along with specified degrees $d_G(v)$ in the original graph $G$ for each vertex of $H$.) We give a general framework for showing that configurations are reducible for edge-coloring. A particular form of reducibility, called \emph{fixability}, can be considered without reference to a containing graph. This has two key benefits: (i) we can now formulate necessary conditions for fixability, and (ii) the problem of fixability is easy for a computer to solve. The necessary condition of \emph{superabundance} is sufficient for multistars and we conjecture that it is sufficient for trees as well, which would generalize the powerful technique of Tashkinov trees. Via computer, we can generate thousands of reducible configurations, but we have short proofs for only a small fraction of these. The computer can write \LaTeX\ code for its proofs, but they are only marginally enlightening and can run thousands of pages long. We give examples of how to use some of these reducible configurations to prove conjectures on edge-coloring for small maximum degree. Our aims in writing this paper are (i) to provide a common context for a variety of reducible configurations for edge-coloring and (ii) to spur development of methods for humans to understand what the computer already knows.

研究の動機と目的

• 辺彩色の証明における多様な還元可能な構成を、一つの理論的枠組みに統合すること。
• 含むグラフに依存しない、固定可能な部分グラフを特定する計算的に扱いやすい手法の開発。
• fixabilityの計算機による証明と、人間が理解可能な還元の間の溝を埋めること。
• fixabilityと過剰性を用いて、長年の予想である辺彩色に関する予想を証明する基盤を提供すること。
• fixable構成に関する計算的知見に基づいた、人間が読みやすい証明の開発を促進すること。

提案手法

• fixabilityを、含むグラフとは独立した、リスト割り当てと色集合を持つグラフの性質として定義し、抽象的解析を可能にする。
• 部分彩色がどのように完全彩色に拡張できるかを形式化するため、二人対戦型ゲームモデルを用いる。
• 多価星および木構造におけるfixabilityの必要条件であり、予想では十分条件である「過剰性（superabundance）」の概念を導入する。
• Kempe変更を用いて色付け可能または修正可能なリスト割り当てを段階的に特定することで、k-fixabilityをテストする下向きの動的計画法を実装する。
• 色の置換による削減とメモ化を用いて、リスト割り当ての空間とKempe変更戦略を効率的に探索する。
• 証明のためのLaTeXコードを生成するが、これらはしばしば長く人間が容易に解釈できない。

実験結果

リサーチクエスチョン

• RQ1 fixabilityは、含むグラフに依存しない形で定義可能であり、辺彩色における還元可能な構成の一般枠組みを提供できるか？
• RQ2 過剰性はすべての木構造におけるfixabilityの十分条件であるか？これはTashkinov木法の一般化であるか？
• RQ3 計算機が生成したfixable構成のリストを、短く人間が読みやすい証明に変換できるか？
• RQ4 fixabilityに基づく手法が、VizingやWoodallの予想といった既知の予想をどの程度まで証明できるか？
• RQ5 fixability枠組みは、既存の辺彩色証明における還元性技術を統合・拡張できるか？

主な発見

• 多価星では、過剰性がfixabilityの十分条件であることが示され、還元可能な構成を特定する明確な基準が得られる。
• 著者らは、過剰性が木構造に対してもfixabilityの十分条件であると予想しており、これはTashkinov木法の一般化を意味する。
• 計算機は数千ものfixable構成を生成できるが、そのうち短く人間が読みやすい証明を有するものはごくわずかである。
• k-fixabilityをテストするアルゴリズムは、動的計画法とメモ化を用いて、リスト割り当てとKempe変更戦略の空間を効率的に探索する。
• 予想4.3と予想4.1が成立すれば、Δ-臨界グラフの平均次数に関するVizing予想の改善が示唆される。
• この枠組みにより、fixable構成を用いてWoodallの独立集合数および平均次数に関する境界を証明する道筋が得られる。