Sattelpunkt-Rechner

Ein Sattelpunkt in einem Zwei-Personen-Nullsummenspiel ist eine Zelle der Auszahlungsmatrix, die zugleich das Minimum ihrer Zeile und das Maximum ihrer Spalte ist. Existiert eine solche Zelle, kann der Zeilenspieler den Spielwert durch Wahl dieser Zeile sichern, der Spaltenspieler ihn durch Wahl dieser Spalte auf genau diesen Wert halten, und das Paar reiner Strategien ist ein Nash-Gleichgewicht. Studierende, Tutorinnen und Tutoren sowie Prüfungsautorinnen und -autoren brauchen eine schnelle Prüfung, ob Maximin gleich Minimax ist, plus die Liste jeder Sattelzelle, ohne Zeilenminima mit Spaltenmaxima zu verwechseln. Dieser Sattelpunkt-Rechner der Spieltheorie nimmt eine rechteckige Auszahlungsmatrix des Zeilenspielers entgegen, berechnet jedes Zeilenminimum und jedes Spaltenmaximum, vergleicht die Sicherheitsniveaus Maximin und Minimax und meldet, ob eine Lösung in reiner Strategie existiert.

Was ein Sattelpunkt ist und warum Maximin gleich Minimax ist

In einem Zwei-Personen-Nullsummenspiel wählt der Zeilenspieler eine Zeile der Auszahlungsmatrix und der Spaltenspieler eine Spalte; die gewählte Zelle ist der Betrag, den der Zweite dem Ersten zahlt, oder der Nutzen des Zeilenspielers, wenn die Tafel bereits in dieser Konvention steht. Ein Sattelpunkt ist eine Zelle, die zugleich der kleinste Eintrag ihrer Zeile und der größte ihrer Spalte ist. Der Zeilenspieler, der eine hohe Auszahlung will, kann mindestens das Maximum unter den Zeilenminima — den Maximin-Wert — sichern, indem er eine Zeile spielt, die dieses Maximum erreicht.

Der Spaltenspieler, der diese Auszahlung klein halten will, kann das Ergebnis höchstens auf das Minimum unter den Spaltenmaxima — den Minimax-Wert — drücken, indem er eine Spalte spielt, die dieses Minimum erreicht. Diese beiden Sicherheitsniveaus erfüllen stets Maximin kleiner oder gleich Minimax. Sie sind genau dann gleich, wenn mindestens eine Sattelzelle existiert, und dann trägt jede Sattelzelle diese gemeinsame Zahl, den Spielwert in reinen Strategien.

Das zugehörige Aktionspaar ist ein Nash-Gleichgewicht: Der Zeilenspieler kann die Auszahlung gegen die Sattelspalte nicht durch Zeilenwechsel erhöhen, und der Spaltenspieler kann sie gegen die Sattelzeile nicht durch Spaltenwechsel senken. Lehrbuchtafeln drei mal drei haben oft einen einzigen Sattel; manche Matrizen haben mehrere Zellen mit demselben Wert und bilden ein kombinatorisches Rechteck von Gleichgewichten; Münzmatching hat keinen, weil Maximin minus eins und Minimax plus eins ist. Jeden Sattel zu finden oder zu beweisen, dass keiner existiert, ist daher der erste vollständig algebraische Schritt, bevor jemand zu gemischten Strategien übergeht.

Wo ein Sattelpunkt-Rechner der Spieltheorie sich lohnt

Einführende Spieltheorie-Kurse geben Sattelpunkt-Übungen, weil Maximin gegen Minimax die erste greifbare Gleichgewichts-Fertigkeit vor gemischten Strategien und Best-Antwort-Graphen ist. Tutoriums-Plattformen und LMS-Autokorrektoren brauchen ein deterministisches Orakel, das jede Sattelzelle auflistet oder meldet, dass keine existiert, statt einer Tabelle, die eine Fast-Gleichheit still als Gleichheit behandelt.

Lehrende, die Übungsbanken bauen, wollen dieselbe Drei-mal-drei-Lehrbuchtafel, die Studierende von Hand rechnen — Zeilenminima eins, drei und null, Maximin drei, Spaltenmaxima vier, drei und fünf, Minimax drei, Sattel in Zeile zwei Spalte zwei — und wollen, dass Münzmatching als sauberes Ergebnis ohne Sattel zurückkommt und die Vorlesung zu gemischten Strategien motiviert. Operations-Research-Notebooks, die kleine Nullsummenmodelle noch in reinen Strategien lösen, können diesen Endpunkt aufrufen statt eine weitere Min-Max-Schleife zu schreiben.

Heften Sie die zurückgegebene Matrix und die geordnete Sattelliste in Tests fest, halten Sie Einträge endlich und die Form innerhalb der Sechzehn-mal-sechzehn-Grenze, und Sie erhalten reproduzierbare reine Strategien für Hausaufgaben, Prüfungsgeneratoren und leichte industrieökonomische Notizen, ohne einen vollständigen Spieltheorie-Löser aufzubauen. Koppeln Sie diese Fähigkeit mit einem Werkzeug für gemischte Strategien, wenn Maximin strikt kleiner als Minimax ist; halten Sie diese auf die Zelle konzentriert, in der ein Zeilenminimum einem Spaltenmaximum gleicht.