 Positive-payoff linear programming for a matrix game

When every entry of a payoff matrix $B$ is positive, its game value $v$ is positive. Setting $x=p/v$ converts the row player's probability vector and guaranteed value into the displayed linear program, whose optimum is $1/v$. Conversely normalizing a feasible $x$ gives a mixed strategy guaranteeing $1/(1^{T}x)$. The dual maximizes $1^{T}y$ under $By\le 1$, $y\ge 0$ and recovers the column strategy by normalization. Adding a constant to every payoff preserves Nash equilibria and lets this positive-payoff formulation handle general finite zero-sum games.