Matpic
mathematics, in pictures
Concept

Minimax

The most a cautious chooser can guarantee, which in a zero-sum game is the same number the opponent can hold them to.

Named by 2 essays across one field — each of them below, with the objects they name alongside it.

primal: max 3x₁ + 4x₂dual: min 12y₁ + 10y₂3x₁ + 2x₂ ≤ 12x₁ + 4x₂ ≤ 103y₁ + y₂ ≥ 32y₁ + 4y₂ ≥ 401234501234x₁x₂78/512100(14/5, 9/5)00.511.522.5301234y₁y₂78/53024(4/5, 3/5)05101520253078/51210078/53024they meet at 78/5primal vertex values, from belowdual vertex values, from aboveweak duality checked on all 12 pairs — each of the 4 feasible primal vertices against each of the 3 feasible dual vertices — andcᵀx ≤ bᵀy held every timestrong duality is the equality of the two optima: max 3x₁ + 4x₂ = 78/5 = min 12y₁ + 10y₂, one number reached from below andfrom abovethe dual region is unbounded upward and the drawing cuts it at the box; the enumeration ignores the cut

Two numbers that have to meet

Every linear program has a shadow — a second program built from the same numbers read the other way, whose minimum can never fall below the first's maximum. That much is a one-line calculation; the theorem is that the two numbers are always exactly equal.

applied · duality the row chooser mixes00.20.40.60.81-4-20246weight on row Apayoff to the row choosercol Xcol Ycol Z8/15 → 19/15the most the row chooser can guarantee: 19/15the column chooser mixes00.20.40.60.81-4-20246weight on col Xpayoff to the row chooserrow Arow B7/15 → 19/15the least the column chooser can concede: 19/15both sides name 19/15 = 1.267the value is 19/15 = 1.267, reached by the row chooser mixing 8/15 on A and by the column chooser mixing 7/15 on Xthe lower envelope of 3 lines peaks where two cross; the upper envelope of 2 bottoms out at that heightchecked against every pure reply on both sides, and over 61 mixtures on one side and 91 on the other

The value from both sides

Two choosers move at the same instant, and each asks the cautious question — how much can be guaranteed, whatever the other does. With pure choices the two answers are usually different numbers; allow a probability and they are forced to be the same one.

applied · equilibrium

Named alongside it

The objects these essays reach for when they reach for this one.

ConvexityDualityExistence proofLinear programDominant strategyFeasible regionMatrixMixed strategyNash equilibriumVertex enumerationZero sum game

All concepts