[論文レビュー] A Solution of the P versus NP Problem

Norbert Blüm|arXiv (Cornell University)|Aug 11, 2017

Complexity and Algorithms in Graphs参考文献 27被引用数 4

ひとこと要約

この論文は、単調な回路複雑性にこれまで適用されてきたCNF-DNF近似法を、非単調な回路へと拡張し、クリーク関数およびアンドレフの関数の複雑性に対して指数的下界を示した。非単調な設定においてこうした下界を確立することで、著者たちはP ≠ NPを結論づけた。

ABSTRACT

Berg and Ulfberg and Amano and Maruoka have used CNF-DNF-approximators to prove exponential lower bounds for the monotone network complexity of the clique function and of Andreev's function. We show that these approximators can be used to prove the same lower bound for their non-monotone network complexity. This implies P not equal NP.

研究の動機と目的

• CNF-DNF近似法の適用範囲を単調な回路複雑性から非単調な回路複雑性へ拡張すること。
• クリーク関数やアンドレフの関数といった基本的な関数の非単調ネットワーク複雑性に対して、指数的下界を確立すること。
• これらの下界を用いてPとNPの分離を裏付ける証拠とする。
• 単調な複雑性において有効であった手法が、非単調な場合にも適応可能であることを示し、P ≠ NPを証明するための重要な一歩を踏み出すこと。

提案手法

• 単調な回路に特化して開発された元のCNF-DNF近似法フレームワークを、非単調な回路設定へと適応すること。
• 近似法を用いて、非単調ネットワークにおけるクリーク関数およびアンドレフの関数の計算複雑性を制限すること。
• 近似法の誤差と感度を分析することで、これらの関数を計算する任意の非単調回路が指数的サイズを必要とする、と証明すること。
• 単調な回路において成立する構造的制限が、この手法を用いる限り非単調な回路に対しても同様に適用可能であることを確立すること。
• 近似法を用いて、非単調な回路におけるANDゲートとORゲートの相互作用を分析し、下界構造を保持すること。
• ベルグ、アルフベルク、アマナ、マリオカらの先行結果を非単調な場合へと拡張することで、複雑性理論的意義を強化すること。

実験結果

リサーチクエスチョン

• RQ1 単調な回路複雑性において有効であったCNF-DNF近似法が、非単調な回路複雑性においても下界を証明するために拡張可能か？
• RQ2 クリーク関数について、単調な回路で成立する指数的下界が、非単調な回路に対しても同様に成立するか？
• RQ3 近似法に基づく手法を用いて、特定の関数が指数的サイズの非単調回路を必要とすることを示せるか？
• RQ4 非単調な設定においてこうした指数的下界が存在することは、P ≠ NPを示唆するか？
• RQ5 単調な回路において明らかにされた近似法による構造的制限が、より一般的な非単調モデルにおいても持続するか？

主な発見

• CNF-DNF近似法の手法は、単調な回路から非単調な回路へと自然に拡張され、その解析的パワーを保持した。
• この手法を用いて、クリーク関数の非単調ネットワーク複雑性に対して指数的下界が確立された。
• アンドレフの関数に対しても、非単調な設定において同様の下界が証明され、その計算的困難性が確認された。
• これらの結果から、多項式サイズの非単調回路では解けないNPに属する問題が存在することが示唆された。
• 非単調モデルにおけるこうした指数的下界の存在を根拠に、論文はP ≠ NPに至った。
• この手法は、近似法的手法を通じて単調と非単調な回路複雑性を統合する包括的なフレームワークを提供した。