Minimax Theorem
In any finite two-player zero-sum game, max-min and min-max values coincide in mixed strategies.
Definition
Von Neumann (1928):
The common value is the value of the game; any saddle-point attains it.
Intuition
Rational worst-case planning yields the same outcome for both sides.
It guarantees an optimal defensive strategy for each player in pure conflict.
Worked example
Matching Pennies has value with optimal mixes for both.
A RPS matrix has value with optimal.
The math
Proof by LP duality: the row-player's LP is dual to the column-player's, so strong duality gives the minimax equality.
Generalizations include Sion's minimax theorem for quasi-concave/convex payoffs on compact convex sets.
Where it is used
Foundation of LP duality, robust optimization, statistical decision theory, and adversarial training of generative models.
Fictitious play converges to the minimax value in zero-sum games.
More in Game theory
Assembled from the ReLU.chat curated knowledge base. These explanations are concise on purpose; check the sources for anything important.