Math & Numbers
Nullsummenspiel-Löser (Sattelpunkt / lineare Programmierung)
Löst Nullsummenspiele 2–6 × 2–6 (die Auszahlungsmatrix gehört zum Zeilenspieler, dem Maximierer; der Spaltenspieler zahlt): zuerst der Sattelpunkttest (gleicht das Maximin der Zeilenminima dem Minimax der Spaltenmaxima, existiert ein Gleichgewicht in reinen Strategien und alle Sattelzellen werden aufgelistet); andernfalls wird die Matrix verschoben, sodass alle Einträge ≥ 1 sind, und ein einphasiger Simplex (Schlupfbasis, Bland-Regel) löst max Σz u. d. N. Bz ≤ 1: das Primal liefert die gemischte Strategie q des Spaltenspielers, und die dualen Schattenpreise sind exakt die Lösung y des Zeilenspielers; der Wert wird zurückverschoben, x, q und v werden numerisch verifiziert (xᵀA ≥ v, Aq ≤ v) samt Minimax-Gleichheit. Klassiker: Münzwurf [[1,-1],[-1,1]] → Wert 0 mit 0.5/0.5-Mischungen.