Generator

The picture is the numeral

The picture is the numeral
The picture is the numeral. Blue-red Hackenbush strings and their values. Left may cut a blue edge, Right a red one, and everything above the cut falls. The value of each string is a number, and reading the string from the ground upward gives the binary expansion of exactly that number.

Blue-red Hackenbush strings and their values. Left may cut a blue edge, Right a red one, and everything above the cut falls. The value of each string is a number, and reading the string from the ground upward gives the binary expansion of exactly that number.

9 essays call hackenbush-numbers. The drawing above is what it returns with no arguments at all; every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about.

The positions it draws

29 distinct positions, harvested by running this generator again at the options each essay passed it.

PositionWorth OutcomeDrawn in
E N How many ups · Squash every loop to a point · Hackenbush is a numeral · Three ways to add the same games · Outcomes do not add · The other sum, the one that nests · The sum is the object
EE ∗2 N Squash every loop to a point · Hackenbush is a numeral · The other sum, the one that nests
EEE ∗3 N Hackenbush is a numeral · The other sum, the one that nests
EEEE ∗4 N The other sum, the one that nests
EL ↑∗ N A green edge on a blue one · How many ups · Squash every loop to a point · The other sum, the one that nests
L 1 L A green edge on a blue one · Squash every loop to a point · Hackenbush is a numeral · Nothing worth fighting over · The numbers came out of the game · The other sum, the one that nests · The reading that survives too much · The simplicity rule · The values nobody's game produces · What the colon respects
LE 1∗ L A green edge on a blue one · How many ups · Squash every loop to a point · Hackenbush is a numeral · The numbers came out of the game · The other sum, the one that nests
LL 2 L Squash every loop to a point · Hackenbush is a numeral · Nothing worth fighting over · Three ways to add the same games · Outcomes do not add · The numbers came out of the game · The simplicity rule · The sum is the object
LLE 2∗ L A green edge on a blue one · The numbers came out of the game
LLL 3 L Hackenbush is a numeral · The numbers came out of the game
LLLL 4 L Hackenbush is a numeral · The numbers came out of the game
LLR 3/2 L The numbers came out of the game
LLRL 7/4 L Hackenbush is a numeral
LR 1/2 L Canonical form · Comparing positions · Squash every loop to a point · Hackenbush is a numeral · Nobody comes back · Nothing worth fighting over · The numbers came out of the game · The other sum, the one that nests · The reading that survives too much · The simplicity rule · The sum is the object · The values nobody's game produces · What the colon respects
LRE 1/2∗ L A green edge on a blue one · The numbers came out of the game
LRL 3/4 L Squash every loop to a point · Hackenbush is a numeral · Nothing worth fighting over · The numbers came out of the game · The other sum, the one that nests · The reading that survives too much · The simplicity rule · The values nobody's game produces · What the colon respects · When the nested sum only sees the value
LRLL 7/8 L What the colon respects
LRLR 5/8 L Hackenbush is a numeral · The numbers came out of the game · The other sum, the one that nests
LRLRL 11/16 L The numbers came out of the game · The other sum, the one that nests
LRLRLR 21/32 L The numbers came out of the game
LRR 1/4 L Squash every loop to a point · Hackenbush is a numeral · Nothing worth fighting over · Three ways to add the same games · Outcomes do not add · The numbers came out of the game · The other sum, the one that nests · The reading that survives too much · The simplicity rule · The sum is the object · The values nobody's game produces
LRRL 3/8 L Squash every loop to a point · Hackenbush is a numeral · Nothing worth fighting over · The reading that survives too much · The simplicity rule · The values nobody's game produces
LRRR 1/8 L Hackenbush is a numeral · The numbers came out of the game · The other sum, the one that nests
LRRRR 1/16 L The numbers came out of the game · The other sum, the one that nests
R −1 R Three ways to add the same games · Outcomes do not add · The other sum, the one that nests · The sum is the object
RL −1/2 R The other sum, the one that nests · The sum is the object
RLR −3/4 R Hackenbush is a numeral
RR −2 R The other sum, the one that nests
RRLR −7/4 R Hackenbush is a numeral

Where it is called

Changing this generator changes every one of these figures.

The picture is the numeral. Blue-red Hackenbush strings and their values. Left may cut a blue edge, Right a red one, and everything above the cut falls. The value of each string is a number, and reading the string from the ground upward gives the binary expansion of exactly that number. Particular games

Hackenbush is a numeral

Draw a stalk of coloured edges. Read it as a string, blue for one and red for zero, and the string is the binary expansion of what the position is worth. Not approximately — exactly, and the site computes it both ways and refuses to build if they disagree.

The simplest number in between. A game whose options are numbers is worth the simplest number strictly between them — and simplest means born earliest, so integers come before halves and halves before quarters. It is not the midpoint, and the difference is the whole content of the rule. Values

The simplicity rule

When both players' options are numbers, the position is worth the simplest number strictly between them. Not the midpoint, not the average, and the difference between "simplest" and "middle" is the entire content of the rule.

The days this site can compute, and the ones it cannot. Zero on the first day, ±1 on the second, and thereafter the simplest number in every remaining gap — the construction run by the game recursion, which produces only fractions with a power of two underneath however long it goes on. Below it, three objects the same recursion reaches when the stopping rule is removed, each written with its option set and the exact reason this site's machinery cannot hold it. They are named rather than drawn, which is the honest half of a figure-first collection. How it was found

The numbers came out of the game

The construction is always taught numbers first and games second, and the discovery ran the other way. Conway arrived at the number system from positions, which is why the definition quantifies over sets of previously built objects rather than over cuts — and why it produces a genuinely different collection at every finite stage.

a triangle on a stalk, worth ∗2. A Hackenbush position in which every edge is green, so either player may cut any of them and the position is impartial. Its value is a single Nim heap. Two principles find which one: fusion, which collapses every cycle to a point and leaves that many loops behind, and the colon principle, which replaces a branch by a stalk as long as the branch's own value. Particular games

Squash every loop to a point

Colour every Hackenbush edge green and the game becomes impartial, so the whole picture is worth a single Nim heap. Two principles find which one without playing anything — fuse the cycles, then run one pass up the tree — and a nine-vertex lattice that costs 1,283 positions to solve costs twelve steps to read.

The picture is the numeral. Blue-red Hackenbush strings and their values. Left may cut a blue edge, Right a red one, and everything above the cut falls. The value of each string is a number, and reading the string from the ground upward gives the binary expansion of exactly that number. Sums and comparison

The other sum, the one that nests

A move in one part wipes the other out entirely. That is the ordinal sum, it is what a Hackenbush stalk actually is — 1 : (−1) is a half, and 1 : (−1) : 1 is three quarters — and it is not an operation on values at all: three positions all worth zero give three different answers under it.

Shove strips, and what each is worth. A shelf of positions with the value the recursion returns beside each. Every one is a number: Shove has no hot positions at all, which is unusual for a partizan game and is the first of the essay's three claims. Particular games

Nothing worth fighting over

Shove is a strip of coins beside a cliff, and both players have completely different moves. Every one of its 728 positions is worth a number, so nobody ever wants to move; the winner is the owner of the coin furthest from the cliff, in all 728; and the number the board is worth is not the sum of its coins — that reading is exact on 126 strips and wrong on 588 of the other 602.

The values the construction hands down, and the values games produce. The two lists counted against each other. The construction produces 1,474 values by day three; the eleven thousand positions swept here produce 1,193, and only 116 of those are on the construction's list. A value's birthday and a value's reachability have nothing to do with each other. Values

The values nobody's game produces

The construction hands down 1,474 values by day three. Seventeen rulesets on this site, swept to eleven thousand positions, produce 1,193 — and only 116 of those are on the construction's list. Two of the twenty-two values born by day two are produced by no position of any game here, and 1,077 of the values that are produced are born later than day three. A value's birthday and a value's reachability have almost nothing to do with each other.

When counting the free squares gets Push right. Every Push strip of at most seven squares, split by whether any line of play can bring two coins of opposite colour together. Where none can, the count of free squares in front of each coin is the value, without exception; where one can, the count is right more often than not. Particular games

The reading that survives too much

Counting the empty squares in front of each coin gets a Push position right half the time, and the rung below said the failures were exactly the positions with two coins of opposite colour side by side. Sixty-six of the 1,072 failures have no such pair, the smallest is five squares long, and the condition that does decide it is not about the board at all — it is about every position the board can reach.

How much of the value the colon respects. Every form whose option lists are antichains of day-two values, grouped by the value it reduces to, and each group asked whether all its forms give the same ordinal sum with star. On 636 of the 640 groups they do. Sums and comparison

What the colon respects

The ordinal sum reads the form of its base rather than its value, which is why the colon principle is stated for positions and not for values. Built over 9,604 forms it turns out to read the value on 636 of the 640 values that have more than one form, and the four it can tell apart are zero, one, minus one and star — the values born by day one, and no others.

The whole library · The position index · The figures that play back