[论文解读] On Guillotine Separable Packings for the Two-Dimensional Geometric Knapsack Problem

Arindam Khan, Arnab Maiti+2 more|arXiv (Cornell University)|Jan 1, 2021

Optimization and Packing Problems参考文献 48被引用 1

一句话总结

本论文为在直切切割约束下（含与不含90度旋转）的二维几何背包问题提出了多项式时间的(1 + ε)-近似算法。核心贡献是一条结构引理，表明任何直切切割装箱方案均可转化为仅使用常数大小矩形框和L形区域的结构化装箱方案，从而通过贪心装箱与动态规划实现高效近似。

ABSTRACT

In two-dimensional geometric knapsack problem, we are given a set of n axis-aligned rectangular items and an axis-aligned square-shaped knapsack. Each item has integral width, integral height and an associated integral profit. The goal is to find a (non-overlapping axis-aligned) packing of a maximum profit subset of rectangles into the knapsack. A well-studied and frequently used constraint in practice is to allow only packings that are guillotine separable, i.e., every rectangle in the packing can be obtained by recursively applying a sequence of edge-to-edge axis-parallel cuts that do not intersect any item of the solution. In this paper we study approximation algorithms for the geometric knapsack problem under guillotine cut constraints. We present polynomial time (1+ε)-approximation algorithms for the cases with and without allowing rotations by 90 degrees, assuming that all input numeric data are polynomially bounded in n. In comparison, the best-known approximation factor for this setting is 3+ε [Jansen-Zhang, SODA 2004], even in the cardinality case where all items have the same profit. Our main technical contribution is a structural lemma which shows that any guillotine packing can be converted into another structured guillotine packing with almost the same profit. In this packing, each item is completely contained in one of a constant number of boxes and 𝖫-shaped regions, inside which the items are placed by a simple greedy routine. In particular, we provide a clean sufficient condition when such a packing obeys the guillotine cut constraints which might be useful for other settings where these constraints are imposed.

研究动机与目标

• 解决在实际直切切割约束下设计二维几何背包问题高效近似算法的挑战。
• 克服先前研究的局限性，即使在基数情形下也仅能达到3 + ε的近似因子。
• 为直切可分装箱方案设计多项式时间近似方案（PTAS），优于目前已知的最佳因子3 + ε。
• 提供直切装箱方案的清晰结构表征，以支持高效算法设计。
• 将方法扩展至处理物品可进行90度旋转的情形。

提出的方法

• 提出一条结构引理，将任意直切装箱方案转化为仅含常数个矩形框与L形区域的结构化形式。
• 在每个矩形框与L形区域内使用贪心装箱方法，以实现高收益，同时保持直切可分性。
• 在由物品尺寸导出的多项式大小候选容器尺寸集合上应用动态规划。
• 利用NFDH（首次适应递减高度）算法，在两阶段直切配置中高效装箱小物品。
• 通过容器缩小与舍入技术，在保持收益接近最优（1 - 3ε）的前提下减少不同容器类型的数量。
• 将上述组件整合为一个在输入数据多项式有界条件下运行时间多项式的时间复杂度的PTAS框架。

实验结果

研究问题

• RQ1 能否为在直切切割约束下的二维几何背包问题设计出(1 + ε)-近似算法？
• RQ2 直切装箱方案的哪些结构特性可被利用以设计高效近似算法？
• RQ3 如何在不显著损失收益的前提下减少不同容器类型的数量？
• RQ4 该方法能否扩展至处理物品的90度旋转？
• RQ5 何种条件可确保结构化装箱保持直切可分性？

主要发现

• 本论文在直切切割约束下实现了二维几何背包问题的(1 + ε)-近似，优于先前最佳因子3 + ε。
• 证明了一条结构引理，表明任何直切装箱方案均可重构为仅使用常数个矩形框与L形区域的装箱方案，且收益保持在原始值的(1 - O(ε))以内。
• 在所有输入数值（宽度、高度、收益）关于n多项式有界的假设下，该算法运行时间多项式。
• 该方法可扩展至包含90度旋转的情形，同时保持(1 + ε)-近似保证。
• 通过仔细的容器缩小与舍入，结构化装箱确保了直切可分性，同时保留了切割约束。
• 在两阶段配置中使用NFDH装箱方法，确保最终装箱方案为直切可分，并实现了接近最优的面积利用率。