Auszug
Dieses Kapitel widmet sich dem Erkennen und Aufbrechen von Symmetrien, dem Einsatz redundanter Constraints bei der Lösung von Constraint- Problemen sowie dem effizienten Umgang mit beiden. Wir beschäftigen uns mit diesen Aspekten der Constraint-Programmierung, da sowohl ein Aufbrechen von Symmetrien als auch der geschickte Einsatz von redundanten Constraints die Suchräume der modellierten Constraint-Probleme einschränken und damit ein schnelleres Finden von Lösungen ermögichen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
11.4 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.
Flener, Pierre, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel und Justin Pearson: Breaking Row and Column Symmetries in Matrix Models. In: Principles and Practice of Constraint Programming — CP 2002. 8th International Conference, CP 2002, Ithaca, NY, USA, September 9–13, 2002, Proceedings, Band 2470 der Reihe Lecture Notes in Computer Science, Seiten 462–477. Springer-Verlag, 2002.
Flener, Pierre und Justin Pearson (Herausgeber): Proceedings of the 2nd International Workshop on Symmetry in Constraint Satisfaction Problems (symcon’02), 2002.
Frisch, Alan M., Christopher Jefferson und Ian Miguel: Symmetry-breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern. Research Reports of the APES Group, University of Strathclyde Glasgow, Scotland, UK, 2004.
Implied Constraints Project. http://www.cs.york.ac.uk/aig/projects/implied/. Zuletzt besucht am 13.10.2006.
Kiziltan, Zeynep: Symmetry Breaking Ordering Constraints. Doktorarbeit, Uppsala University, Sweden, 2004.
Mercier, Luc und Pascal Van Hentenryck: Edge Finding for Cumulative Scheduling. http://www.cs.brown.edu/people/pvh/ef2.pdf, 6 Juli 2005.
Régin, Jean-Charles: Minimization of the Number of Breaks in Sports Scheduling Problems Using Constraint Programming. In: Freuder, Eugene C. und Rick J. Wallace (Herausgeber): Constraint Programming and Large Scale Discrete Optimization, Band 57 der Reihe DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seiten 115–130, Providence, 2001. American Mathematical Society.
Schutt, Andreas, Armin Wolf und Gunnar Schrader: Not-First and Not-Last Detection for Cumulative Scheduling in \( \mathcal{O} \) (n 3 log n). In: Declarative Programming for Knowledge Management — 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22–24, 2005. Revised Selected Papers, Band 4369 der Reihe Lecture Notes in Artificial Intelligence. Springer-Verlag, Dezember 2006.
Wolf, Armin und Gunnar Schrader: \( \mathcal{O} \) (n 3 log n) Overload Checking for the Cumulative Constraint and Its Application. In: Declarative Programming for Knowledge Management — 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22–24, 2005. Revised Selected Papers, Band 4369 der Reihe Lecture Notes in Artificial Intelligence. Springer-Verlag, Dezember 2006.
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2007). Symmetrien und Redundanzen. In: Einführung in die Constraint-Programmierung. eXamen.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68194-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-68194-6_11
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)