MoL-2001-15: From 3-SAT to \{2+p\},\{3\}-SAT

MoL-2001-15: Giritli, Mehmet (2001) From 3-SAT to \{2+p\},\{3\}-SAT. [Report]

[img] Text (Full Text (PS))

Download (179kB)
Text (Full Text (PDF))

Download (385kB) | Preview
[img] Text (Abstract)

Download (1kB)


k-SAT is the very well studied restriction of the SAT problem which has attracted much attention due to its NP-complete complexity and close relation to many practical problems in Artificial Intelligence. Inherited from its parent, k-SAT is also NP-complete and many practical problems can be reduced to it efficiently (i.e. in polynomial time). In this text we introduce a class of problems, namely {2+p},{3}-SAT, obtained by restricting 3-SAT such that no variable occurs more than three times in an instance. We show that there is an efficient transformation which takes every 3-SAT instance to a {2+p},{3}-SAT instance. The motivation behind this work is strongly enhanced by our intuition that the more we restrict the problem, the easier it will get to reveal the underlying structure of SAT and in particular, of 3-SAT. Moreover, we investigate whether there is a gain obtained by transforming instances of 3-SAT to {2+p},{3}-SAT, in terms of computational cost for satisfiability checking. We later show that although random {2+p},{3}-SAT is distinctly easier than random 3-SAT, transformed instances are particularly harder than their originating 3-SAT instances.

Item Type: Report
Report Nr: MoL-2001-15
Series Name: Master of Logic Thesis (MoL) Series
Year: 2001
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38

Actions (login required)

View Item View Item