Algorithm that Solves 3-SAT in Polynomial Time
نویسنده
چکیده
The question of whether the complexity class P is equal to the complexity class NP has been a seemingly intractable problem for over 4 decades. It has been clear that if an algorithm existed that would solve the problems in the NP class in polynomial time then P would equal NP. However, no one has yet been able to create that algorithm or to successfully prove that such an algorithm cannot exist. The algorithm that will be presented in this paper runs in polynomial time and solves the 3-satisfiability or 3-SAT problem, which has been proven to be NP-complete, thus indicating that P = NP.
منابع مشابه
Width-parameterized SAT: Time-Space Tradeoffs
Alekhnovich and Razborov (2002) presented an algorithm that solves SAT on instances φ of size n and tree-width TW(φ), using time and space bounded by 2O(TW(φ))nO(1). Although several follow-up works appeared over the last decade, the first open question of Alekhnovich and Razborov remained essentially unresolved: Can one check satisfiability of formulas with small tree-width in polynomial space...
متن کاملDerandomization of Schuler's Algorithm for SAT
Recently Schuler [17] presented a randomized algorithm that solves SAT in expected time at most 2n(1−1/ log2(2m)) up to a polynomial factor, where n and m are, respectively, the number of variables and the number of clauses in the input formula. This bound is the best known upper bound for testing satisfiability of formulas in CNF with no restriction on clause length (for the case when m is not...
متن کاملIndistinguishable binomial decision tree of 3-SAT: Proof of class P is a proper subset of class NP
This paper solves a long standing open problem of whether NP-complete problems could be solved in polynomial time on a deterministic Turing machine by showing that the indistinguishable binomial decision tree can be formed in a 3-SAT instance. This paper describes how to construct the decision tree and explains why 3-SAT has no polynomial-time algorithm when the decision tree is formed in the 3...
متن کاملComputational complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas
Zusammenfassung Abstract The Boolean conjunctive normal form (CNF) satisfiability problem, called SAT for short, gets as input a CNF formula and has to decide whether this formula admits a satisfying truth assignment. As is well known, the remarkable result by S. Cook in 1971 established SAT as the first and genuine complete problem for the complexity class NP [15]. Thus SAT resides at the hear...
متن کاملCMSC 858F: Algorithmic Lower Bounds Fall 2014 Parameterized reductions and assumptions
Definition 1 ETH: there is no 2 time algorithm for n variable 3-SAT. (the current best bound is 1.30704 [1]). Note that an n-variable 3-SAT can have Ω(n) clauses but Impagliazzo et al. [2] show that there is a 2-time algorithm for n-variable 3-SAT iff there is a 2-time algorithm for m-clause 3-SAT. Thus ETH also says: There is no 2-time algorithm for m-clause 3-SAT. The standard textbook NP-har...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1110.1658 شماره
صفحات -
تاریخ انتشار 2011