[論文レビュー] The Cutting Plane Method is Polynomial for Perfect Matchings

Karthekeyan Chandrasekaran, László A. Végh+1 more|arXiv (Cornell University)|Jul 24, 2012

Game Theory and Voting Systems被引用数 7

ひとこと要約

この論文は、エドモンドスのブ loss 不等式を用いたカットプレーン法が、最小コスト完全マッチングに対して多項式時間で収束することを確立している。半整数解を維持し、双対値に基づいてカットを効果的に選別することで、奇数サイクルのサポートが有界になるようにし、収束を保証する。これは、この問題に対する同法の効率性に関する長年の未解決問題を解決するものである。

ABSTRACT

The cutting plane approach to optimal matchings has been discussed by several authors over the past decades (e.g., Padberg and Rao '82, Grotschel and Holland '85, Lovasz and Plummer '86, Trick '87, Fischetti and Lodi '07) and its convergence has been an open question. We give a cutting plane algorithm that converges in polynomial-time using only Edmonds' blossom inequalities; it maintains half-integral intermediate LP solutions supported by a disjoint union of odd cycles and edges. Our main insight is a method to retain only a subset of the previously added cutting planes based on their dual values. This allows us to quickly find violated blossom inequalities and argue convergence by tracking the number of odd cycles in the support of intermediate solutions.

研究の動機と目的

• エドモンドスのブ loss 不等式を用いたカットプレーン法が、最小コスト完全マッチングに対して多項式時間で収束するかどうかという未解決問題を解消すること。
• 実験的に強く支持されているが理論的境界が欠落していたPadberg-Raoのカットプレーン法に対して、多項式時間収束の保証を提供すること。
• 半整数解を維持し、双対値を用いて違反する不等式を効率的に追跡するカットプレーンアルゴリズムを設計すること。
• 入力サイズに関して多項式的に有界な反復回数を保証すること、これはブ loss 不等式が指数的数存在するにもかかわらず可能である。

提案手法

• アルゴリズムは、互いに素な奇数サイクルと辺の直和によって構成される半整数解のサポートを維持し、プロパティとしての半整数性を保証する。
• 双対値に基づく基準を用いて、以前に追加されたカットプレーンの部分集合のみを効果的に保持することで、指数的爆発を回避する。
• 最適性を維持し、関連するカットのみをLP定式化に保持するために、正に臨界な双対解の使用が鍵となる。
• 現在の解のサポート内の奇数サイクル構造に基づく分離オракルを用いて、違反するブ loss 不等式を多項式時間で特定する。
• 反復ごとに中間解のサポート内の奇数サイクル数を追跡することで収束を証明し、その数が厳密に減少することが示される。
• ブ loss 不等式のラミナ構造を活用し、最適性を保ちつつ問題サイズを縮小するための収縮技術を適用する。

実験結果

リサーチクエスチョン

• RQ1 エドモンドスのブ loss 不等式を用いたカットプレーン法が、完全マッチングに対して多項式時間で収束することを示せるか？
• RQ2 ブ loss 不等式が指数的数存在するにもかかわらず、カットプレーン法の実行において多項式時間効率を維持することは可能か？
• RQ3 双対に基づくカット保持戦略により、アルゴリズム実行中に制約数が指数的に増加することを防げるか？
• RQ4 半整数解のサポート内の奇数サイクル数が、反復回数の上限を定める有効なポテンシャル関数として機能するか？
• RQ5 Padberg-Raoのカットプレーン法が、全列挙を必要としない多項式時間分離オラクルのみを用いて多項式時間で収束することを証明できるか？

主な発見

• エドモールズのブ loss 不等式を用いたカットプレーン法は、最小コスト完全マッチングに対して多項式時間で収束する。
• アルゴリズムは、互いに素な奇数サイクルと辺から構成されるサポートを持つ半整数解を、全過程で維持し、適切な半整数性を保証する。
• 顕著な双対値を持つカットのみを保持することで、各反復における有効制約数が多項式的に有界に保たれる。
• 反復回数は、サポート内の奇数サイクル数が時間経過とともに厳密に減少するため、頂点数に関して多項式的に有界である。
• 全ブ loss 不等式を列挙する必要なく、違反するブ loss 不等式の多項式時間分離オラクルのみを用いて収束を達成する。
• 本結果は、制約が指数的数存在する非自明な組合せ最適化問題に対して、カットプレーン法の多項式時間収束境界を初めて確立した。