Generator

game

A generator in the applied library, called 16 times across 2 essays. Below: what it draws at its defaults and at each mode an essay asks for, what it checks while drawing, and everywhere it is used.

game is one function. Everything below came out of it during this build, at parameters taken from the essays rather than invented for this page — so a figure here is the same figure a reader meets in an essay, and if the generator changes, this page changes with it.

At its defaults

Best replies in a coordination gameA bimatrix with every best reply marked on both sides and every cell that is a best reply for both boxed as a pure equilibrium. 2 such cells were found.the column chooserthe row chooserrow chooser's payoff, then column chooser'sXYAB3 , 3↑ ←0 , 11 , 02 , 2↑ ←a best reply on both sides — a pure equilibrium2 pure equilibrium cells in this 2×2 game: AX, BY↑ marks a payoff the row chooser cannot beat within its column← marks one the column chooser cannot beat within its rowall 4 cells tested twice: by the marks, and by whether a single move pays

show: "network"

The link that makes every traveller laterFour nodes and two routes, with the equilibrium flow and travel time before a zero-cost link is added between A and B and after. The travel time rises from 10 to 12.before the link A→B existsSABTcost 3flow 3cost 7flow 3cost 7flow 3cost 3flow 33 units each way, every traveller takes 10after the link A→B is addedSABTcost 6flow 6cost 7flow 0cost 7flow 0cost 6flow 6cost 0flow 6all 6 units one way, every traveller takes 12S→A and B→T cost 1 for each unit on them; A→T and S→B cost 7 whatever the trafficaverage travel time per traveller02468101214before the link10after the link12least possible119/12every traveller takes 10 before the zero-cost link exists and 12 after it doesthe least total travel time on the larger network is 119/2, an average of 119/12 = 9.917, so theequilibrium costs 144/119 = 1.210 times the least possiblechecked over every route at both flows, and against all 703 splits of the traffic on a lattice of sixths

show: "payoff"

Best replies in a game with one dominant reply eachA bimatrix with every best reply marked on both sides and every cell that is a best reply for both boxed as a pure equilibrium. One such cell was found.the column chooserthe row chooserrow chooser's payoff, then column chooser'sXYAB2 , 20 , 33 , 01 , 1↑ ←a best reply on both sides — a pure equilibrium1 pure equilibrium cell in this 2×2 game: BY↑ marks a payoff the row chooser cannot beat within its column← marks one the column chooser cannot beat within its rowall 4 cells tested twice: by the marks, and by whether a single move pays

show: "mixed"

The value of a 2×3 zero-sum game, named from both sidesThe row chooser's expected payoff against each column as a line over the mixing probability, with the lower envelope and its maximum, beside the same construction from the column chooser's side. Both give 19/15.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

show: "dominance"

Iterated elimination, and all 6 orders of itA 3×3 bimatrix with strictly dominated strategies struck round by round and the dominating strategy named at each step. All 6 possible orders of elimination reach the same surviving set, B against Y.1.XYZABC2,11,36,05,24,53,10,60,21,0row C goesrow A pays more in every column left2.XYZABC2,11,36,05,24,53,10,60,21,0column X goescolumn Y pays more in every row left3.XYZABC2,11,36,05,24,53,10,60,21,0column Z goescolumn Y pays more in every row left4.XYZABC2,11,36,05,24,53,10,60,21,0row A goesrow B pays more in every column left5.XYZABC2,11,36,05,24,53,10,60,21,0nothing left is dominatedB against Y survivesstrictly dominated strategies struck one at a time; B against Y survivesevery one of the 6 possible orders of elimination was run and all 6 reached the same surviving seta strategy is struck when another belonging to the same chooser pays strictly more against every surviving reply

What it checks while it draws

Collected by running the family and recording what it asserted, not written here. The count is how many separate times the claim was put to the test while these drawings were made.

Where it is called

Changing this generator changes every figure on this list. That is what makes the list worth publishing rather than keeping in a check script.

The whole library · What the figures prove