[論文レビュー] Duality Gap, Computational Complexity and NP Completeness: A Survey

Prabhu Manyem|arXiv (Cornell University)|Dec 27, 2010

Advanced Graph Theory Research参考文献 19被引用数 3

ひとこと要約

この論文は、計算複雑性と最適化における双対性の基礎的関係を確立し、ゼロの双対ギャップ（強い双対性）が多項式時間での解法可能性と相関することを主張している。一方、正の双対ギャップはしばしばNP困難性を示唆する。本稿は、双対性、NP完全性、有限モデル理論との歴史的かつ理論的関係を概説し、最適化問題における複雑性の指標として双対性構造が機能する可能性を提唱する。

ABSTRACT

We survey research that studies the connection between the computational complexity of optimization problems on the one hand, and the duality gap between the primal and dual optimization problems on the other. To our knowledge, this is the first survey that connects the two very important areas. We further look at a similar phenomenon in finite model theory relating to complexity and optimization.

研究の動機と目的

• 最適化における双対ギャップとその問題を解くための計算複雑性との間の内面的かつ根本的な関係を調査すること。
• ゼロの双対ギャップ（強い双対性）が多項式時間での解法可能性を意味するかどうか、逆に正の双対ギャップがNP困難性を意味するかどうかを検討すること。
• 線形計画法および関連問題を含む、NP ∩ CoNP などの複雑性クラスの文脈における双対性の役割を調査すること。
• 有限モデル理論における固定点論理（LFP/GFP）と、プライマル・デュアル最適化ペアの解法可能性との関係を検討すること。
• 双対性構造が最適化問題における計算の困難さまたは tractability（容易性）を予測する手がかりとして機能するかどうかをさらに研究する動機を提示すること。

提案手法

• プライマルおよびデュアル最適化問題の形式的定義を用い、ラグランジュ双対関数 θ(u,v) を通じたラグランジュ双対性を含む。
• 決定問題の定式化（D₁(r)）を用い、特に線形計画法において、最適化問題をNPおよびCoNPに属させる。
• 双対ギャップを最適プライマルおよびデュアル目的関数値の差として分析し、鞍点の存在と関連付ける。
• 有限モデル理論、特に最小固定点（LFP）および最大固定点（GFP）論理を用い、多項式時間で計算可能な意思決定問題をモデル化する。
• LFPおよびGFPの計算をプライマル（最小化）およびデュアル（最大化）問題と比較し、それらが同じ固定点に収束する条件を検討する。
• フェルマー＝トリチェリ問題や線形計画法などの歴史的かつ理論的例を用い、双対性と複雑性の相互作用を説明する。

実験結果

リサーチクエスチョン

• RQ1 ゼロの双対ギャップが、最適化問題が多項式時間で解けることを示唆するのか？
• RQ2 正の双対ギャップの存在が、プライマルまたはデュアル問題のいずれかがNP困難であることを必然的に示唆するのか？
• RQ3 全探索を伴わずに、プライマル・デュアルペアの構造を用いて鞍点の存在を特定できるのか？
• RQ4 LFPおよびGFPの計算の収束と最適化における強い双対性の存在との間に対応関係があるのか？
• RQ5 双対ギャップがNP完全な最適化問題において、どの程度まで複雑性の指標として機能できるのか？

主な発見

• 線形計画法における強い双対性（ゼロの双対ギャップ）は、意思決定版がNP ∩ CoNP に属することを示唆し、多項式時間での解法可能性の可能性を示唆する。
• 双対ギャップは、NP困難問題に対する近似アルゴリズムの設計において、暗黙的かつ実用的に使用されてきた。これは、双対性と複雑性の間の実際的な関係を示している。
• フェルマー＝トライチェリ問題は強い双対性の例であり、外接する正三角形の最大高さが、トーリチェリ点への距離の最小和に等しい。
• 有限モデル理論において、LFP論理は多項式時間で計算可能な意思決定問題を特徴づけ、LFPおよびGFP計算の収束は、強い双対性および容易性を示唆する可能性がある。
• 双対ギャップがゼロであることは、ラグランジュ双対における鞍点の存在に等しく、変数の有界性が有限であれば、有限時間で決定可能である。
• 本稿は、双対ギャップと計算複雑性が深く結びついているが、双対ギャップの存在に関する一般の多項式時間特徴付けは現在のところ不明であり、重要な未解決問題であると結論づける。