[論文レビュー] An Absolute 2-Approximation Algorithm for Two-Dimensional Bin Packing

Rolf Harren, Rob van Stee|ArXiv.org|Mar 13, 2009

Optimization and Packing Problems参考文献 13被引用数 3

ひとこと要約

本稿では、回転なしの2次元バインパッキングに対する多項式時間2近似アルゴリズムを提示する。これは、P = NPでない限り最適であると証明された絶対的最悪ケース比2を達成する。アルゴリズムは、Steinbergのストリップパッキング法、慎重なアイテム分類（ワイド、ハイ、スモール、ビッグ）、およびアイテムサイズと面積の境界に基づくケース別パッキング戦略を組み合わせることで、任意の入力に対して最適なバイン数の2倍を超えるバインを使用しないことを保証する。

ABSTRACT

We consider the problem of packing rectangles into bins that are unit squares, where the goal is to minimize the number of bins used. All rectangles have to be packed non-overlapping and orthogonal, i.e., axis-parallel. We present an algorithm for this problem with an absolute worst-case ratio of 2, which is optimal provided P != NP.

研究の動機と目的

• 漸近的性能に依存せず、絶対的最悪ケース比の保証を持つ2次元バインパッキングの多項式時間近似アルゴリズムを開発すること。
• 大規模な入力における漸近的近似比（入力が大きくなると改善する）と、小規模または中規模の入力における実用的性能のギャップを埋めること。
• 入力サイズに依存しない、すべての入力に対して有効な性能保証を提供するために、漸近比ではなく絶対的近似比に焦点を当てる。
• P ≠ NPを仮定すると、回転なしの2次元バインパッキングにおける2近似が最適であることを示すこと。
• ストリップパッキングおよび2段階パッキングに関する既知の結果を、絶対的性能保証を持つ一般バインパッキング問題へと拡張すること。

提案手法

• パッキング戦略を導くために、アイテムをワイド（幅 > 1/2）、ハイ（高さ > 1/2）、スモール（両方 ≤ 1/2）、ビッグ（両方 > 1/2）に分類する。
• 幾何的境界を用いて、面積制約を満たすように実行可能であることを保証するため、部分集合のアイテムをバインにパックするサブルーチンとしてSteinbergのアルゴリズムを用いる。
• 高さアイテムの総幅と幅アイテムの総高さに基づくケース分析を実施し、ワイドおよびハイアイテムを定義するための閾値δ ∈ (ε, 1/2]を用いる。
• OPT(I) ≥ k である場合、Bansalら[2]の漸近的アルゴリズムを用いる。OPT(I) < k である小規模なインスタンスについては、大きなアイテムを列挙し、ケース別パッキング戦略を適用する。
• コアアルゴリズムでは、面積とサイズ制約に従い、バインB₁、BᵢおよびC₁、C₂、...、Cₗにアイテムをパックする。小アイテムを集合間で反復的に移動させることで、実行可能性を維持する。
• 総パッキング面積と面積境界に基づく背理法による議論を用いて、正しさと停止性を証明し、すべてのアイテムが2·OPT(I)バイン以内にパックされることを保証する。

実験結果

リサーチクエスチョン

• RQ1 回転なしの2次元バインパッキングに対して、漸近的性能ではなく、すべての入力に対して性能を保証する2近似アルゴリズムを設計できるか？
• RQ2 2次元バインパッキングにおいて、絶対的近似比2を達成することは可能であり、これは標準的な計算複雑性仮定のもとで最適か？
• RQ3 Steinbergのストリップパッキングアルゴリズムをどのように変形・組み合わせし、絶対的性能保証を持つバインパッキングに応用できるか？
• RQ4 アイテム集合の構造的性質（例：ハイアイテムの総幅、ワイドアイテムの総高さ）は、性能が有界なケース別パッキング戦略を設計するためにどのように利用できるか？
• RQ5 最適なバイン数が小さい場合でも、すべての入力に対して最悪ケース比2を達成する多項式時間アルゴリズムを構築できるか？

主な発見

• 提案されたアルゴリズムは、絶対的最悪ケース近似比2を達成し、P = NPでない限りこれが最適である。
• アルゴリズムは多項式時間で実行され、任意の入力インスタンスに対して最適なバイン数の2倍を超えるバインを使用しないことを保証する。
• 正しさは背理法により証明され、2·OPT(I)バインを超える必要があると仮定すると、総面積境界に矛盾が生じることを示している。
• OPT(I) ≥ k であるインスタンスでは、Bansalら[2]の漸近的アルゴリズムを用い、小規模なインスタンスではケース別列挙とパッキング戦略により2近似を達成する。
• アイテムを分類し、幅と面積が有界な部分集合に対してSteinbergの手法を適用することで、小規模、大規模、混合のすべての入力タイプを処理する。
• 従来の漸近的アルゴリズムとは異なり、入力サイズに依存せずすべての入力に対して性能保証を提供する点で、先行研究を改善している。