References & Citations
Computer Science > Computational Complexity
Title: Lower bound for the Complexity of the Boolean Satisfiability Problem
(Submitted on 19 Feb 2016 (this version), latest version 14 Apr 2016 (v4))
Abstract: This paper depicts algorithms for solving the decision Boolean Satisfiability Problem. An extreme problem is formulated to analyze the complexity of algorithms and the complexity for solving it. A novel and easy reformulation as a lottery for an extreme case is presented to determine a stable complexity around $2^n$. The reformulation point out that the decision Boolean Satisfiability Problem can only be solved in exponential time. This implies there is not an efficient algorithm for the NP Class.
Submission history
From: Carlos Barron-Romero Prof. [view email][v1] Fri, 19 Feb 2016 20:11:54 GMT (64kb)
[v2] Mon, 7 Mar 2016 06:23:45 GMT (65kb)
[v3] Sat, 2 Apr 2016 15:48:04 GMT (65kb)
[v4] Thu, 14 Apr 2016 02:56:37 GMT (66kb)
Link back to: arXiv, form interface, contact.