Anwendungsaufgabe

Motivation: (Un)gleichungssysteme über

• ({ - $\infty$} $\cup$ $\mathbb {N}$, max, +) (arktischer Halbring)
• ($\mathbb {N}$ $\cup$ { + $\infty$}, min, max) (,,fuzzy`` Halbring)

• Term $\to$ Variable | Zahl | max(t₁, t₂) | min(t₁, t₂) | t₁ + t₂
• Formel $\to$ Gleichung. (Ungl. nicht nötig, warum?)

(auch für reelle Zahlen) nicht auf lineares Ungl.sys. reduzierbar (sonst P=NP).

Anwendung: Terminationsbeweise mit arktischen/fuzzy Matrizen