[论文解读] 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 $ 可变。该间隙通过从 Gröbner 基技术导出的单项式理想的不可约分解来计算，该方法在固定维度下可实现多项式时间计算，并应用于列联表和硬币兑换问题。

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 $ 固定时，该间隙可在多项式时间内计算。
• 分析间隙函数 $ { m gap}(A,c) $ 作为 $ \mathbb{R}^n $ 上的分段线性函数的结构。
• 将该框架应用于统计问题，如高维列联表与多维运输问题。

提出的方法

• 将非最优整数解表示为单项式，并从整数规划的 Gröbner 基生成单项式理想 $ M(A,c) $。
• 使用单项式理想理论，将 $ M(A,c) $ 分解为其唯一的不可约分量。
• 对每个不可约分量 $ I $，通过一个辅助线性规划（公式 3）计算间隙值，该规划最大化整数解与连续解之间的差异。
• 证明整体间隙 $ { m gap}(A,c) $ 等于这些分量间隙值的最大值，从而确立定理 1.1。
• 利用 Barvinok 的短有理生成函数，证明当 $ d $ 和 $ n $ 固定时，该间隙可在多项式时间内计算，如定理 1.2 所述。
• 将 Gröbner 范围细化为“间隙范”（gap fan），使得 $ { m gap}(A,c) $ 在该精细范的每个锥上为线性函数，如定理 5.1 和推论 5.2 所形式化。

实验结果

研究问题

• RQ1 在给定固定的 $ A $ 和 $ c $ 时，对所有可行的右侧向量 $ b $，最优整数解与线性规划松弛解之间的最大可能差异是多少？
• RQ2 如何利用代数几何与 Gröbner 基理论，精确计算这一最大间隙？
• 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 $ 的二进制编码长度的多项式时间内计算，如定理 1.2 所述。
• 间隙函数 $ { m gap}(A,c) $ 是 $ \mathbb{R}^n $ 上的分段线性函数，其线性区域构成一个称为“间隙范”的精细扇形，该扇形是 Gröbner 范围的粗化。
• 在包含便士、五美分硬币、一角硬币和二十五美分硬币的硬币兑换示例中，间隙为 $ 76/15 \approx 5.0667 $，在 $ b = (114, 10) $ 处取得，此时最优整数解与连续解之间的差异即为此值。
• 间隙范细化了 Gröbner 范围，其中一个锥被超平面 $ 305p - 135n - 308d + 138q = 0 $ 分割，从而将区域划分为 $ \langle p^5, n^3 \rangle $ 和 $ \langle n^6, d^4, q \rangle $ 分别为优势分量的区域。