[論文レビュー] 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)ᴼ⁽¹⁾ の実行時間で動作する固定パrameter可 tractable（FPT）なアルゴリズムが得られ、|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.

研究の動機と目的

• ビンパッキングの整数コーンにおける解の構造を、整数ナップサック多面体の頂点を用いて再定式化すること。
• ナップサック多面体の頂点数をパrameterとする固定パrameter可 tractable（FPT）なアルゴリズムフレームワークを構築すること。
• 数論的原則を用いたビンパッキングインスタンスの構築により、構造定理の境界が漸近的にタイトであることを確立すること。
• 整数ナップサック多面体の構造が単純で頂点が少ない場合、ビンパッキングが効率的に解けることを示すこと。

提案手法

• 整数コーンの解構造を、他の組合せ的構造ではなく、整数ナップサック多面体の頂点集合 V に焦点を当てることで再定式化する。
• 妥当性と最適性を保ちつつ整数コーンの解を変更するための新規技術を導入し、構造的解析を可能にする。
• |V|²ᴼ⁽ᵈ⁾ · enc(I)ᴼ⁽¹⁾ の実行時間で動作するアルゴリズムを設計し、|V| をパrameterとするFPT性を実証する。
• 古典的数論的定理を用いて、構造的複雑度の下界に達するビンパッキングインスタンスを構築する。
• 構築されたインスタンスが理論的限界と一致することを示すことにより、境界の漸近的タイトさを証明する。

実験結果

リサーチクエスチョン

• RQ1 ビンパッキングにおける整数コーンの構造は、その背後にある整数ナップサック多面体の頂点を用いて再定義可能か？
• RQ2 ナップサック多面体の頂点数をパrameterとする場合、ビンパッキングの計算量的複雑度はいかほどか？
• RQ3 構造定理の境界は、最悪ケースのインスタンス構築においてどの程度タイトか？
• RQ4 数論的構成を用いて、理論的下界に達するインスタンスを生成できるか？
• RQ5 整数ナップサック多面体の頂点が少ない場合、提案されたアルゴリズムは効率的か？

主な発見

• 本稿は、整数ナップサック多面体の頂点集合 V に依存する新しい構造定理を確立し、従来の研究よりも洗練された特徴付けを提供する。
• |V|²ᴼ⁽ᵈ⁾ · enc(I)ᴼ⁽¹⁾ の実行時間で動作するアルゴリズムが開発され、|V| をパrameterとするFPT性が証明された。
• 構造定理の境界は、理論的限界に一致するインスタンスの構築により、漸近的にタイトであることが示された。
• これらのタイトなインスタンスの構築には、古典的数論からの深い洞察が活用されており、組合せ最適化と数論的原則の間の関係が明らかになった。
• 整数ナップサック多面体の構造が単純で頂点が少ない場合、ビンパッキングが効率的に解けることが示された。