[論文レビュー] Intersection Cuts for Nonlinear Integer Programming: Convexification Techniques for Structured Sets

Sina Modaresi, Mustafa R. Kılınç+1 more|arXiv (Cornell University)|Feb 11, 2013

Advanced Optimization Algorithms Research被引用数 6

ひとこと要約

この論文は、構造的非多面体集合の凸化技術を開発することで、混合整数線形プログラミングにおけるスプリット、k-ブランチスプリット、およびインターセクションカットを非線形整数プログラミングへ一般化する。2つの幾何的技法—補間と集合化—を導入し、単一の二次不等式で定義される集合に対して、閉形式で表現され、射影され、クラスを保つ凸包の特徴付けを可能にし、円錐的および二次的集合に対する強力な有効不等式を提供する。

ABSTRACT

We study the generalization of split, k-branch split, and intersection cuts from Mixed Integer Linear Programming to the realm of Mixed Integer Nonlinear Programming. Constructing such cuts requires calculating the convex hull of the difference between a convex set and an open set with a simple geometric structure. We introduce two techniques to give precise characterizations of such convex hulls and use them to construct split, k-branch split, and intersection cuts for several classes of non-polyhedral sets. In particular, we give simple formulas for split cuts for essentially all convex sets described by a single quadratic inequality. We also give simple formulas for k-branch split cuts and some general intersection cuts for a wide variety of convex quadratic sets.

研究の動機と目的

• 非多面体的かつ非凸な集合の凸包を特徴づけることが困難であるMINLPへの強力なカット平面の拡張という課題に取り組む。
• SDPなどのリフト表現の制限を克服し、元の空間における射影的かつクラスを保つ凸包記述を求める。
• 複雑な代数的幾何学に依存せずに、非線形集合に対するスプリット、k-ブランチスプリット、およびインターセクションカットを生成する実用的で閉形式の手法を開発する。
• 幾何的対称性とアフィン不変性を活用して、単一の円錐的または二次不等式で定義される凸集合に対して強力なカットを体系的に構築するフレームワークを提供する。
• ユークリッドノルムの対称性が、信頼領域およびラティス問題に関連する広範な二次的集合クラスにおいて一般化可能なカット構築を可能にする。

提案手法

• 凸集合と半空間の差の凸包を特徴づける補間技法を導入し、スプリットおよびk-ブランチスプリットカットの生成を可能にする。
• MIRカットにインspiredされた2段階的手順を採用：まずR²で2つの単純な凸集合を用いて基本的なカノニカルカットを構築し、次にアフィン変換を適用して高次元に一般化する。
• 補間法を円錐二次的集合に適用し、ユークリッドノルムの構造と線形制約を活用して、スプリットカットの閉形式表現を導出する。
• 複数のカットを凸結合と幾何的制約によって組み合わせることで、一般インターセクションカットを構築する集合化技法を導入する。
• フレンド条件と補間条件を活用して凸包特徴付けの妥当性と強度を検証し、得られるカットの妥当性と強度を保証する。
• ノルムの対称性や円錐集合の頂点位置といった幾何的性質を活用し、代数的複雑性を避けながら、カットの妥当性の必要十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 単一の二次不等式で定義される非線形集合に対するスプリットカットが、リフト表現や高次元表現を用いずに閉形式で特徴づけられるか。
• RQ2 集合のどの幾何的および代数的性質が、インターセクションカットの射影的かつクラスを保つ凸包記述を可能にするか。
• RQ3 MIRにインspiredされた2段階的手順（カノニカルカットの構築とその後のアフィン変換）が、非線形集合へどの程度一般化可能か。
• RQ4 補間および集合化技法を用いて、凸集合と半空間の差の凸包を正確に特徴づける方法は何か。
• RQ5 ユークリッドノルムの対称性が、広範な二次的集合クラスにおける一般化可能なカット生成を可能にする役割は何か。

主な発見

• 論文は、単一の円錐二次不等式で定義されるほぼすべての凸集合に対して、スプリットカットの簡単な閉形式の公式を提供する。
• ユークリッドノルムの対称性を活用して、広範な凸二次的集合に対してk-ブランチスプリットカットおよび一般インターセクションカットの明示的公式を導出する。
• 補間法により、円錐二次的集合に対して正確で射影的かつクラスを保つ凸包特徴付けが可能となり、半定値計画法のリフトを回避できる。
• 集合化法により、幾何的制約と凸結合を通じて複数のカットを組み合わせることで、広範な一般インターセクションカットのクラスを構築できる。
• 単一の二次不等式で定義される集合に対して、集合と半空間の差の凸包は、弱い条件下で単一の円錐二次制約で表現可能であることが示された。
• 結果から、カット構築を可能にする主要な代数的性質は、集合の完全な代数的構造ではなく、ユークリッドノルムの対称性であることが明らかになった。