Sciweavers

Share
FOCI
2007
IEEE

A New Reduction from 3SAT to n-Partite Graphs

10 years 3 months ago
A New Reduction from 3SAT to n-Partite Graphs
— The Constraint Satisfaction Problem (CSP) is one of the most prominent problems in artificial intelligence, logic, theoretical computer science, engineering and many other areas in science and industry. One instance of a CSP, the satisfiability problem in propositional logic (SAT), has become increasingly popular and has illuminated important insights into our understanding of the fundamentals of computation. Though the concept of representing propositional formulae as n-partite graphs is certainly not novel, in this paper we introduce a new polynomial reduction from 3SAT to Gn 7 graphs and demonstrate that this framework has advantages over the standard representation. More specifically, after presenting the reduction we show that many hard 3SAT instances represented in this framework can be solved using a basic path-consistency algorithm, and finally we discuss the potential advantages and implications of using such a representation.
Daniel J. Hulme, Robin Hirsch, Bernard F. Buxton,
Added 02 Jun 2010
Updated 02 Jun 2010
Type Conference
Year 2007
Where FOCI
Authors Daniel J. Hulme, Robin Hirsch, Bernard F. Buxton, R. Beau Lotto
Comments (0)
books