WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Nash equilibrium

Revision #1420 → #1760 · back to history

modifiedMixed-strategy existence for zero-sum games (von Neumann)b4fd9948cc20
FieldFrom #1420To #1760
noteMathlib proves Sion's generalization of the von Neumann minimax theorem (saddle-point existence on compact convex sets), but the finite-action mixed-strategy zero-sum game case is not spelled out (file's own TODO).Mathlib proves Sion's generalization of the von Neumann minimax theorem (saddle-point existence on compact convex sets), but the finite-action mixed-strategy zero-sum game case is not spelled out.