[论文解读] Test Sets for Integer Programs with Z-Convex Objective

Raymond Hemmecke|ArXiv.org|Sep 8, 2003

Advanced Optimization Algorithms Research参考文献 8被引用 6

一句话总结

该论文通过使用Graver基构造有限且可计算的测试集，将测试集方法从整数线性规划扩展到具有ℤ-凸目标函数的整数规划。证明了扩展矩阵的投影Graver基可为任意非最优解提供改进方向，从而实现对更广泛类别的整数规划（包括二次和非光滑问题）的增广算法。

ABSTRACT

In this paper we extend test set based augmentation methods for integer linear programs to programs with more general convex objective functions. We show existence and computability of finite test sets for these wider problem classes by providing an explicit relationship to Graver bases. One candidate where this new approach may turn out fruitful is the Quadratic Assignment Problem.

研究动机与目标

• 将测试集方法从整数线性规划推广至处理ℤ-凸目标函数。
• 建立具有ℤ-凸目标函数的整数规划的有限测试集的存在性与可计算性。
• 提供一种基于扩展问题矩阵Graver基生成改进方向的构造性方法。
• 展示该方法在如二次分配问题等复杂问题中的适用性。
• 在单一算法框架下统一处理非线性、非光滑及凸整数规划问题。

提出的方法

• 通过引入二值变量来建模ℤ-凸函数的分段线性结构，构建扩展整数规划。
• 利用扩展问题矩阵的Graver基生成改进方向。
• 通过投影算子φₙ将Graver基元素投影回原始变量空间。
• 将测试集H_CIP(A,C)定义为矩阵(A | 0; C | Iₛ)的Graver基的投影。
• 利用ℤ-凸函数具有递增差分的性质，支持离散凸分析。
• 应用变换将任意最小值位于α的ℤ-凸函数转化为最小值位于0的函数。

实验结果

研究问题

• RQ1 能否为具有ℤ-凸目标函数的整数规划构造有限测试集？
• RQ2 是否存在系统性方法，利用Graver基为非线性整数规划生成改进方向？
• RQ3 增广方法能否在保持有限收敛性的同时扩展至线性目标函数之外？
• RQ4 ℤ-凸函数的结构与通用测试集存在性之间有何关系？
• RQ5 扩展形式的Graver基与原问题测试集之间存在何种关系？

主要发现

• 对于任意具有ℤ-凸目标函数的整数规划，有限测试集H_CIP(A,C)存在且可计算。
• 测试集H_CIP(A,C)作为扩展矩阵(A | 0; C | Iₛ)的Graver基的投影而导出。
• 任何非最优可行解均可通过H_CIP(A,C)中的向量得到改进，从而确保收敛至最优解。
• 该方法可推广至非光滑及非二次ℤ-凸函数，如绝对值函数和指数函数。
• 测试集包含A的原始Graver基，确保与整数线性规划的兼容性。
• 该方法可通过增广算法求解如二次分配问题等复杂问题。