Keyword: linear-programming

Proof plan LP Duality Proof Of Minimax admitted

Theorem LP Optimum ↔ Game-Theoretic Optimal Strategy admitted

Definition Player-1 LP Formulation of a Matrix Game admitted

Definition Player-2 LP Formulation of a Matrix Game admitted

Proposition Strong Complementarity proved

Theorem Strong Complementarity For Linear Programming proved

Theorem Strong Duality For Linear Programming proved

Proof plan Zero-Sum Linear Programming Bridge admitted