Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/8362
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cohen, David | - |
dc.contributor.author | Jeavons, Peter | - |
dc.contributor.author | GYSSENS, Marc | - |
dc.date.accessioned | 2008-06-30T09:19:42Z | - |
dc.date.available | 2008-06-30T09:19:42Z | - |
dc.date.issued | 2008 | - |
dc.identifier.citation | JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 74(5). p. 721-743 | - |
dc.identifier.issn | 0022-0000 | - |
dc.identifier.uri | http://hdl.handle.net/1942/8362 | - |
dc.description.abstract | 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 H-n, for n = 1, 2, 3..., where the minimum width of any hypertree decomposition of each H-n is 3n, but the width of the best spread-cut decomposition is only 2n+1. (c) 2007 Elsevier Inc. All rights reserved. | - |
dc.language.iso | en | - |
dc.publisher | ACADEMIC PRESS INC ELSEVIER SCIENCE | - |
dc.subject.other | constraints; complexity; structural decomposition; hypertree | - |
dc.title | A unified theory of structural tractability for constraint satisfaction problems | - |
dc.type | Journal Contribution | - |
dc.identifier.epage | 743 | - |
dc.identifier.issue | 5 | - |
dc.identifier.spage | 721 | - |
dc.identifier.volume | 74 | - |
local.format.pages | 23 | - |
local.bibliographicCitation.jcat | A1 | - |
dc.description.notes | Univ London, Dept Comp Sci, Egham, Surrey, England. Univ Oxford, Comp Lab, Oxford OX1 3QD, England. Hasselt Univ, Dept WNI, B-3590 Diepenbeek, Belgium. Transnatl Univ Limburg, B-3590 Diepenbeek, Belgium. | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.doi | 10.1016/j.jcss.2007.08.001 | - |
dc.identifier.isi | 000256462000005 | - |
item.fullcitation | Cohen, David; Jeavons, Peter & GYSSENS, Marc (2008) A unified theory of structural tractability for constraint satisfaction problems. In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 74(5). p. 721-743. | - |
item.contributor | Cohen, David | - |
item.contributor | Jeavons, Peter | - |
item.contributor | GYSSENS, Marc | - |
item.validation | ecoom 2009 | - |
item.accessRights | Closed Access | - |
item.fulltext | No Fulltext | - |
crisitem.journal.issn | 0022-0000 | - |
crisitem.journal.eissn | 1090-2724 | - |
Appears in Collections: | Research publications |
SCOPUSTM
Citations
51
checked on Sep 2, 2020
WEB OF SCIENCETM
Citations
44
checked on Sep 20, 2024
Page view(s)
78
checked on Jun 14, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.