Abstract
Nowadays, many real problems can be efficiently modelled as Constraint Satisfaction Problems (CSP’s). Most of these problems can be naturally modeled using non-binary constraints. However, researchers traditionally had focused on binary constraints, due to the simplicity of dealing with binary constraints and the fact that any non-binary CSP can be transformed into an equivalent binary one. Moreover, this transformation may not be practical in some problems, because the binarized CSP produces a significant increase in the problems size and the translation process generates new variables, which may have very large domains. Thus, it becomes necessary to manage problems with non-binary constraints directly. In this work, we propose an algorithm called “Hyperpolyhedron Search Algorithm (HSA)” that solves non-binary constraint satisfaction problems in a natural way as an incremental and non-binary CSP solver. HSA is a constraint propagation algorithm that carries out the search through a hyperpolyhedron that maintains in its vertices those solutions that satisfy all non-binary constraints. In HSA, the handling of the non-binary constraints (linear inequations) can be seen as a global hyperpolyhedron constraint. Initially, the hyperpolyhedron is created by the Cartesian Product of the domain bounds of variables. For each constraint, HSA checks the consistency, updating the hyperpolyhedron (if the constraint is consistent), by means of LP techniques. This constraint is a hyperplane that is intersected to obtain the new hyperpolyhedron vertices. The resulting hyperpolyhedron is a convex set of solutions to the CSP.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Salido, M.A., Giret, A., Barber, F.: A Non-binary Constraint Satisfaction Solver: The One-face Hyperpolyhedron Heuristic. In Proceeding of ES2001. (Ed. Springer Verlag). (2001)
Salido, M.A., Giret, A., Barber, F.: Realizing a Global Hyperpolyhedron Constraint via LP Techniques. In Proceedings of KI-2001W orkshop (Ed. Jügen Sauer) (78–88) (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Salido, M.A., Barber, F. (2001). An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm. In: Walsh, T. (eds) Principles and Practice of Constraint Programming — CP 2001. CP 2001. Lecture Notes in Computer Science, vol 2239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45578-7_79
Download citation
DOI: https://doi.org/10.1007/3-540-45578-7_79
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42863-3
Online ISBN: 978-3-540-45578-3
eBook Packages: Springer Book Archive