[论文解读] Complexity Considerations, cSAT Lower Bound

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

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

一句话总结

本文主张在确定性计算下，布尔可满足性问题（cSAT）具有指数下界，意味着 P ≠ NP。通过分析一阶布尔逻辑中的完备性，并表明最优推导本质上是指数级的，作者构建了一个非确定性多项式时间算法（NDTM）来求解 cSAT，从而证明 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 的观点，通过预言机相对化阐明确定性与非确定性计算模型之间的区别。

提出的方法

• 分析一阶布尔逻辑的完备性，断言任何有效变换都必须可从公理和谓词推导得出。
• 证明若所有推导长度均为指数级，则即使最优推导也必为指数级，从而建立下界。
• 构建一个非确定性图灵机（NDTM），在 O(n^c) 时间内求解 cSAT，证明该问题属于 NP。
• 利用此类 NDTM 的存在，与确定性模型下的指数下界形成对比。
• 应用 Baker-Gill-Solovay 相对化框架，表明能区分 P 与 NP 的预言机必须编码无限数量的公理、谓词或状态。
• 依赖逻辑完备性与推导等价性，论证在确定性情况下不可能存在更短的推导。

实验结果

研究问题

• RQ1 若其逻辑系统中所有推导均为指数级，布尔可满足性问题（cSAT）是否可在确定性多项式时间内求解？
• RQ2 能否利用一阶布尔逻辑的完备性，推导出 cSAT 复杂性的下界？
• RQ3 若 cSAT 存在多项式时间的 NDTM 解法，且假设确定性推导本质上为指数级，则是否可推出 P ≠ NP？
• RQ4 P 与 NP 问题的相对化如何区分确定性与非确定性计算模型？
• RQ5 给定系统的逻辑与计算约束，预言机 A 必须具备何种结构特性，才能使 P^A = NP^A 成立？

主要发现

• 本文在确定性计算下为求解 cSAT 建立了指数下界，意味着该问题不属于 P。
• 证明在给定的一阶布尔逻辑框架中，任何最优推导都必须为指数级长度，原因在于所有可能推导均为指数级。
• 构建了一个非确定性图灵机（NDTM），可在 O(n^c) 时间内求解 cSAT，确认该问题属于 NP。
• 此类 NDTM 的存在，结合确定性计算下的指数下界，得出 P ≠ NP 的结论。
• 本文表明，任何满足 P^A = NP^A 的预言机 A 必须编码无限数量的算法、公理或非确定性状态，凸显了确定性与非确定性模型之间的根本差异。
• 分析确认，Baker-Gill-Solovay 相对化结果与 P ≠ NP 的结论一致，因为能区分这两类的预言机必须具有高度复杂性。