![]() |
Constraint Satisfaction Problem (CSP) |
![]() |
Constraint |
![]() |
unäres Constraint |
![]() |
binäres Constraint |
![]() |
Relation |
![]() |
unäre Relation |
![]() |
binäre Relation |
![]() |
Relation zwischen den Variablen ![]() ![]() |
![]() |
Constraint-Variable |
![]() |
Wertebereich einer Constraint-Variable (Domäne) |
![]() |
kartesisches Produkt der
Wertebereiche ![]() ![]() |
![]() |
Variablenwert aus der Domäne einer Constraint-Variable
![]() |
![]() |
Teilbelegung der Variablen eines CSP |
![]() |
Intervall |
![]() |
abgeschlossenes Werteintervall mit ![]() ![]() |
Schranke | |
![]() |
offenes Werteintervall mit ![]() ![]() |
![]() |
innerhalb der Präzisionsgrenzen die kleinste darstellbare Zahl
![]() |
![]() |
innerhalb der Präzisionsgrenzen die größte darstellbare Zahl
![]() |
![]() |
Menge der reellen Zahlen |
![]() |
Menge der beschränkten, abgeschlossenen, reellen Intervalle |
(ohne ![]() ![]() |
|
![]() |
Menge der unbeschränkten, abgeschlossenen, reellen Intervalle |
(inkl. ![]() ![]() |
|
![]() |
Menge der reellwertigen, unteren Grenzen
(inkl. ![]() ![]() |
![]() |
Menge der reellwertigen, oberen Grenzen (inkl. ![]() ![]() |
![]() |
Box |
![]() |
P ist kB-konsistent |
![]() |
P ist Box-konsistent |