[論文レビュー] Inapproximability of Combinatorial Optimization Problems

Luca Trevisan|ArXiv.org|Sep 24, 2004

Optimization and Packing ProblemsEngineering被引用数 17

ひとこと要約

本調査は、確率的検証可能証明（PCP）と還元を用いて、基本的な近似不能性結果を、頂点被覆、独立集合、Max SAT などの主要な組合せ最適化問題に対して確立する。P = NP でない限り、これらの問題は特定の定数要因内で近似不可能であることが示されている。近似困難性の理論的基盤と未解決問題を包括的に概説し、PCP定理と一意的ゲーム予想が分野の発展において果たす役割を強調している。

ABSTRACT

We survey results on the hardness of approximating combinatorial optimization problems.

研究の動機と目的

• NP困難な組合せ最適化問題の近似不能性結果の現状を体系的に調査すること。
• 確率的検証可能証明（PCP）と還元が、近似比の下界を確立するためにどのように用いられるかを説明すること。
• 主な未解決問題を特定し、議論すること。これには、一意的ゲーム予想、メトリックTSPとスパーステストカットの近似不能性が含まれる。
• 近似不能性結果と整数計画のギャップの違いを明確にすること。
• 近似アルゴリズムの限界を探索する研究者に技術的基盤を提供すること。

提案手法

• NP困難性の証明を近似不能性結果に変換するためにPCP定理を用いる。
• 3SAT や他のNP完全問題からの還元を用いて、制御された近似比を持つインスタンスを構築する。
• Max SAT、Max CUT、独立集合などの特定の問題に特化した最適化PCP構成を適用する。
• PCP検証者の健全性とクエリ複雑度を分析し、タイトな近似不能性要因を導出する。
• 一意的ゲーム予想を中心仮説として用い、最適な近似不能性結果を導出する。
• PCP構成におけるランダムネス、アルファベットサイズ、証明長の役割を検討し、硬度結果を強化する。

実験結果

リサーチクエスチョン

• RQ1 P ≠ NP を仮定した場合、頂点被覆の最良の近似比は何か？
• RQ2 既知のPCPに基づく境界を超えて、Max SAT の近似不能性を改善できるか？
• RQ3 メトリックTSPには定数要因の近似不能性結果があるのか？それを証明するにはどのような技術が必要か？
• RQ4 一意的ゲーム予想は証明可能または反証可能か？その解決が近似困難性に与える影響は何か？
• RQ5 スパーステストカットのようなグラフ分割問題には、近似不能性結果があるのか？既知の下界がないことから、未解決の問題である。

主な発見

• 本論文は、一意的ゲーム予想を仮定すると、頂点被覆には (2−ε)-近似が存在しないこと（P = NP でない限り）を確立している。
• Max SAT については 2-近似が可能であるが、Max E3SAT については 8/7-近似より良い結果は P = NP でない限り得られない。
• 独立集合および彩色問題は、ε > 0 に対して n^{1−ε} より良い性能比を持つ多項式時間近似スキームを有さない（P = NP でない限り）。
• 一意的ゲーム予想は、ハイパーグラフにおける Max CUT および頂点被覆の最適な近似不能性結果を示唆している。
• スパーステストカットの最良の既知の近似は O(√log n) であるが、近似不能性結果はまだ知られておらず、大きな開きが残っている。
• メトリックTSPの近似不能性は現在 220/219 未満で下界が示されているが、1.1-近似不能性の証明はまだ得られておらず、新しい技術の必要性が示唆されている。