[論文レビュー] Extended Formulations in Combinatorial Optimization

Volker Kaibel|arXiv (Cornell University)|Apr 6, 2011

Advanced Graph Theory Research参考文献 21被引用数 29

ひとこと要約

本稿は組合せ最適化における拡張形式を検討し、特定のポリトープ（例えば置換体や制限付きマッチングポリトープ）が線形射影を通じてより小さな高次元ポリトープによって表現可能であることを示している。主な貢献は、非対称な拡張形式が、小規模マッチング問題のような問題に対して多項式サイズの表現を達成可能であるのに対し、対称形式では指数的下界が存在することを示したことである。これは、対称性の制約が表現サイズの効率に著しく制限をかけることを明らかにしている。

ABSTRACT

The concept of representing a polytope that is associated with some combinatorial optimization problem as a linear projection of a higher-dimensional polyhedron has recently received increasing attention. In this paper (written for the newsletter Optima of the Mathematical Optimization Society), we provide a brief introduction to this topic and sketch some of the recent developments with respect to both tools for constructing such extended formulations as well as lower bounds on their sizes.

研究の動機と目的

• 高次元への射影を用いて組合せ最適化のポリトープを表現する拡張形式の概念を導入すること。
• サイズと表現効率の観点から、対称的および非対称的拡張形式のトレードオフを調査すること。
• 多面体組合せ論と通信複雑性の道具を用いて、拡張形式の限界を検討すること。
• 対称性が基本的な組合せポリトープの最小拡張形式サイズを決定する役割を明確にすること。
• 多項式時間で解ける問題が多項式サイズの拡張形式を有するかどうかという未解決問題に取り組むこと。

提案手法

• 線形目的関数の最適値を保つように、元のポリトープを高次元ポリトープの射影によって表現する。
• 複数の小さなポリトープの凸包をとることで、分岐計画法の技術を応用して拡張形式を構築する。
• 特定の構造的性質を持つマッチングを同定するために、色分け法を用い、制限付きマッチングポリトープのコンパクトな表現を可能にする。
• 特にアロン、ユースター、ズウィックの定理（部分集合に異なる色が存在するような色分けに関する）を応用し、すべての関連するマッチングをカバーすることを保証する。
• ヤナカキスの枠組みを用いて、非負行列因子分解と通信複雑性を介して、対称的拡張形式の下界を導出する。
• バーキホフ多面体を置換体の代表的な小規模拡張形式として分析し、対称形式の中で最適であることを示す。

実験結果

リサーチクエスチョン

• RQ1 完全グラフにおける任意のマッチングのマッチングポリトープは、多項式サイズの拡張形式によって表現可能か？
• RQ2 置換体の対称的拡張形式の最小サイズは何か？また、バーキホフ多面体はこのクラスで最適か？
• RQ3 非対称性は、制限付きマッチングポリトープのような組合せポリトープの表現サイズを顕著に小さくするか？
• RQ4 対数的長さのサイクルに制限された場合の巡回セールスマン問題ポリトープに多項式サイズの拡張形式は存在するか？
• RQ5 特に対称性の制約下で、拡張形式のサイズに関する根本的な限界は何か？

主な発見

• 置換体はバーキホフ多面体による多項式サイズの拡張形式を有し、これは対称形式の中で最適である。
• サイズ⌊log n⌋のマッチングのマッチングポリトープに対して、非対称な多項式サイズの拡張形式が存在するが、すべての対称形式はサイズn^Ω(log n)を要する。
• 対称的拡張形式において、置換体の拡張複雑度はΩ(n²)以上であることが示され、バーキホフ多面体がこのクラスで漸近的に最適であることが証明された。
• サイズ⌊log n⌋のマッチングのマッチングポリトープに対して、各色分けごとにO(2^k + n²)個の不等式とO(2^k log n)個の色分けを用いた構成により、総サイズは2^O(k)n² log nとなり、k = ⌊log n⌋のとき多項式サイズとなる。
• 巡回セールスマン問題ポリトープやサイズ⌊log n⌋のサイクルのポリトープに対しては、多項式サイズの対称的拡張形式は存在しないが、それらの拡張複雑度は多項式である。
• 拡張形式の概念は、対称性が形式の必要サイズを著しく増大させることを示しており、対称性と効率性の間の根本的なトレードオフを浮き彫りにしている。