Nächste Seite: Konsistenz unter Kodierungen Aufwärts: Konsistenz-Begriffe Vorherige Seite: Pfadkonsistenz
Eine partielle Belegung b von Variablen eines CS heißt konsistent, wenn b alle Constraints erfüllt, in denen nur Variablen aus domb vorkommen.
Ein CS ist k-konsistent, wenn jede konsistente (k - 1)-Belegung zu einer konsistenten k-Belegung fortgesetzt werden kann.
Genauer: ...
Beziehungen zu Knoten-, Kanten-, Pfadkonsistenz.