[論文レビュー] VPSolver 3: Multiple-choice Vector Packing Solver

Filipe Brandão|arXiv (Cornell University)|Feb 16, 2016

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

ひとこと要約

本稿は、VPSolver 3.0.0における複数選択型ベクトルパッキング問題のための新しいグラフ構築および圧縮アルゴリズムを導入し、1回の実行で全バインタイプとアイテムの化身を統合した圧縮されたアーク・フロー・モデルを効率的に生成することを可能にする。この手法は、従来のアプローチと比較してモデルサイズと計算時間を顕著に削減する一方で、強い線形緩和境界を維持する。

ABSTRACT

VPSolver is a vector packing solver based on an arc-flow formulation with graph compression. In this paper, we present the algorithm introduced in VPSolver 3.0.0 for building compressed arc-flow models for the multiple-choice vector packing problem.

研究の動機と目的

• 1回のモデルで全バインタイプとアイテムの化身を統合する、複数選択型ベクトルパッキング問題（MVP）のより効率的なグラフ構築手法の開発。
• 動的計画法を活用したグラフ圧縮により、MVPのアーク・フロー・モデルのサイズと計算コストを低減すること。
• 複数のバインタイプにわたる全有効パッキングパターンを1回のパスで構築できる、従来のアーク・フロー定式化の改善。
• 以前に示された最大ギャップ1.0027の強力な線形緩和境界を維持しながら、スケーラビリティとパフォーマンスを向上させること。
• 多様な応用分野をカバーできる、スケーラブルで汎用的なMVPソルバの提供（ベクトルパッキングへの還元を伴い）。

提案手法

• 空間使用量（各次元ごと）、アイテムインデックス、使用回数を基に動的計画法の再帰を用いて状態を生成し、状態空間の利用を最大化するためのラiftingを実施。
• 各パスが有効なパッキングパターンを表す有向無閉路多重グラフを構築し、アークにはアイテムの化身と重みをラベル付ける。
• 最終段階の圧縮処理で、集約された状態ベクトルを用いてノードを再ラベル付けし、自己ループを削除することでグラフサイズを縮小しながら有効パスを保持。
• 内部ノードをターゲットノードへ接続する際に、支配されないバインタイプにのみ接続するトランスティティブリダクションを適用し、冗長なアークを最小限に抑える。
• 従来の研究とは異なり、全バインタイプのグラフ構築を1回の実行で統合し、各バインタイプごとに別々のグラフを生成する必要を排除。
• 未使用容量をモデル化するためのロスアーク（0,0）を統合し、フロー定式化のためのフィードバックループ（ターゲットからソースへ）を可能にする。

実験結果

リサーチクエスチョン

• RQ1 複数選択型ベクトルパッキング問題において、全バインタイプとアイテムの化身を1つの統合されたアーク・フロー・グラフとして構築することは可能か？
• RQ2 グラフ圧縮を効果的に適用することで、ギルモア＝ゴメリー定式化と同等のモデルサイズを維持しながら、モデルサイズを縮小できるか？
• RQ3 トランスティティブリダクションは、複数のバインタイプにわたる内部ノードからターゲットノードへの接続に必要なアーク数にどのような影響を与えるか？
• RQ4 従来のバインタイプごとの別個グラフ構築法と比較して、新しいアルゴリズムのパフォーマンスとモデルサイズはどの程度向上するか？
• RQ5 新しい手法は、従来のアーク・フロー定式化で観察された強い線形緩和特性をどの程度維持できるか？

主な発見

• 1つのバインタイプと1つのアイテム化身のみがある場合、新しいアルゴリズムは元の手法と同一の圧縮グラフを生成する。
• 複数のバインタイプがある場合、アルゴリズムは1回の実行で全バインタイプにわたる全有効パッキングパターンを含む1つのグラフを構築し、複雑さを低減する。
• 通常、別々のグラフを各バインタイプごとに構築する従来手法よりも、グラフが小さくなるため、メモリ効率が向上する。
• 特にバインタイプ数が多いインスタンスでは、従来手法よりも著しく高速に動作する。
• アーク・フロー定式化はギルモア＝ゴメリーモデルと同等であり、最大絶対ギャップ1.0027の強い線形緩和境界を維持する。
• トランスティティブリダクションの適用により、特に変動するバインサイズ問題では、内部ノードからターゲットノードへの接続に必要なアーク数が削減され、1ノードあたり1本のアークで十分なケースも存在する。