[論文レビュー] 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

ひとこと要約

本稿では、グリーンチンカット制約下での2次元幾何的ナップサック問題に対して、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.

研究の動機と目的

• 実用的なグリーンチンカット制約下での2次元幾何的ナップサック問題に対する効率的な近似アルゴリズムの設計という課題に取り組む。
• 先行研究では、基数制限下ですら3 + εの近似因子にとどまっていたという制限を克服する。
• グリーンチン分離可能なパッキングに対して、多項式時間近似スキーム（PTAS）を構築し、これまでの最良の3 + εの近似因子を改善する。
• グリーンチンパッキングの明確な構造的特徴づけを提供し、効率的なアルゴリズム設計を可能にする。
• アイテムの90度回転を許容する場合の両ケースに対応できるようにアプローチを拡張する。

提案手法

• 任意のグリーンチンパッキングを、定数サイズのボックスとL字型領域を用いた構造化された形に変換する構造的補題を導入する。
• 各ボックスおよびL字型領域内に貪欲法によるパッキング手順を適用し、グリーンチン分離性を保ちつつ高い利益を達成する。
• アイテムサイズに基づいて導出される多項式サイズの候補容器サイズの集合に対して動的計画法を適用する。
• 小さなアイテムを2段階グリーンチン構成で効率的にパックするために、NFDH（次に適する減少高さ）アルゴリズムを活用する。
• コンテナの縮小と丸め処理技術を用いて、異なるコンテナタイプの数を削減しつつ、最適解の(1 - 3ε)以内の利益を維持する。
• これらの要素を統合し、入力データが多項式的に有界であるという仮定の下で多項式時間で実行可能なPTASフレームワークを構築する。

実験結果

リサーチクエスチョン

• RQ1 グリーンチンカット制約下での2次元幾何的ナップサック問題に対して、(1 + ε)-近似アルゴリズムを設計可能か？
• RQ2 効率的な近似アルゴリズムの設計に活かせる、グリーンチンパッキングのどのような構造的性質が利用可能か？
• RQ3 利益の損失を著しく小さく抑えつつ、異なるコンテナタイプの数をどのように削減できるか？
• RQ4 このアプローチは、アイテムの90度回転を許容する場合に拡張可能か？
• RQ5 構造化されたパッキングがグリーンチン分離性を保つために満たすべき条件は何か？

主な発見

• 本稿では、グリーンチンカット制約下での2次元幾何的ナップサック問題に対して、(1 + ε)-近似が達成され、従来の最良の3 + εの近似因子を改善した。
• 任意のグリーンチンパッキングが、定数個のボックスとL字型領域に配置された構造化されたパッキングに再構成可能であるという構造的補題が証明された。この変換により、元のパッキングの利益の(1 - O(ε))以内を維持する。
• 入力のすべての数値（幅、高さ、利益）がnに対して多項式的に有界であるという仮定の下で、アルゴリズムは多項式時間で実行可能である。
• 90度回転を許容する場合にも、(1 + ε)-近似保証が維持されるように、アプローチを拡張可能である。
• コンテナの縮小と丸め処理を慎重に実施することで、構造化されたパッキングがグリーンチン分離性を保つ。
• 2段階構成におけるNFDHパッキングの活用により、最終的なパッキングがグリーンチン分離可能であり、面積のほぼ最適利用が達成される。