References & Citations
Computer Science > Computational Complexity
Title: Classical and Quantum Algorithms for the Boolean Satisfiability Problem
(Submitted on 6 Oct 2015 (v1), revised 12 Oct 2015 (this version, v2), latest version 18 Feb 2016 (v8))
Abstract: This paper presents a complete algorithmic study of the decision Boolean Satisfiability Problem under the classical computation and quantum computation theories. The paper depicts deterministic and probabilistic algorithms, propositions of their properties and the main result is that the problem has not an efficient algorithm (NP is not P). Novel quantum algorithms and propositions depict that the complexity by quantum computation approach for solving the Boolean Satisfiability Problem or any NP problem is lineal time.
Submission history
From: Carlos Barron-Romero Prof. [view email][v1] Tue, 6 Oct 2015 07:21:09 GMT (150kb)
[v2] Mon, 12 Oct 2015 02:57:53 GMT (151kb)
[v3] Tue, 27 Oct 2015 02:05:30 GMT (151kb)
[v4] Thu, 26 Nov 2015 13:10:12 GMT (151kb)
[v5] Mon, 30 Nov 2015 16:11:30 GMT (151kb)
[v6] Tue, 2 Feb 2016 18:14:35 GMT (151kb)
[v7] Fri, 5 Feb 2016 03:12:56 GMT (151kb)
[v8] Thu, 18 Feb 2016 23:08:52 GMT (151kb)
Link back to: arXiv, form interface, contact.