[論文レビュー] Scarf is Ppad-Complete

Shiva Kintali|ArXiv.org|Dec 9, 2008

Game Theory and Voting Systems参考文献 18被引用数 7

ひとこと要約

この論文は、スカルフの補題の計算的版がPPAD完全であることを証明し、ブロウワーの不動点定理やスパーナーの補題と同等の計算的難易度であることを確立している。この結果は、PPAD ⊆ P でない限り、スカルフの補題に多項式時間アルゴリズムが存在しないことを示しており、分数安定パス問題や強分数カーネル計算に対しても同様のPPAD困難性が拡張される。

ABSTRACT

Scarf's lemma is one of the fundamental results in combinatorics, originally introduced to study the core of an N-person game. Over the last four decades, the usefulness of Scarf's lemma has been demonstrated in several important combinatorial problems seeking "stable" solutions. However, the complexity of the computational version of Scarf's lemma (SCARF) remained open. In this paper, we prove that SCARF is complete for the complexity class PPAD. This proves that SCARF is as hard as the computational versions of Brouwer's fixed point theorem and Sperner's lemma. Hence, there is no polynomial-time algorithm for SCARF unless PPAD \subseteq P. We also show that fractional stable paths problem and finding strong fractional kernels in digraphs are PPAD-hard.

研究の動機と目的

• スカルフの補題に関連する意思決定問題の計算複雑性を特定すること。
• スカルフの補題がPPAD複雑性クラスに属する他の有名な問題と同等の難易度であるかどうかを確立すること。
• 分数安定パス問題や強分数カーネル計算などの関連組合せ問題の複雑性を調査すること。
• スカルフの補題とゲーム理論および組合せ数学における他の不動点問題および安定性問題との関係を明確にすること。

提案手法

• スカルフの補題の計算的版へのEnd of the Line問題（標準的PPAD完全問題）の還元。
• スカルフの補題から分数安定パス問題および強分数カーネル問題への多項式時間還元の構築。
• さまざまな組合せ的設定において分数安定解の存在を示す証明技法としてスカルフの補題の利用。
• 行列制約下での有界性、実行可能性、最適性条件を満たすベクトル α を求める計算問題「Scarf」の形式的定義。
• ブロウワーの不動点定理およびスパーナーの補題の既知のPPAD完全性結果を活用し、スカルフの補題の複雑性下限を導出すること。
• コンパクト性やε近似による既存の存在証明が、本質的なPPAD完全性のため、多項式時間アルゴリズムを示さないことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 スカルフの補題の計算的版はPPAD完全か？
• RQ2 分数安定パス問題および強分数カーネル計算はPPAD困難か？
• RQ3 スカルフの補題に基づく存在証明を効率的に多項式時間アルゴリズムに変換できるか？
• RQ4 ハイパグラフ的選好系における分数安定マッチングを見つける問題はPPAD完全か？
• RQ5 分数安定パス問題におけるε安定解を求める問題の正確な複雑性は何か？

主な発見

• スカルフの補題はPPAD完全であり、これはブロウワーの不動点定理およびスパーナーの補題の計算的版と同等の難易度であることを意味する。
• PPAD ⊆ P でない限り、スカルフの補題に多項式時間アルゴリズムは存在しない。
• 分数安定パス問題はPPAD困難であり、正確な分数安定解を求めることが計算的に困難であることを示している。
• 有向グラフにおける強分数カーネルの計算もPPAD困難であり、複雑性結果が有向グラフ問題へ拡張されている。
• ハイパグラフ的分数安定マッチングはPPADに属するが、そのPPAD完全性は未解決のままである。
• 分数安定パス問題におけるε解やε安定解を求める問題の複雑性はまだ解明されていないが、コンパクト性およびスカルフの補題により両者とも存在することが知られている。