[論文レビュー] CLS: New Problems and Completeness

John Fearnley, Spencer Gordon+2 more|arXiv (Cornell University)|Feb 20, 2017

Semantic Web and Ontologies参考文献 5被引用数 8

ひとこと要約

この論文は、PPADとPLSの側面を統合する新しい問題、EndOfPotentialLineを導入し、単調でポテンシャル関数に従う経路を捉えるものであり、EndOfMeteredLineへの双方向還元によりCLSに属することを証明する。さらに、P-LCPをEndOfPotentialLineに還元することで、CLS完全性の強力な候補となり、計算複雑性理論における長年の未解決問題を解決する。

ABSTRACT

The complexity class CLS was introduced by Daskalakis and Papadimitriou with the goal of capturing the complexity of some well-known problems in PPAD$~\cap~$PLS that have resisted, in some cases for decades, attempts to put them in polynomial time. No complete problem was known for CLS, and in previous work, the problems ContractionMap, i.e., the problem of finding an approximate fixpoint of a contraction map, and PLCP, i.e., the problem of solving a P-matrix Linear Complementarity Problem, were identified as prime candidates. First, we present a new CLS-complete problem MetaMetricContractionMap, which is closely related to the ContractionMap. Second, we introduce EndOfPotentialLine, which captures aspects of PPAD and PLS directly via a monotonic directed path, and show that EndOfPotentialLine is in CLS via a two-way reduction to EndOfMeteredLine. The latter was defined to keep track of how far a vertex is on the PPAD path via a restricted potential function. Third, we reduce PLCP to EndOfPotentialLine, thus making EndOfPotentialLine and EndOfMeteredLine at least as likely to be hard for CLS as PLCP. This last result leverages the monotonic structure of Lemke paths for PLCP problems, making EndOfPotentialLine a likely candidate to capture the exact complexity of PLCP; we note that the structure of Lemke-Howson paths for finding a Nash equilibrium in a two-player game very directly motivated the definition of the complexity class PPAD, which eventually ended up capturing this problem's complexity exactly.

研究の動機と目的

• CLSという複雑性クラスに既知の完全問題が存在しないという問題に対処すること。CLSはPPAD ∩ PLSに属し、連続最適化構造を持つ問題を捉える。
• P行列LCPにおけるLemke経路の単調経路構造を自然に捉える新しい問題、EndOfPotentialLineを特定および形式化すること。
• EndOfPotentialLineがCLSに属することを、既に知られている問題であるEndOfMeteredLineへの多項式時間双方向還元により証明すること。
• P-LCPをEndOfPotentialLineに還元することで、P-LCPがEndOfPotentialLine以上に難しいことを示し、CLS完全性の可能性を示唆すること。
• PPADとPLSの回路ベースの視点をポテンシャル関数を通じて統合することで、CLS完全性のより自然な候補を提供すること。

提案手法

• EndOfPotentialLineを、ポテンシャル関数が減少する有向経路が保証され、解がターミナルノードまたはポテンシャル単調性の違反である、全探索問題として定義する。
• ポテンシャル値を経路距離に符号化することで、EndOfPotentialLineからEndOfMeteredLineへの多項式時間還元を構築し、経路構造と単調性を保持する。
• EndOfMeteredLineからEndOfPotentialLineへの逆還元を証明する。これは、進行度を追跡するポテンシャル関数を用いてメーター付き経路の走査をシミュレートすることで実現する。
• Lemke経路のステップをポテンシャル減少移動として符号化することで、P-LCPからEndOfPotentialLineへの還元を示す。Lemkeのアルゴリズムの既知の単調性を活用する。
• EndOfPotentialLineとEndOfMeteredLineの間の双方向還元を用いて、EndOfPotentialLineがCLSに属することを示す。なぜなら、EndOfMeteredLineは既にCLSに属することが知られているからである。
• MetametricContractionを、Contractionから多項式時間還元可能であることを示すことで、CLS完全性を証明する新しいCLS完全問題として導入する。

実験結果

リサーチクエスチョン

• RQ1 P行列LCPにおけるLemke経路の単調経路構造を自然に捉える新しい問題を定義できるか。また、それはCLSに属するか？
• RQ2 EndOfPotentialLineが多項式時間還元可能で、かつ逆にEndOfMeteredLineへも還元可能か。これにより、両者は多項式時間還元の下で同等であると示せるか？
• RQ3 P-LCPをEndOfPotentialLineに還元できるか。これにより、P-LCPがこの新しい問題以上に難しいことを示し、CLS完全性の可能性を示唆できるか？
• RQ4 PPAD風の経路に沿って減少するポテンシャル関数の存在は、従来の構成よりもCLSのフレームワークをより自然に捉えるものか？
• RQ5 MetametricContractionがCLS完全性を示せるか。これにより、CLSのための新たな標準問題が得られるか？

主な発見

• EndOfPotentialLineはCLSに属する。なぜなら、既にCLSに属することが知られているEndOfMeteredLineへの双方向多項式時間還元が可能だからである。
• P-LCPからEndOfPotentialLineへの還元により、P-LCPがEndOfPotentialLine以上に難しいことが示され、EndOfPotentialLineがCLS完全性の強力な候補であることが裏付けられた。
• MetametricContractionがCLS完全性を示された。これは、ContractionやP-LCPの候補に続く、CLSにおける最初の既知の完全問題である。
• EndOfPotentialLineとEndOfMeteredLineの間の双方向還元により、両者が多項式時間還元の下で同等であることが示された。ただし、EndOfPotentialLineはより一般である。
• 本研究では、Lemke経路のポテンシャル関数構造を活用することで、P-LCPがCLSに属することを、新たな証明経路で示した。これは、従来の文脈では利用されていなかった。
• 結果として、EndOfPotentialLineがP-LCPの正確な複雑性を捉えるための適切な複雑性クラスである可能性が示唆され、PPADがナッシュ均衡の複雑性を捉えるのと同様の役割を果たす可能性がある。