Titlebook: Einführung in die Constraint-Programmierung; Grundlagen, Methoden Petra Hofstedt,Armin Wolf Textbook 2007 Springer-Verlag Berlin Heidelberg

冷漠

通知

978-3-540-23184-4Springer-Verlag Berlin Heidelberg 2007

指令

Pr?dikatenlogikeinen Ausschnitt der Pr?dikatenlogik ausführbar. Daher wiederholen wir in diesem Kapitel wichtige Grundbegriffe der Pr?dikatenlogik und illustrieren diese anhand von Beispielen. Eine ausführliche Darstellung hierzu findet man z. B. in [38, 131]. Unsere Darstellung orientiert sich an [38, 89].

Airtight

Logische Programmierung als auch Constraints, basieren auf der Pr?dikatenlogik. Die Constraintlogische Programmierung ist eine Generalisierung der logischen Programmierung, indem sie neben Gleichungen über Termen auch Constraints beliebiger anderer Bereiche zul?sst.

Gobble

Constraint Handling Rulestische Umformen von Constraint-Mengen oder -Konjunktionen zu verstehen. Im Wesentlichen werden dabei Teilstrukturen genutzt, die vordefinierten Mustern entsprechen, um weitere Constraints herzuleiten oder durch andere, ggf. einfachere zu ersetzen.

Employee

Symmetrien und Redundanzenwie 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.

profligate

Modellierungsbeispiele?hlten Beispiele vermitteln gesammeltes Erfahrungswissen darüber, wie Randwertprobleme ad?quat zu modellieren sind, dass sie mit Hilfe der Constraint-Programmierung m?glichst effizient gel?st werden k?nnen.

忘川河

JAUNT

Optimale L?sungen von CSPes CSP zu bestimmen, falls dieses l?sbar ist. Dies mag zwar bei vielen Problemen ausreichend sein, für manche CSP ist jedoch nicht . L?sung, sondern eine . L?sung gefragt, die den Wert einer Zielfunktion entweder minimiert oder maximiert.

Generosity