Combinatorial Game Theory
who wins, and by how much
Concept

Width — where it appears

The number of options a canonical form carries, Left's and Right's together, which is the fewest any form of that value has. It is the size of two antichains in the order of games, and it bounds neither the depth of the form nor the length of the expression.

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

How many options a value needs. The canonical form is the smallest form of its value, so the number of options it carries is a property of the value. Three days of the construction, with the widths that occur and the widest value of each.

How wide a form can get

Bypassing a reversible option replaces it with a whole option list, so a form grows in the middle of its own reduction. Whether it can come out wider than it went in is the question that leaves standing, and over 64,515 forms built from day-two options the answer is no, not once — the growth is real, it is transient, and the widest canonical form reached is exactly as wide as the widest form that reaches it.

values · Reversibility What a value costs to write down. Every one of the 1,474 values born by day three, grouped by the width of its canonical form, with the number of symbols the form takes when it is written out. Each count was obtained by walking the canonical form and counting its nodes, so a subposition appearing twice is counted twice — which is what writing it out does. The widest values of the day are not the longest to write.

What a value costs to write down

The canonical form is the smallest form of its value, and it is smallest in the one currency the reduction happens to spend: options. Counted in symbols it is nothing of the kind — the widest value born by day three is not the longest, the longest has six options rather than seven, and every canonical form on the day except the seven integers writes some position out twice.

values · Reversibility What a day of canonical forms costs, written out and written once. Three costs for the values born by each of the first three days: every node written every time it occurs, every distinct subposition of a single form, and every distinct subposition of any form of the day. The last is one node per value, and the gap between the first and the last widens as the construction goes on.

The same position, written once

Writing out the canonical forms of day three takes 24,940 nodes. Naming each distinct subposition once inside each form takes 10,102, and naming each distinct subposition once across the whole day takes exactly 1,474 — one per value, because nothing appears inside a canonical form that is not itself a value of the day.

values · Reversibility The trend, running backwards. The excess grouped by the width of the value's canonical form. Values with wide option lists are exhibited nearer their birthdays than narrow ones, which is the opposite of what the proposal predicted.

Wider costs less

The rung below found the cheapest exhibit of a value never smaller than its birthday, exactly equal on two thirds, and the ruleset explaining 40 per cent of the rest. The variable it proposed for the remainder was the width of the form. Width and excess correlate at −0.39: the wider the value, the closer to its birthday it is exhibited, and inside a ruleset the relation cannot even agree on a sign.

values · Realisability Self-negative values, day by day. How many values each day of the construction supplies and how many of them are their own negatives. Day four cannot be counted; a corner of it supplies 571.

At least five hundred and seventy-one

The rung below dated the self-negative values — the earliest of temperature t is born the day after t — and left the count to a day-four census nobody can run. The construction settles it instead: a value is its own negative exactly when its form is a mirror, so the subgroup can be built from subsets of the day below rather than sifted out of the day above. Day four supplies at least 571 against day three's 26, and the share of a day that is self-negative keeps falling.

sums · Negation

Named alongside it

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

BirthdayCanonical formDay threeEnumerationFormNotationBorn on dayCounterexampleDay twoDepthExhaustive searchGame tree

All concepts