Sciweavers

JCSS
2008

A unified theory of structural tractability for constraint satisfaction problems

13 years 3 months ago
A unified theory of structural tractability for constraint satisfaction problems
In this paper we derive a generic form of structural decomposition for the constraint satisfaction problem, which we call a guarded decomposition. We show that many existing decomposition methods can be characterised in terms of finding guarded decompositions satisfying certain specified additional conditions. Using the guarded decomposition framework we are also able to define a new form of decomposition, which we call a spread-cut. We show that the discovery of width-k spread-cut decompositions is tractable for each k, and that spread-cut decompositions strongly generalise many existing decomposition methods. Finally we exhibit a family of hypergraphs Hn, for n = 1, 2, 3 . . ., where the minimum width of any hypertree decomposition of each Hn is 3n, but the width of the best
David A. Cohen, Peter Jeavons, Marc Gyssens
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where JCSS
Authors David A. Cohen, Peter Jeavons, Marc Gyssens
Comments (0)