Auszug
Wie wir bereits im Beispiel 4.5 erfahren haben, hilft die Herstellung der lokalen Konsistenz oder der Grenzenkonsistenz nur bedingt bei der Lösung von CSP. Lediglich die durch die Constraints manifestierten Zusammenhänge zwischen den Variablen schränken ihre Domänen und damit den Suchraum ein. Bei dem genannten Beispiel kann jedoch die gemeinsame Betrachtung aller Ungleichungen des CSP
helfen, die Unlösbarkeit des Problems zu erkennen: Ist wie hier gefordert, dass n Variablen paarweise verschiedene Werte haben, muss offensichtlich die Vereinigung der Variablendomänen mindestens n verschiedene Werte enthalten — eine notwendige Voraussetzung, die bei diesem CSP nicht gegeben ist, da den drei Variablen nur zwei Werte zur Verfügung stehen.
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 subscriptionsPreview
Unable to display preview. Download preview PDF.
10.3 Anmerkungen und Literaturhinweise
Baptiste, Philippe, Claude le Pape und Wim Nuijten: Constraint-Based Scheduling. Nummer 39 in International Series in Operations Research & Management Science. Kluwer Academic Publishers, 2001.
Beldiceanu, Nicolas und Mats Carlsson: Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. In: Walsh, Toby (Herausgeber): Principles and Practice of Constraint Programming — CP 2001. 7th International Conference, CP 2001, Paphos, Cyprus, November/December 2001, Proceedings, Band 2239 der Reihe Lecture Notes in Computer Science, Seiten 377–391. Springer-Verlag, 2001.
Hoeve, Willem-Jan van: The Alldifferent Constraint: A Survey. In: Proceedings of the Sixth Annual Workshop of the ERCIM Working Group on Constraints, Prague, Czech, 2001.
Hoeve, Willem-Jan van: The Alldifferent Constraint: A Systematic Overview. submitted manuscript, extended version of [73], 2005.
Vilím, Petr: O(n log n) Filtering Algorithms for Unary Resource Constraint. In: Proceedings of the International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorical Optimisation Problems — CP-AI-OR 2004, Band 3011 der Reihe Lecture Notes in Computer Science, Seiten 335–347, Nice, France, April 2004. Springer-Verlag.
Vilím, Petr, Roman Barták und Ondřej Čepek: Unary Resource Constraint with Optional Activities. In: Wallace, Mark (Herausgeber): Principles and Practice of Constraint Programming — CP 2004. 10th International Conference, CP 2004, Toronto, Canada, September 27–October 2004, Band 3258 der Reihe Lecture Notes in Computer Science, Seiten 62–76. Springer-Verlag, September 2004.
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2007). Realisierung und Verwendung globaler Constraints. In: Einführung in die Constraint-Programmierung. eXamen.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68194-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-68194-6_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23184-4
Online ISBN: 978-3-540-68194-6
eBook Packages: Computer Science and Engineering (German Language)