Nächste Seite: 5.3.4.2.1 Azyklische Constraint-Netze
Aufwärts: 5.3.4 Toleranzpropagation
Vorherige Seite: 5.3.4.1 Lokale Toleranzpropagation
Inhalt
Index
5.3.4.2 Globale Konsistenz durch Toleranzpropagation
Analog zu dem Begriff der globalen Konsistenz (vgl. Abschnitt 5.2.3.5) unterscheidet
Hyvönen zwischen lokal und global konsistenten
Toleranzsituationen
(vgl. Hyvönen, 1992, S. 77):
Definition 5.3.11
(global konsistente Toleranzsituation)
Eine Toleranzsituation ist global konsistent, gdw. alle Variablen
,
global konsistent sind, d.h. es
existiert zu jeder beliebigen zulässigen Belegung , jeweils eine gültige Belegung aller übrigen Variablen, so dass
sämtliche Constraints ,
erfüllt sind.
Um sicherzustellen, dass es Lösungen für ein bestimmtes Problem gibt,
ist globale Konsistenz erforderlich. Aus Definition 5.3.10
und Definition 5.3.11 ist ersichtlich, dass durch globale
Konsistenz lokale Konsistenz impliziert wird.
Unterabschnitte
Nächste Seite: 5.3.4.2.1 Azyklische Constraint-Netze
Aufwärts: 5.3.4 Toleranzpropagation
Vorherige Seite: 5.3.4.1 Lokale Toleranzpropagation
Inhalt
Index