[论文解读] N-Fold Integer Programming

Jesús A. De Loera, Raymond Hemmecke+2 more|ArXiv.org|May 9, 2006

Optimization and Packing Problems参考文献 12被引用 7

一句话总结

本文证明了n重整数规划——一类具有特定块状角结构、由n个相同块通过耦合约束连接而成的整数规划问题——可在多项式时间内求解。该方法结合了通过Graver基的定向增强与n重矩阵Graver基的稳定化，为高维多路运输问题和切割-stock问题提供了高效算法。

ABSTRACT

In this article we study a broad class of integer programming problems in variable dimension. We show that these so-termed {\em n-fold integer programming problems} are polynomial time solvable. Our proof involves two heavy ingredients discovered recently: the equivalence of linear optimization and so-called directed augmentation, and the stabilization of certain Graver bases. We discuss several applications of our algorithm to multiway transportation problems and to packing problems. One important consequence of our results is a polynomial time algorithm for the $d$-dimensional integer transportation problem for long multiway tables. Another interesting application is a new algorithm for the classical cutting stock problem.

研究动机与目标

• 解决多路运输和列联表中出现的高维整数规划问题的计算复杂性。
• 为n重整数规划（一类变量维数但具有结构化块约束的问题）开发多项式时间算法。
• 利用先进的代数与组合技术，将已知的固定维数整数规划结果推广至可变维数。
• 为长期多路运输问题和经典的切割-stock问题提供高效解法。
• 建立一个求解具有任意耦合矩阵的广义n重整数规划问题的通用框架。

提出的方法

• 利用线性优化与定向增强之间的等价性，通过Graver基元素迭代改进解。
• 应用n重矩阵Graver基的稳定化，证明n重矩阵的Graver基可通过有限个基映射在多项式时间内计算。
• 将n重矩阵[A,B]^(n)构造为结合单位矩阵块与系数块的块状结构矩阵，以建模耦合约束。
• 采用两阶段算法：首先通过含人工变量的辅助n重规划找到可行解，然后通过Graver基增强进行优化。
• 将广义n重问题简化为一系列定向增强步骤，每个步骤均可通过预计算的Graver基在多项式时间内求解。
• 证明n重矩阵的Graver基在有限组变换下保持稳定，从而可通过有限个映射实现高效计算。

实验结果

研究问题

• RQ1 尽管具有高维性，n重整数规划问题（其维数为变量nq）是否可在多项式时间内求解？
• RQ2 n重矩阵Graver基的稳定化是否能实现其在多项式时间内高效计算？
• RQ3 定向增强框架能否应用于n重规划，以确保在多项式时间内收敛至最优解？
• RQ4 对于固定或可变维数下的长表多路运输问题（即多层结构），其算法影响是什么？
• RQ5 能否利用所提出的n重框架在多项式时间内求解经典切割-stock问题？

主要发现

• 对于任意固定的整数矩阵A，n重整数规划问题可在多项式时间内求解，其输入规模由n以及b和c的位大小定义。
• 存在一个针对具有长多路表格的d维整数运输问题的多项式时间算法，解决了其计算复杂性问题。
• 具有任意耦合矩阵A和B的广义n重整数规划问题可在多项式时间内求解，扩展了定理1.1。
• n重矩阵[A,B]^(n)的Graver基可通过有限个映射φ_{k1,k2}在多项式时间内计算，如定理4.2所形式化。
• 该算法能正确判断可行性、无界性，或在多项式时间内返回最优解，且无误报或漏报。
• 该方法通过将经典切割-stock问题建模为广义n重整数规划，提供了一种新的多项式时间算法。