[論文レビュー] Beyond the Birkhoff Polytope: Convex Relaxations for Vector Permutation Problems

Cong Han Lim, Stephen J. Wright|arXiv (Cornell University)|Jul 24, 2014

Advanced Combinatorial Mathematics参考文献 15被引用数 9

ひとこと要約

本稿では、Goemansによる置換体（permutahedron）の定式化を用いて、ベクトルの置換問題のためのコンactな凸緩和を導入し、理論的には変数と制約をΘ(n²)からΘ(n log n)に、実際にはΘ(n log² n)に削減する。2-SUM問題への応用において、従来の凸緩和と同等の解の品質を達成しつつ、大規模なnに対して著しく高速な計算を実現する。

ABSTRACT

The Birkhoff polytope (the convex hull of the set of permutation matrices) is frequently invoked in formulating relaxations of optimization problems over permutations. The Birkhoff polytope is represented using Θ(n2) variables and constraints, significantly more than the n variables one could use to represent a permutation as a vector. Using a recent construction of Goemans [1], we show that when optimizing over the convex hull of the permutation vectors (the permutahedron), we can reduce the number of variables and constraints to Θ(n logn) in theory and Θ(n log2 n) in practice. We modify the recent convex formulation of the 2-SUM problem introduced by Fogel et al. [2] to use this polytope, and demonstrate how we can attain results of similar quality in significantly less computational time for large n. To our knowledge, this is the first usage of Goemans ’ compact formulation of the permutahedron in a convex optimization problem. We also introduce a simpler regularization scheme for this convex formulation of the 2-SUM problem that yields good empirical results. 1

研究の動機と目的

• 置換に基づく最適化におけるBirkhoff多面体の緩和の高コストを軽減すること。これは、変数と制約がΘ(n²)であるため、nが増加するにつれてスケーリングが著しく悪化するためである。
• 置換ベクトルの凸包を表す置換体（permutahedron）のGoemansによるコンパクトな定式化を、凸最適化問題に適用し、問題のサイズを縮小すること。
• 2-SUM問題の計算効率を、コンパクトな置換体緩和を用いて再定式化することで向上させつつ、解の品質を維持すること。
• 凸2-SUM定式化に簡素化された正則化スキームを導入し、実験的性能を向上させること。
• Goemansによるコンパクトな置換体定式化を、凸最適化の文脈で初めて実用的に応用すること。

提案手法

• Goemansの最近の構成を活用し、Birkhoff多面体が要請するΘ(n²)ではなく、O(n log n)の変数と制約で置換体を表現する。
• 置換ベクトル空間の凸緩和として、コンパクトな置換体を用いて2-SUM問題を再定式化する。
• 凸2-SUM定式化に簡素化された正則化スキームを統合し、実験的収束性と解の品質を向上させる。
• 既存の2-SUM凸最適化フレームワークにおいて、標準的なBirkhoffベースの緩和を、コンパクトな置換体定式化に置き換える。
• 変数と制約の数を削減することで、特に大規模なインスタンス（大きなn）において計算を高速化する。
• Birkhoff多面体に基づく従来の凸緩和と比較して、解の品質と実行時間を評価することで、本手法の有効性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Goemansのコンパクトな置換体定式化は、置換を含む凸最適化問題に効果的に適用可能か？
• RQ2 コンパクトな置換体緩和は、Birkhoff多面体と同等の解の品質を維持しながら、計算複雑性を低減できるか？
• RQ3 置換体定式化における変数と制約の数の削減は、大規模2-SUM問題の解法において顕著な高速化をもたらすか？
• RQ4 提案された正則化スキームは、凸2-SUM定式化の実験的性能向上にどの程度効果的か？
• RQ5 コンパクトな置換体は、実用的な置換に基づく最適化において、Birkhoff多面体の代替として実用的かつ効率的か？

主な発見

• コンパクトな置換体定式化により、理論的には変数と制約の数をΘ(n²)からΘ(n log n)に、実際にはΘ(n log² n)に削減した。
• 2-SUM問題の再定式化により、従来のBirkhoffベースの凸緩和と同等の解の品質が達成された。
• nが大きい場合に計算時間が著しく短縮され、コンパクトな定式化のスケーラビリティが実証された。
• 簡素化された正則化スキームにより、計算コストを増加させることなく、実験的性能が向上した。
• 本研究は、Goemansのコンパクトな置換体定式化を凸最適化の文脈で初めて知られている応用である。
• 結果から、置換体が大規模な置換問題において実用的かつ効率的なBirkhoff多面体の代替として機能することが確認された。