[論文レビュー] A Criterion for Vertex Colorability of a Graph Stated in Terms of Edge Orientations

Yu. V. Matiyasevich|ArXiv.org|Dec 12, 2007

Color Science and Applications参考文献 1被引用数 6

ひとこと要約

この論文は、k色以内で頂点彩色可能なグラフかどうかを判定するための新しい基準を提示する。その基準は、kを法とする同値類内での辺の向きの偶奇と分布に基づく。このような彩色可能性は、l と k が互いに素であるような l に対して、大きさが異なる向きの同値類の隣接ペアが存在する場合に保証され、すべての such l に対してその差異が存在する場合に必要となる。この基準は、彩色解が少ないグラフに対して特に有効である。

ABSTRACT

L.M.Vitaver [1962] and G.I.Minty [1962] suggested criteria for vertex colorability of a graph in at most a given number of colors; these criteria are stated in terms of the orientation of the edges. One additional criterion of this kind is given here.

研究の動機と目的

• 特定の向きの構築に依存せず、代わりに向きの同値類の数え上げと比較に基づいて、グラフのk頂点彩色可能性を特徴づける新しい基準を開発すること。
• 従来の基準の限界（彩色可能性が特定の向きの存在に依存する）を克服し、向きの同値類の構造的性質に基づく基準を導入すること。
• 通常、最も困難で興味深いとされる彩色解が少ないグラフに対して、より効率的な基準を提供すること。
• ループや多重辺を含むグラフへ基準を拡張するために、向きの数え方のルールを調整すること。
• グラフの特性多項式の代数的性質と、有限体への還元および係数解析を通じて、その彩色可能性との関係を確立すること。

提案手法

• 各向きにおける頂点の出次数ベクトルに基づき、グラフの辺の向きに対してkを法とする同値関係を定義する。
• 「一致」という追加の同値関係を導入する。2つの向きが偶数個の辺の向きの違いを持つ場合に、それらが関係づけられ、kを法とする各同値類が2つの隣接する部分に分割される。
• 向きを代数的に表現するために、特性多項式 $ M_L(x_1, \dots, x_n) = \prod_{\overrightarrow{x_i x_j} \in \overrightarrow{U}^*} (x_i - x_j) $ を用いる。
• 単項式を $ x^k \equiv 1 $ を法として還元することで、kを法とする同値類に対応する形に変換する。
• 有限体 $ \mathrm{GF}(q) $（ここで $ q = p^t $）上で、還元された多項式 $ R^k_0[M_L(x_1, \dots, x_n)] $ の係数を分析し、隣接する部分クラス間の構造的差異を検出する。
• 有限体における非ゼロ係数の存在は、有効なk彩色の存在を示唆することを用い、有限体の性質とフェルマーの小定理を活用する。

実験結果

リサーチクエスチョン

• RQ1 頂点彩色可能性が、特別な向きの存在に基づくのではなく、すべての可能な向きの構造的性質に基づいて特徴づけられるか？
• RQ2 kを法とする同値類内での向きの分布にどのような条件が、k彩色の存在を保証するか？
• RQ3 kを法とする隣接する向きの同値類の基数が、k彩色の存在とどのように関係するか、特に異なる法 l を考慮した場合にどうなるか？
• RQ4 必要条件において、l と k が互いに素である条件がなぜ本質的か？
• RQ5 この基準は、ループや多重辺を含むグラフへ拡張可能か？その場合、向きの数え方はどのように変化するか？

主な発見

• ある l が k と互いに素である場合、kを法とする隣接する向きの同値類のサイズが、l を法として異なるならば、グラフはk彩色可能である。
• k が奇数の場合、少なくとも1つのkを法とする同値類に奇数個の向きが含まれるという条件が、必要十分条件である。
• 彩色解が少ないグラフに対してこの基準はより効率的であり、その理由は、潜在的な向きのペアの数が多いほど条件を満たす可能性が高いためである。
• 多項式 $ R^k_0[M_L(x_1, \dots, x_n)] $ が $ \mathrm{GF}(q) $ 上で恒等的にゼロであることは、グラフがk彩色を持たないことに同値であり、代数的性質と組合せ的彩色可能性を結びつける。
• ループ（各ループが2つの向きの選択肢をもつ）や多重辺を含むグラフに対しても、この基準は有効であり、表記および数え方のわずかな調整のみで成立する。
• 特定の向きの構築に依存せず、代わりに向きの同値類の全体的な数え上げとその差異を用いるため、スパarsなグラフや一意に彩色可能なグラフに対してもより頑健である。