Title :
The interface between P and NP in signed CNF formulas
Author :
Ansótegui, C. ; Béjar, R. ; Cabiscol, A. ; Manyà, F.
Author_Institution :
Dept. of Comput. Sci., Univ. de Lleida, Spain
Abstract :
We first define a new class of signed CNF formulas and prove that its satisfiability problem is NP-complete. We then study in detail the interface between P and NP in two many-valued satisfiability problems: Mono+pPartiallySigned-2SAT and Regular+pSigned-2SAT. We show that such problems smoothly interpolate between P and NP by mixing together a polynomial and an NP-complete problem, and identify phase transition behavior in each of these problems.
Keywords :
combinatorial mathematics; communicating sequential processes; computability; computational complexity; polynomials; CSP formalisms; Mono+pPartiallySigned-2SAT; NP-complete satisfiability problems; Regular+pSigned-2SAT; SAT solvers; combinatorial problems; constraint satisfaction formalisms; many-valued satisfiability problems; polynomial problems; problem phase transition behavior; propositional satisfiability; signed CNF formula P/NP interface; signed-SAT; Artificial intelligence; Computer interfaces; Computer languages; Computer science; Encoding; Hardware; Machinery; Multivalued logic; NP-complete problem; Polynomials;
Conference_Titel :
Multiple-Valued Logic, 2004. Proceedings. 34th International Symposium on
Print_ISBN :
0-7695-2130-4
DOI :
10.1109/ISMVL.2004.1319950