The collection

Every essay — page 35

One idea per essay, ordered so that the earlier ones set up the later ones — but nothing here depends on being read in sequence.

Values

What a position is worth — numbers, and the things that are not numbers, and how to find the simplest one.

The value does not count the good moves. How many of a Domineering region's placements are best ones, against what the region is worth. Half the values have two regions that disagree about the count, and 52 disagree over whether there is a choice at all.

How many moves are worth making

A value answers who wins and by how much, and the anchor below names the quantities it discards. This is the first of them counted. Over 1,034 Domineering regions and 125 values, 63 values have two regions disagreeing about how many placements are worth making and 52 disagree over whether there is any choice at all — and the count of good moves stays near one and a half however large the region gets.

6 figures · Tempo
The margin the count needs. Every pair of Left options sorted by how many more replies one leaves the opponent than the other. At a margin of three the option leaving fewer replies is never the worse one.

The margin a count needs

Leaving the opponent fewest replies names only surviving options nine times in ten, which leaves the question of what a bound stated in that count would have to be weakened to. It is a margin. Over 57,879 pairs of Domineering options, the one leaving the opponent fewer replies is the worse of the two 1,052 times at a margin of one and 72 times at a margin of two — and at a margin of three, never.

6 figures · Dominance
Four ways to count a reply. The plain count of the opponent's replies against three weightings of it, each scored on the same pairs of Domineering options. Every weighting has a larger threshold than the plain count and gets more pairs wrong.

The weight that blunts the count

The rung below found that counting the opponent's replies gets the direction of a comparison right once the gap reaches three, and proposed a repair: weigh each reply by whether it leaves the opponent anything. Weighing it makes the count worse. The threshold goes from three to four, the failures from 1,124 to 1,320, and all seventy-two of the pairs the repair was written for come through it unchanged.

6 figures · Dominance
The error is half the follow-up. Each bent value's true temperature, the temperature the stop reading gives it, the difference, and half the temperature of its hot option. The last two columns agree on every value.

Half a follow-up out

The rung below settled which values the stop reading is wrong about — the ones whose walls bend — and left the size of the error unmeasured. It is not bounded by anything readable off the diagram; it equals something readable off the diagram. On all thirty-two, the mean and the temperature are each out by exactly half the follow-up's temperature, and the temperature is always read too low.

6 figures · Switches
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.

6 figures · Realisability
What a value costs a player. The number of positions a winning strategy has to tell apart, against the number of values among them. The value compresses 4,269 positions into 128 numbers and leaves 3,308 choices to be remembered.

What a strategy has to remember

A value answers who wins and by how much, and it settles neither how many moves achieve it nor whether the best one is unique. Counted over every position reachable inside the catalogue of regions, the gap has a size: 4,269 positions carry 128 values between them, and a player who wants to win rather than to predict has to store 3,308 choices — twenty-six entries for every number the theory supplies.

6 figures · Tempo
Every failure is on one board. The eight Domineering boards of the mobility census with the number of failing pairs on each. Seven of them contribute none; every failure at a margin of two is on the largest board, at two depths, and sixteen positions up to symmetry.

The threshold was a fact about the census

Two rungs failed to account for the seventy-two pairs where a mobility count gets the direction of a comparison wrong, and the third looks at them one at a time. They are not a class of shapes. All seventy-two are on the largest board in the census, at two depths, and sixteen positions up to symmetry — and one board larger the count fails at a margin of three, which the ladder has been quoting as the point at which it never does.

7 figures · Dominance
The correction on eleven times the pool. The stop reading and the corrected stop reading scored against the true temperature over every non-number value born by day three. The correction was measured on thirty-two values and holds on three hundred and forty-eight.

A second level of stops

The rung below found the stop reading's error to be exactly half the follow-up's temperature and asked whether the correction survives a wider pool, survives two bends, and can be stated without a thermograph. It survives eleven times the pool, missing two values in 1,459. It needs no thermograph — the follow-up's temperature is half its own stop gap. And it does not survive two bends, because day three contains no value with two of them.

6 figures · Switches
The excess is not a flat fee. The excess fitted against the birthday inside each ruleset with enough values to fit a line. A fee would have a slope of nought; every slope here but one is negative, so the excess is largest on the values born earliest.

The entry fee was the cap

Two rungs measured how much bigger a position has to be than the value it exhibits, and attributed what was left to the ruleset — Toads and Frogs paying 2.25 squares on everything, green Hackenbush paying nothing. Neither number is a property of the rules. Inside every ruleset the excess falls as the birthday rises, because the sweep's size cap censors exactly the values that would pay most — and three squares past the cap, Toads and Frogs exhibits values born later than the strip is long.

6 figures · Realisability
The list saturates at three. Rules added greedily, each chosen to answer the most decisions given the ones already on the list. Three rules answer 94.5 per cent, and the fourth and fifth answer not one more.

Three rules and a tie-break

An exhaustive table of what a Domineering strategy has to remember is 3,308 lines. Three rules applied in order answer 94.5 per cent of it — leave the opponent fewest replies, then keep the region whole, then take whichever placement comes first — and the fourth and fifth rules answer not one more. The residue is 181 decisions in which every rule scores the candidates the same and one of them is worse.

6 figures · Tempo
The wall as an envelope. A thermograph with each option's contribution to its wall drawn over it, built from that option's two stops alone. The wall is the envelope of those contributions and it bends where the envelope has a corner.

The bend is in the stops

The stop reading comes down to one question — does this wall bend? — and the question here is whether that can be answered from the options' stops instead of from a diagram. It can, in four lines, and it gives more than the bend: on all 1,459 non-number values born by day three the options' stops determine the entire thermograph. One day deeper it breaks, and every failure is a value with a bent-walled option.

7 figures · Switches
Two orders of magnitude. The share of positions of a size whose value is one no smaller position exhibits. Every Hackenbush string is a new value and fewer than one Clobber row in a hundred is.

The rate was the alphabet

The rung below asked for a quantity a size cap cannot censor and proposed the rate: how many new values a ruleset produces per extra square. The rate is honest and it measures the notation — every ruleset grows at close to the number of symbols its positions are written in, and the seven span less than a factor of two. What separates them is the yield, which spans a hundred and nineteen.

6 figures · Realisability
Thirteen sweeps, four thresholds. The mobility rule's failures on every board and depth the sweep can afford, with the threshold each one gives. The thresholds take four different values and no ordering of the boards produces them.

A threshold is a detection limit

The rung below had two points — a margin of three at fifteen squares, four at eighteen — and asked whether the mobility rule's threshold grows with the board. Eleven more sweeps say no property of a board orders the thresholds, that the same board at two depths gives two of them, and that a tenth of the sweep which produced the four reports three instead. What does move, on every board measured twice, is the depth.

6 figures · Dominance
Two failures, not one. The decisions a Domineering strategy has to store, split by what the two content rules do: answer them, name a worse placement, or leave two candidates standing.

Seventy-two of them were not silence

The rung below said its 181 unanswered decisions were all the rules falling silent and asked whether the position's value picks the placement once the geometry cannot. Seventy-two of the 181 are the rules speaking and being wrong, which is a different failure. On the 109 that really are silence, a rule chosen per value answers more than half — and the star class the rung below singled out is settled outright by leaving the younger position.

6 figures · Tempo
How many levels, and how often. Every value in both pools by the number of levels of the recursion its thermograph needs before the stops suffice.

A bend that never reaches the surface

How many levels of the recursion a thermograph needs before its stops suffice is a number attached to a position, and the rung below conjectured it was the depth of the deepest bend in the tree. It is not: on 124 values a bend one level down costs nothing at all. What the number counts is the longest unbroken chain of bends running down from the top, exact on 2,400 of 2,403.

6 figures · Switches

All ladders · Every object named here · The position index · Figures that play back · Search