next up previous contents index
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 $v_i$, $i
\in \{1,\ldots,n\}$ global konsistent sind, d.h. es existiert zu jeder beliebigen zulässigen Belegung ${v_i=x}$, ${x \in I_i}$ jeweils eine gültige Belegung aller übrigen Variablen, so dass sämtliche Constraints $C_j$, $j \in \{1,\ldots,m\}$ 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
next up previous contents index
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