[論文レビュー] Complexity Considerations, cSAT Lower Bound

Radosław Hofman|ArXiv.org|Apr 4, 2007

Complexity and Algorithms in Graphs参考文献 6被引用数 3

ひとこと要約

この論文は、決定的計算下でのブール充足可能性問題（cSAT）に指数的下界が存在することを主張し、P ≠ NPを示唆する。一階ブール論理における完全性を分析し、最適な導出が本質的に指数的であることを示すことにより、cSATを解く非決定的多項式時間アルゴリズム（NDTM）を構築する。これによりNP完全性が証明され、P ≠ NPが結論づけられるとともに、オラクルによる相対化を扱い、決定的モデルと非決定的モデルの違いを明確にする。

ABSTRACT

This article discusses completeness of Boolean Algebra as First Order Theory in Goedel's meaning. If Theory is complete then any possible transformation is equivalent to some transformation using axioms, predicates etc. defined for this theory. If formula is to be proved (or disproved) then it has to be reduced to axioms. If every transformation is deducible then also optimal transformation is deducible. If every transformation is exponential then optimal one is too, what allows to define lower bound for discussed problem to be exponential (outside P). Then we show algorithm for NDTM solving the same problem in O(n^c) (so problem is in NP), what proves that P eq NP. Article proves also that result of relativisation of P=NP question and oracle shown by Baker-Gill-Solovay distinguish between deterministic and non-deterministic calculation models. If there exists oracle A for which P^A=NP^A then A consists of infinite number of algorithms, DTMs, axioms and predicates, or like NDTM infinite number of simultaneous states.

研究の動機と目的

• 決定的計算下でのブール充足可能性問題（cSAT）を解く際の複雑さに下界を確立すること。
• ゲーデルの意味における一階ブール論理としてのブール代数の完全性を分析し、その導出複雑さに与える影響を検討すること。
• このようなシステムにおける最適な導出が本質的に指数的であることを示し、問題がPに属さないことを示唆すること。
• 同じ問題が非決定的チューリングマシン（NDTM）によって多項式時間で解けることを示し、NPに属することを確認すること。
• Baker-Gill-Solovayに従い、オラクルによる相対化を通じて、決定的と非決定的計算モデルの違いを明確にすること。

提案手法

• 一階ブール論理の完全性を分析し、任意の妥当な変換が公理および述語から導出可能でなければならないと主張する。
• すべての導出が長さにおいて指数的であるならば、最適な導出も指数的でなければならないことを示し、下界を確立する。
• cSATをO(n^c)時間で解く非決定的チューリングマシン（NDTM）を構築し、問題がNPに属することを証明する。
• このようなNDTMの存在を、決定的モデル下での指数的下界と対比させる。
• Baker-Gill-Solovayの相対化フレームワークを適用し、PとNPを区別するオラクルが、無限個の公理、述語、または状態をエンコードしなければならないことを示す。
• 論理的完全性と導出の同値性に依拠し、決定的ケースではより短い導出が存在し得ないことを主張する。

実験結果

リサーチクエスチョン

• RQ1 すべての導出がその論理的体系内で指数的であるならば、ブール充足可能性問題（cSAT）は決定的多項式時間で解けるか？
• RQ2 一階ブール論理の完全性を用いて、cSATの複雑さに下界を導くことができるか？
• RQ3 cSATが多項式時間で解ける非決定的チューリングマシン（NDTM）が存在する場合、決定的導出が本質的に指数的であるという仮定の下で、P ≠ NPが示唆されるか？
• RQ4 P対NP問題の相対化は、決定的と非決定的計算モデルの間の違いをどのように明確にするか？
• RQ5 論理的および計算的制約を考慮すると、P^A = NP^Aが成り立つようなオラクルAが満たすべき構造的性質は何か？

主な発見

• この論文は、決定的計算下でのcSATの解法に指数的下界を確立し、問題がPに属さないことを示唆する。
• 与えられた一階ブール論理フレームワークにおいて、任意の最適な導出は、すべての可能な導出が指数的であるため、長さにおいて指数的でなければならないと証明する。
• cSATをO(n^c)時間で解く非決定的チューリングマシン（NDTM）が構築され、問題がNPに属することを確認する。
• このようなNDTMの存在と、決定的計算下での指数的下界を組み合わせることで、P ≠ NPに至る結論が導かれる。
• P^A = NP^Aが成り立つような任意のオラクルAは、無限個のアルゴリズム、公理、または非決定的状態をエンコードしなければならず、これは決定的モデルと非決定的モデルの根本的な違いを強調する。
• 解析により、Baker-Gill-Solovayの相対化結果が、P ≠ NPの結論と整合的であることが確認される。PとNPを区別するオラクルは、極めて複雑な構造を必要とするからである。