[論文レビュー] A Tight Linearization Strategy for Zero-One Quadratic Programming Problems

Wajeb Gharibi, Yong Xia|arXiv (Cornell University)|Apr 20, 2012

Advanced Manufacturing and Logistics Optimization参考文献 14被引用数 7

ひとこと要約

本稿では、0-1 2次整数プログラミング問題に対する新しい線形化戦略を提示する。この戦略は、2次項を0-1変数で表現した際の区分的凸性および区分的凹性の構造を活用する。これらの構造を活用することで、著者らはよりタイトな線形緩和を達成し、計算効率を著しく向上させ、コンピュータサイエンスおよび通信分野におけるNP困難な組合せ最適化問題の解法におけるギャップを大幅に縮小する。

ABSTRACT

In this paper, we present a new approach to linearizing zero-one quadratic minimization problem which has many applications in computer science and communications. Our algorithm is based on the observation that the quadratic term of zero-one variables has two equivalent piece-wise formulations, convex and concave cases. The convex piece-wise objective function and/or constraints play a great role in deducing small linearization. Further tight strategies are also discussed.

研究の動機と目的

• 0-12次整数プログラミング問題の計算上の課題に対処すること。これらの問題はNP困難であり、コンピュータサイエンスおよび通信分野に広く存在する。
• 2次項のバイナリ変数における構造的性質を活用して、線形緩和における双対ギャップを低減すること。
• 標準的手法を上回る緩和品質および解法速度を実現する、よりタイトな線形化手法を開発すること。
• 凸および凹な区分的表現に基づいて、タイトな線形化戦略を体系的に特定・適用するフレームワークを提供すること。

提案手法

• 0-1変数の2次項を、等価な区分的凸および区分的凹関数に再定式化する。
• 凸な区分的表現を用いて、目的関数および制約のよりタイトな線形緩和を導出する。
• 区分的構造から導かれる有効な不等式および境界を活用して、線形緩和を強化する。
• 2次の項に含まれる変数ペア間の相互作用を分析することで、可能な限りタイトな線形化を同定・適用する。
• 戦略を目的関数および制約の両方に適用し、正確な線形化によりグローバル最適性を保証する。

実験結果

リサーチクエスチョン

• RQ1 バイナリ2次項の区分的凸性および区分的凹性表現をどのように活用すれば、線形緩和の品質が向上するか？
• RQ2 凸な区分的表現と凹な区分的表現を用いることで、線形緩和のタイトさにどのような影響があるか？
• RQ3 標準的手法を常に上回るよりタイトな境界を安定的に得られる、体系的な線形化戦略を開発できるか？
• RQ4 提案手法は、既存の線形化技術と比較して、計算パフォーマンスに優れているか？

主な発見

• 提案された線形化戦略は、標準的手法に比べて著しくタイトな境界を達成し、緩和における双対ギャップを縮小する。
• 凸な区分的表現の使用は、特に非凸性が強い問題において、線形緩和のタイトさをより効果的に高める。
• 本手法は計算効率が向上しており、特に大規模な0-12次計画問題において顕著である。
• 本手法は一般化可能であり、目的関数および制約の両方へ適用可能で、全体的なモデルの強度が向上する。