Nächste Seite: 3.2.1 Erstes Konzept
Aufwärts: 3. Stand der Technik
Vorherige Seite: 3.1 Einführung
Inhalt
Index
Nachfolgend ein Beispiel für eine Definition mit darin enthaltenen
mathematischen Symbolen (vgl. Güsgen, 2000, S. 269):
Definition 3.2.1
(Constraint-Erfüllung)
Gegeben sei ein CSP mit den Constraints
auf den
Variablen
mit den Wertebereichen
.
Ein Tupel
erfüllt
ein Constraint
,
, falls die zu den
Variablen von
gehörenden Werte aus
ein
Element der Relation von
bilden.
Unterabschnitte
Nächste Seite: 3.2.1 Erstes Konzept
Aufwärts: 3. Stand der Technik
Vorherige Seite: 3.1 Einführung
Inhalt
Index