Combinatorial Game Theory
who wins, and by how much
Concept

Multiples of up — where it appears

A whole number of copies of up, which is the yardstick an all-small position is measured against when no number will do. A position with no star in it is pinned to a single multiple; one with a star is bracketed between two, four apart.

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

How many ups, bracketed. Every position here is all-small, so no number says anything about it and the yardstick has to be ↑ instead. Each bar spans the multiples of ↑ the position lies between: the largest it is at least, and the smallest it is at most. Four of the seven are pinned to a single multiple of ↑; the rest keep a band that comparison cannot narrow, the widest being ∗ at four ups of slack.

How many ups

When every component of a position is smaller than every positive number, no number can decide it. What decides it is a count of ups — and comparison can pin that count down exactly, except when a star is present, when it cannot.

sums · Infinitesimals Clobber: every value smaller than every number. Blue and red stones on a small board. A move takes one of your own stones onto an orthogonally adjacent enemy stone, which is removed. Because adjacency is symmetric, a player has a move exactly when the opponent does — so no position can ever be worth a whole move to anybody, and every value that comes out is an infinitesimal.

The class where nobody runs out first

Three stones in a row — blue, blue, red — and the position is worth exactly up. Clobber cannot produce anything else, because adjacency is symmetric — a player has a move precisely when the opponent does, and a game with that shape can never be worth a whole move to anybody.

values · Infinitesimals Seven infinitesimals, added to a whole day. Each row adds one infinitesimal to every value born by day three. The stops never move — that is what being smaller than every number means — the temperature moves a handful of times, and the outcome class moves in a quarter of the additions.

What an infinitesimal does to a fight

Adding a number moves both stops by exactly itself. Adding something smaller than every number moves neither — across 10,318 additions to a whole day of values, not once — and the outcome class changes anyway, 2,622 times. It changes at exactly one kind of position: the ones with a stop sitting on zero, which is where the numbers have run out of things to say.

sums · Translation What an approximation is worth. Every pair of Clobber rows up to six squares, judged twice: by their up-brackets and by the comparison itself. The bracket is never wrong where it speaks, and most of what it declines to answer has no answer.

When the bracket decides

A Clobber row's value is an all-small game nobody can hold in their head, so the practical answer is the up-bracket: a pair of integers between which its atomic weight must lie. As an approximation it is worth exactly what it settles — 1,585 of 7,875 pairs of rows are ordered by it, every one of those orders is right, and of the 6,290 it declines, 4,222 have no answer either.

positions · Clobber A sequence with a rule and no period. The values of the subtraction game with Left taking 1 or 2 and Right taking 1 or 3, from heap 5 up. Each is the game whose only Left option is nought and whose only Right option is the value three heaps below — checked at every heap rather than asserted, and the two heaps where it fails are the two below the seeds.

A sequence with a rule and no period

The values of the subtraction game where Left takes one or two and Right takes one or three never repeat — thirty-one heaps, thirty-one different values. They are nonetheless completely described: three seeds and the rule v(k + 3) = {0 | v(k)} generate every one of them, which is what a pattern without a period looks like.

positions · Partizan subtraction

Named alongside it

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

InfinitesimalStar (∗)All-smallAtomic weightUp (↑)ComparisonExhaustive searchCanonical formClobberInfinitesimal comparisonOutcome classPartizan

All concepts