On Tractability and Hypertree Width

We investigate in this paper the notion of hypertree width as a parameter for bounding the complexity of CSPs, especially those whose constraints can be represented compactly, such as SAT problems. We first identify a simple condition which is necessary for hypertree width to provide better complexity bounds than treewidth. We then observe that SAT problems do not satisfy this condition and, hence, hypertree width cannot directly provide tighter bounds than those obtained by treewidth on these problems. We next identify a simple class of SAT problems which may contain tractable subsets, yet neither hypertree width nor treewidth bounds can recognize such tractability. Hence our final contribution is a technique for introducing the auxiliary variables into the problems that allows us to recognize the tractability of this class of problems.

[1]  Leslie G. Valiant,et al.  The Complexity of Enumeration and Reliability Problems , 1979, SIAM J. Comput..

[2]  Georg Gottlob,et al.  Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width , 2003, J. Comput. Syst. Sci..

[3]  Paul D. Seymour,et al.  Graph Minors. II. Algorithmic Aspects of Tree-Width , 1986, J. Algorithms.

[4]  Peter van Beek,et al.  On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems , 1998, AAAI/IAAI.

[5]  Charles J. Petrie,et al.  On the Equivalence of Constraint Satisfaction Problems , 1990, ECAI.

[6]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[7]  Georg Gottlob,et al.  On Tractable Queries and Constraints , 1999, DEXA.

[8]  Rina Dechter,et al.  On the Expressiveness of Networks with Hidden Variables , 1990, AAAI.

[9]  Georg Gottlob,et al.  Hypertree Decompositions: A Survey , 2001, MFCS.

[10]  Rina Dechter,et al.  Tree Clustering for Constraint Networks , 1989, Artif. Intell..

[11]  Rina Dechter,et al.  Network-based heuristics for constraint satisfaction problems , 1988 .

[12]  Georg Gottlob,et al.  A Comparison of Structural CSP Decomposition Methods , 1999, IJCAI.

[13]  Martin Grohe.  The Structure of Tractable Constraint Satisfaction Problems , 2006, MFCS.

[14]  W. V. Quine,et al.  Collected Papers of Charles Sanders Peirce.-- Volume III: Exact Logic. Charles Sanders Peirce , Charles Hartshorne , Paul Weiss , 1934 .