[論文レビュー] Computing the Integer Programming Gap

Serkan Hoşten, Bernd Sturmfels|ArXiv.org|Jan 23, 2003

Commutative Algebra and Its Applications参考文献 11被引用数 4

ひとこと要約

本稿では、制約行列 $ A $ と目的関数係数ベクトル $ c $ が固定されているが右辺 $ b $ が変化する場合の整数計画法の最適値とその線形計画緩和の最適値の最大ギャップを正確に求める公式を提示する。ギャップは、グレブナー基底技術から導かれる単項式イデアルの不可約分解を用いて計算され、固定された次元に対して多項式時間で計算可能であり、連関表や硬貨交換問題への応用を含む。

ABSTRACT

We determine the maximal gap between the optimal values of an integer program and its linear programming relaxation, where the matrix and cost function are fixed but the right hand side is unspecified. Our formula involves irreducible decomposition of monomial ideals. The gap can be computed in polynomial time when the dimension is fixed.

研究の動機と目的

• 右辺 $ b $ が変化する際、固定された $ A $ と $ c $ に対する整数計画法と線形計画緩和の最適値の最大ギャップを特定すること。
• 単項式イデアルと不可約分解を用いた整数計画法ギャップの正確な代数的公式を提供すること。
• 次元 $ d $ が固定されている場合、ギャップが多項式時間で計算可能であることを確立すること。
• $ \mathbb{R}^n $ 上の分岐線形関数としてのギャップ関数 $ { m gap}(A,c) $ の構造を分析すること。
• この枠組みを、高次元連関表や多次元輸送問題を含む統計的問題への応用に適用すること。

提案手法

• 非最適な整数解を単項式として表現し、整数計画法のグレブナー基底から単項式イデアル $ M(A,c) $ を生成する。
• 単項式イデアル理論を用いて $ M(A,c) $ をその一意な不可約成分に分解する。
• 各不可約成分 $ I $ に対して、整数解と連続解の差を最大化する補助線形計画問題 (3) を用いてギャップ値を計算する。
• 全体のギャップ $ { m gap}(A,c) $ がこれらの成分ギャップ値の最大値に等しいことを証明し、定理 1.1 を確立する。
• バーヴィノクの短い有理生成関数を用いて、$ d $ と $ n $ が固定されている場合に多項式時間で計算可能であることを示し、定理 1.2 に従う。
• グレブナー・ファンを「ギャップ・ファン」として精緻化し、$ { m gap}(A,c) $ がこの精緻化されたファンの各錐上で線形であることを示し、定理 5.1 および推論 5.2 に形式化する。

実験結果

リサーチクエスチョン

• RQ1 固定された $ A $ と $ c $ に対して、すべての可能な右辺 $ b $ に対して整数計画法の最適解と線形計画緩和の最適解の差の最大値は何か？
• RQ2 代数幾何学とグレブナー基底理論を用いて、この最大ギャップを正確に計算する方法は何か？
• RQ3 ギャップ関数 $ { m gap}(A,c) $ は分岐線形関数であるか？ もしそうならば、その定義域の分割構造はどのようなものか？
• RQ4 次元 $ d $ が固定されている場合、ギャップは多項式時間で計算可能か？
• RQ5 ギャップ関数はコスト係数空間 $ \mathbb{R}^n $ の異なる領域でどのように変化するか？

主な発見

• 整数計画法のギャップ $ { m gap}(A,c) $ は、単項式イデアル $ M(A,c) $ のすべての不可約成分におけるギャップ値の最大値に等しく、定理 1.1 に形式化されている。
• $ M(A,c) $ が平方自由単項式によって生成されるときかつそのときに限り、ギャップはゼロである。これは整数性ギャップがないことを示している。
• $ d $ と $ n $ が固定されている場合、$ A $ と $ c $ の2進符号化に対して多項式時間でギャップを計算可能である。これは定理 1.2 に述べられている。
• ギャップ関数 $ { m gap}(A,c) $ は $ \mathbb{R}^n $ 上で分岐線形関数であり、線形領域は「ギャップ・ファン」と呼ばれる精緻化されたファンを形成する。これはグレブナー・ファンの粗い化である。
• ペニー、ニーケル、ディム、クォーターを用いた硬貨交換の例では、ギャップは $ 76/15 \approx 5.0667 $ であり、$ b = (114, 10) $ で達成される。この点で整数解と連続解の最適値の差はこの値に等しい。
• ギャップ・ファンはグレブナー・ファンを精緻化しており、1つの錐が超平面 $ 305p - 135n - 308d + 138q = 0 $ によって分割され、$ \langle p^5, n^3 \rangle $ と $ \langle n^6, d^4, q \rangle $ が勝者となる成分である領域が分割されている。