[論文レビュー] Gröbner Bases and Nullstellensätze for Graph-Coloring Ideals

Jesús A. De Loera, Susan S. Margulies+6 more|arXiv (Cornell University)|Oct 24, 2014

Commutative Algebra and Its Applications参考文献 20被引用数 3

ひとこと要約

この論文は、グラフk彩色可能性を表現する多項式イデアルに対するグレブナー基底とヌルスティルンサツ証明の計算複雑性を調査する。一般のグラフでは証明が次第に複雑化するが、弦的グラフに対しては完全な消去順序を活用して明示的なグレブナー基底を構成する多項式時間アルゴリズムを提示する。

ABSTRACT

We revisit a well-known family of polynomial ideals encoding the problem of graph-$k$-colorability. Our paper describes how the inherent combinatorial structure of the ideals implies several interesting algebraic properties. Specifically, we provide lower bounds on the difficulty of computing Gröbner bases and Nullstellensatz certificates for the coloring ideals of general graphs. For chordal graphs, however, we explicitly describe a Gröbner basis for the coloring ideal, and provide a polynomial-time algorithm.

研究の動機と目的

• グラフk彩色のイデアルに対するグレブナー基底とヌルスティルンサツ証明の本質的代数的複雑性を理解すること。
• これらの代数的対象の効率的計算を可能にするグラフの構造的性質を同定すること。
• 一般のグラフに対するヌルスティルンサツ証明の次数とグレブナー基底計算の下界を確立すること。
• 弦的グラフがその組合せ的構造のおかげでグレブナー基底の計算に多項式時間アルゴリズムを備えていることを示すこと。
• 非k彩色可能性が基底構築の過程で定数多項式1の出現によって検出されることを示すこと。

提案手法

• 頂点と辺の多項式を用いる：頂点に対しては $\nu_i = x_i^k - 1$ を、辺に対しては $\eta_{i,j} = \sum_{l=0}^{k-1} x_i^l x_j^{k-1-l}$ を使用する。
• 弦的グラフに対しては、完全な消去順に基づく辞書式項順序を用いてブッハバーゲルのアルゴリズムを適用する。
• 消去順序に従って各頂点 $v_i$ に対して多項式 $S_{k-|U_i|}(U_i, v_i)$ を追加することで、グレブナー基底を段階的に構築する。
• 既存の基底要素と相対的に素であることが保証されるため、$\text{LM}_{\succ'}(p) = x_{n+1}^{k-r}$ が、$S$-多項式が0に簡約されることを保証する。
• 各新しい多項式が単体的頂点の近傍から導出される再帰的構成を用いる。
• 基底構築の過程で次数0の多項式 $S_0 = 1$ が検出されると、非k彩色性が信号として送出される。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフのk彩色イデアルに対するヌルスティルンサツ証明の最小次数は何か？また、色数に伴いどのように増加するか？
• RQ2 グラフ彩色問題の近似困難性は、彩色イデアルのグレブナー基底計算の困難性に移行可能か？
• RQ3 弦的グラフの構造は、k彩色イデアルのグレブナー基底を多項式時間で計算可能にするか？
• RQ4 弦的グラフにkクリークが存在する場合、グレブナー基底の計算と非k彩色性の検出にどのような影響を与えるか？
• RQ5 アルゴリズムは基底構築プロセス中に非k彩色性を検出可能か？その条件は何か？

主な発見

• 一般のグラフでは、k彩色イデアルに対するヌルスティルンサツ証明の最小次数は色数に比例して少なくとも線形に増加し、モジュラー制約を満たす。
• 大きな部分集合の生成子を無視しても、k彩色イデアルのグレブナー基底を計算することはNP困難であることが示され、強固な困難性が裏付けられる。
• 弦的グラフでは、完全な消去順序を用いて、$O(kn^{k+2})$ の多項式時間でk彩色イデアルのグレブナー基底を計算可能である。
• アルゴリズムは各頂点ごとに1つの多項式を追加することでグレブナー基底を明示的に構築し、次数と長さが二項係数で有界である。
• 非k彩色性はリアルタイムで検出可能：頂点の次数が $\geq k$ であれば、アルゴリズムは定数多項式1を追加し、有効な彩色が存在しないことを示唆する。
• 弦的グラフのグレブナー基底は、単体的消去順から導かれる明確な組合せ的構造を持つため、効率的な計算と非彩色性の検出が可能である。