Differenz-Logik

Die Erfüllbarkeit einer Konjunktion von Differenz-Constraints kann reduziert werden auf eine Eigenschaft eines Graphen.

• Definieren Sie alle Parameter des Graphen.
• Definieren Sie die zu testende Eigenschaft.

(jeweils allgemein und am Beispiel

x₁≤x₂ +3∧x₂≤x₃ +4∧x₃≤x₁ -7∧x₄ +5≤x₂ mathend000#)

In welchen Anwendungsproblemen treten solche Constraints auf? (Was ist dabei die Bedeutung der Variablen, was die Bedeutung der Zahlen?)