Mixed-strategy optimality certificate for a matrix game (source code)

= Mixed-strategy optimality certificate for a matrix game

If the column player has an optimal strategy at value $v$ and a row probability vector $p$ satisfies $p^TA\geq ve^T$, then $p$ is optimal: it guarantees $v$, while the optimal column strategy prevents every row strategy from exceeding $v$.