[论文解读] About the structure of the integer cone and its application to bin packing

Klaus Jansen, Kim-Manuel Klein|arXiv (Cornell University)|Jan 16, 2017

Optimization and Packing Problems被引用 6

一句话总结

本文通过利用底层整数背包多面体的顶点，提出了一种新的整数锥结构定理，从而得到一个固定参数可满足的算法，其时间复杂度为 |V|²ᴼ⁽ᵈ⁾ · enc(I)ᴼ⁽¹⁾，其中 |V| 为顶点数量，d 为物品大小的数量。该结果表明当多面体顶点较少时可高效求解，且通过数论构造证明了界限的渐近紧致性。

ABSTRACT

We consider the bin packing problem with d different item sizes and revisit the structure theorem given by Goemans and Rothvos [5] about solutions of the integer cone. We present new techniques on how solutions can be modified and give a new structure theorem that relies on the set of vertices of the underlying integer polytope. As a result of our new structure theorem, we obtain an algorithm for the bin packing problem with running time |V|2O(d) · enc(I)O(1), where V is the set of vertices of the integer knapsack polytope and enc(I) is the encoding length of the bin packing instance. The algorithm is fixed parameter tractable, parameterized by the number of vertices of the integer knapsack polytope |V|. This shows that the bin packing problem can be solved efficiently when the underlying integer knapsack polytope has an easy structure, i.e. has a small number of vertices. Furthermore, we show that the presented bounds of the structure theorem are asymptotically tight. We give a construction of bin packing instances using new structural insights and classical number theoretical theorems which yield the desired lower bound.

研究动机与目标

• 通过利用底层整数背包多面体的顶点，重新表达装箱问题中整数锥解的结构。
• 开发一种新的算法框架，实现在背包多面体顶点数上的固定参数可满足性。
• 通过使用数论原理构造装箱实例，建立新结构定理的紧致渐近界限。
• 证明当底层整数背包多面体具有简单结构且顶点数较少时，装箱问题可被高效求解。

提出的方法

• 通过聚焦于整数背包多面体的顶点集 V 而非其他组合构造，重新表述整数锥解的结构。
• 引入新颖技术，在保持可行性和最优性的同时修改整数锥解，以支持结构分析。
• 设计一个运行时间为 |V|²ᴼ⁽ᵈ⁾ · enc(I)ᴼ⁽¹⁾ 的算法，使其在 |V| 上具有固定参数可满足性。
• 利用经典数论定理构造达到结构复杂度下限的装箱实例。
• 通过证明构造实例与结构定理的理论极限一致，证明界限的渐近紧致性。

实验结果

研究问题

• RQ1 能否利用底层整数背包多面体的顶点重新定义装箱问题中整数锥的结构？
• RQ2 当以背包多面体的顶点数为参数时，装箱问题的计算复杂度是多少？
• RQ3 在最坏情况实例构造下，新结构定理的界限有多紧？
• RQ4 能否使用数论构造生成达到结构复杂度理论下限的实例？
• RQ5 当整数背包多面体顶点数较少时，所提出的算法是否高效？

主要发现

• 本文建立了一个新的整数锥结构定理，其依赖于整数背包多面体的顶点集 V，相较于以往工作提供了更精细的刻画。
• 开发出一个运行时间为 |V|²ᴼ⁽ᵈ⁾ · enc(I)ᴼ⁽¹⁾ 的算法，证明了在 |V| 为参数时的固定参数可满足性。
• 通过构造达到理论极限的实例，证明了结构定理边界的渐近紧致性。
• 这些紧致实例的构造依赖于经典数论的深刻洞见，将组合优化与数论原理紧密联系起来。
• 结果表明，当底层整数背包多面体具有简单结构且顶点数较少时，装箱问题可被高效求解。