Einführung in die Constraint-Programmierung: Grundlagen, Methoden, Sprachen, Anwendungen

Buchcover......Page 1
Einführung in die Constraint-Programmierung: Grundlagen, Methoden, Sprachen, Anwendungen......Page 4
ISBN 978-3-540-23184-4......Page 5
Vorwort......Page 8
Inhaltsverzeichnis......Page 10
Teil I Einführung......Page 14
1.1 Signaturen und Strukturen......Page 16
1.2 Terme, Formeln und Gültigkeit......Page 18
1.3 Aufgaben......Page 24
2.1 Syntax......Page 26
2.2 Substitutionen und Uni.kation......Page 30
2.3 Die Semantik logischer Programme......Page 34
2.4......Page 45
2.5 Logische Programmierung mit Constraints – CLP......Page 54
2.6 Aufgaben......Page 61
Teil II Constraints, Constraint-Systeme und Constraint-Löser......Page 64
3.1 Constraints und Constraint-Systeme......Page 66
3.2 Erfüllbarkeit und Lösungen......Page 71
3.3 Constraint-Löser......Page 73
3.4 Aufgaben......Page 83
4 Constraints über endlichen Wertebereichen – Finite-Domain-Constraints......Page 84
4.1 Constraint-Satisfaction-Probleme......Page 85
4.2 Konsistenztechniken......Page 86
4.3 Lösungssuche durch Rücksetzen (Backtracking)......Page 103
4.4 Praktische Programmierung......Page 107
4.5 Aufgaben......Page 108
5.1 Lineare (Un-)Gleichungen......Page 110
5.2 Die Simplex-Methode......Page 112
5.3 Erfüllbarkeit, Projektion und Folgerbarkeit......Page 130
5.4 Praktische Programmierung......Page 136
5.5 Aufgaben......Page 137
Teil III Constraint-Sprachen......Page 138
6.1 Zustandsübergangssysteme......Page 140
6.2 Syntax und Auswertung Constraint-logischer Programme......Page 141
6.3 Deklarative Semantik......Page 150
6.4 Logische Programmierung als CLP......Page 151
6.5 Aufgaben......Page 153
7 Nebenläufige Constraint-logische Programmierung......Page 154
7.1 Das Modell der nebenläu.gen Constraint-Programmierung......Page 155
7.2 Nebenläu.ge Constraint-logische Programme......Page 156
7.3 Anwendungen und Beispiele......Page 168
7.4 Aufgaben......Page 174
8 Constraint Handling Rules......Page 176
8.1 Syntax......Page 177
8.2 Deklarative Semantik......Page 178
8.3 Operationale Semantik......Page 180
8.4 Semantische Zusammenhänge......Page 189
8.5 Anwendungen......Page 190
8.6 Anmerkungen und Literaturhinweise......Page 193
8.7 Aufgaben......Page 194
9 Constraint-imperative und Constraint-objektorientierte Programmierung......Page 196
9.1 Constraint-imperative Programmierung mit Turtle......Page 197
mit......Page 212
9.3 Aufgaben......Page 228
Teil IV Modellierung von Constraint-Problemen......Page 230
10 Realisierung und Verwendung globaler Constraints......Page 232
10.1 Paarweise Verschiedenheit......Page 233
10.2 Exklusive Belegung einer Ressource......Page 245
10.3 Anmerkungen und Literaturhinweise......Page 259
10.4 Aufgaben......Page 260
11.1 Erkennen von Symmetrien......Page 264
11.2 Aufbrechen von Symmetrien......Page 266
11.3 Redundante Constraints......Page 267
11.4 Anmerkungen und Literaturhinweise......Page 274
11.5 Aufgaben......Page 275
12.1 Kürzeste Golomb-Lineale......Page 276
12.2 Teambildung bei Managerseminaren......Page 281
12.3 Anmerkungen und Literaturhinweise......Page 285
Teil V Lösung von Constraint-Problemen......Page 286
13.1 Generelle Suchverfahren......Page 288
13.2 Das Labeling......Page 293
13.3 Verallgemeinerte Lösungssuche......Page 301
13.4 Anmerkungen und Literaturhinweise......Page 308
13.5 Aufgaben......Page 309
14.1 Constraint-Optimierungsprobleme (COP)......Page 312
14.2 Ein Lösungsverfahren für COP......Page 313
14.3 Dichotomisches Optimieren......Page 316
14.4 Gleichzeitige Optimierung mehrerer Zielfunktionen......Page 319
14.5 Anmerkungen und Literaturhinweise......Page 325
14.6 Aufgaben......Page 326
A Lösungen......Page 328
Lösungen zu Kapitel 1......Page 329
Lösungen zu Kapitel 2......Page 331
Lösungen zu Kapitel 3......Page 338
Lösungen zu Kapitel 4......Page 342
Lösungen zu Kapitel 5......Page 347
Lösungen zu Kapitel 6......Page 352
Lösungen zu Kapitel 7......Page 355
Lösungen zu Kapitel 8......Page 357
Lösungen zu Kapitel 9......Page 362
Lösungen zu Kapitel 10......Page 365
Lösungen zu Kapitel 11......Page 370
Lösungen zu Kapitel 13......Page 371
Lösungen zu Kapitel 14......Page 377
Literatur......Page 380
Index......Page 392