Dabrowski, KK orcid.org/0000-0001-9515-6945, Jonsson, P, Ordyniak, S orcid.org/0000-0003-1935-651X et al. (1 more author) (2023) Solving infinite-domain CSPs using the patchwork property. Artificial Intelligence, 317. 103880. ISSN 0004-3702
Abstract
The constraint satisfaction problem (CSP) has important applications in computer science and AI. In particular, infinite-domain CSPs have been intensively used in subareas of AI such as spatio-temporal reasoning. Since constraint satisfaction is a computationally hard problem, much work has been devoted to identifying restricted problems that are efficiently solvable. One way of doing this is to restrict the interactions of variables and constraints, and a highly successful approach is to bound the treewidth of the underlying primal graph. Bodirsky & Dalmau (2013) [14] and Huang et al. (2013) [47] proved that CSP(Γ) can be solved in
time (where n is the size of the instance, w is the treewidth of the primal graph and f is a computable function) for certain classes of constraint languages Γ. We improve this bound to
, where the function f only depends on the language Γ, for CSPs whose basic relations have the patchwork property. Hence, such problems are fixed-parameter tractable and our algorithm is asymptotically faster than the previous ones. Additionally, our approach is not restricted to binary constraints, so it is applicable to a strictly larger class of problems than that of Huang et al. However, there exist natural problems that are covered by Bodirsky & Dalmau's algorithm but not by ours, and we begin investigating ways of generalising our results to larger families of languages. We also analyse our algorithm with respect to its running time and show that it is optimal (under the Exponential Time Hypothesis) for certain languages such as Allen's Interval Algebra.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2023 The Authors. This is an open access article under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited. |
Keywords: | Constraint satisfaction problem, Parameterized complexity, Treewidth, Infinite domain, Lower bound |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) |
Funding Information: | Funder Grant number EPSRC (Engineering and Physical Sciences Research Council) EP/V00252X/1 |
Depositing User: | Symplectic Publications |
Date Deposited: | 09 Mar 2023 11:00 |
Last Modified: | 25 Jun 2023 23:16 |
Status: | Published |
Publisher: | Elsevier |
Identification Number: | 10.1016/j.artint.2023.103880 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:197169 |