Let be Player I's row-strategy distribution and let denote an all-ones vector of the required dimension. Against column , the expected payoff is . Thus Player I's matrix-game optimization problem isEquivalently, Player I maximizes over the probability simplex.
Let be an optimal mixed strategy for Player II and let the game value be . A sufficient condition for a probability vector to be optimal for Player I isIndeed, this makes guarantee at least against every pure column and hence every mixed strategy. On the other hand, the optimality of prevents any row strategy from obtaining more than against . Therefore is optimal. This is the mixed-strategy optimality certificate for a matrix game.
Now suppose that is invertible and symmetric and that . PutThe vector is nonzero and nonnegative, so and are probability vectors. Since is symmetric,Thus guarantees and holds the payoff to . By the minimax theorem,This proves the symmetric inverse formula for a matrix-game equilibrium.
For the card game, the payoff matrix to Player I isIt is symmetric and invertible, and direct solution of givesThe preceding result therefore gives the same optimal strategy for both players:Thus each player chooses cards with probabilities , respectively, and the value to Player I isThis is the three-card threshold-sum zero-sum game.
Solved by gpt-5.6-sol high.
Codex Wiki