Combinatorial Game Theory
who wins, and by how much
Concept

Two numbers — where it appears

A pair of quantities standing in for a position, which is exact for a plain fight and lossy for everything else. Two positions with the same pair can be strictly ordered against each other, so the pair does not decide which to prefer.

Named by 7 essays across 4 fields — each of them below, with the objects they name alongside it.

{2 | 0} + {2 | 0} — where the temperature goes. Three thermographs on one frame: two positions and their sum. The mean of the sum is the sum of the means, every time. The temperature is not: it is bounded by the hottest of the parts and is often far below it, so the number that says how much is at stake in a whole board cannot be got by adding up the parts.

Two hot fights that add to a cold number

The mean of a sum is the sum of the means, every time. The temperature is not — it is bounded by the hottest part and is often far below it. Two positions each worth fighting over can add to a plain number that neither player wants to touch.

temperature · Thermograph {2 | 0}, added to itself. The value of n copies of one position, for each n, beside n times its mean and the smallest distance between the two. The mean value theorem says that distance stays bounded however many copies are piled up — and the bound is the position's temperature, which is what makes the temperature a second genuine measurement rather than a diagram-reading convenience.

The same fight, eight times over

The mean is not roughly what a position is worth. It is the number that eight copies of the position stay close to — and the theorem is that the closeness does not decay as the copies pile up. The gap stops at the temperature, and stays there for ever.

temperature · Temperature A switch, its mean and its temperature. Positions of the form {a | b} with a above b: both players want to move there, so neither is settled. The bar spans the two options, the marked point is the mean the position is worth once the fighting is over, and the temperature is half the gap — which is exactly what moving first is worth.

Worth nothing, and worth fighting for

A switch is a position both players want to move in. Its average value can be zero while the difference between getting there first and second is enormous, and that gap is a second number every position carries.

values · Switches Toads and frogs. Toads move right and frogs move left, one square into a gap or hopping over exactly one opponent. A player unable to move loses. It can be played on squared paper by anybody, and its values are immediately stranger than the game looks.

The strip nobody has a formula for

Some toads, a gap, some frogs. Two counts and a spacing is the whole description, and the values that come out of it are integers, stars, switches with eighth-point options and a down — four classes inside one two-parameter family, which is why nobody has written the formula.

positions · Toads and Frogs Which end of the interval is open. Every value born by day 3 compared with each of its own two stops — 2,948 comparisons, each one a search over the difference. The two rows are mirror images because the day is closed under negation, and the small number in each row is the exception class: the 352 values whose two stops coincide, for which the left stop is the right stop and the law has nothing to bite on.

Which end of the interval is open

The confusion interval is open at both ends, and the two ends are not the same kind of open. At its own left stop a position can be below the number, confused with it or equal to it, and — over 2,948 comparisons — above it exactly thirty-three times, every one of them a value whose two stops are the same number and whose left end is therefore also its right one.

values · Stops The switch formulas, off the hypothesis they were stated for. Values born by day three with exactly one option a side, split by whether both options are numbers. On the twenty-one that satisfy the textbook hypothesis the midpoint and half-gap formulas are exact; on the 146 that do not, the same formulas read off the two stops instead hold about three quarters of the time.

A fight with no midpoint

The mean of {a | b} is the midpoint and the temperature is half the gap — on the twenty-one values of day three where a and b are numbers. One hundred and forty-six others have the same shape and not the hypothesis, and the repair that suggests itself, reading the two stops instead of the two options, holds on about three quarters of them and no more.

values · Switches Where the thirty sit on the scale. How many of the values equal to their own negatives carry each temperature. Fifteen sit at nought, fourteen are hot, and one is a number — so the subgroup runs the whole length of the scale rather than living at the cold end of it.

The thirty that cancel themselves

Thirty values born by day three are equal to their own negatives, and every one of them has a mean of exactly nought and two stops that are exact opposites. Neither property comes close to picking them out — 496 values of the day have a mean of nought — and half of the thirty are hot, one of them the hottest value the day produces.

sums · Negation

Named alongside it

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

SwitchTemperatureMean valueThermographHot gameInfinitesimalCoolingDay threeStar (∗)StopsAdditivityAll-small

All concepts