Comparison — where it appears
Named by 70 essays across 9 fields — each of them below, with the objects they name alongside it.
The sum is the object
Real positions come apart into independent regions, and a move happens in exactly one of them. That operation — the disjunctive sum — is what the whole theory is built to survive, and it is the reason values exist at all.
Who moves last
The player who cannot move loses. That single convention generates the whole theory — and it produces four outcomes rather than three, because a position can be confused with zero rather than greater, smaller or equal to it.
Comparing positions
One position is worth at least another when the second player wins their difference. That is the only definition there is, it is a computation rather than a judgement, and it produces an order in which some pairs are simply not comparable.
Canonical form
Two positions are worth the same when neither player can tell them apart inside any larger game. Deciding that could be an infinite search. Instead there is a normal form — delete what nobody would play, bypass what backfires — and equality becomes a comparison of two small trees.
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.
Wythoff's game, and the ratio nobody put there
Two heaps, three kinds of move, and losing positions that lie along a line of irrational slope. Nothing in the rules mentions a ratio, a length or a continuous quantity — and the golden ratio comes out anyway.
Turn the board through a right angle
A two-by-four Domineering board is worth something no number can express, and Right is ahead on it. Turn a second board through a right angle, put the two side by side, and the total is exactly zero. Every position has an exact opposite, and that single fact is what makes subtraction — and therefore comparison — possible at all.
Amazons, and when a position becomes a sum
Every technique on this site starts from a position already broken into independent parts. Amazons does not begin that way — the board is one fight until the arrows cut it, and the moment of cutting is something the play produces rather than the analyst assumes.
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.
Three ways to add the same games
A move in exactly one component is a choice, not a law. Move in every component at once and the game is different; move in any set of them and it is different again. The same two positions, added three ways, give three different answers — and only one of the three has values that add.
Comparing two positions means playing a third
There is no way to look at two games and see which is better. The question "is G at least H?" is answered by building G − H and asking who wins it — so the most basic operation in the theory is a decision problem, and every canonical form is built out of them.
Two hundred and fifty-six ways to write twenty-two things
Every game whose options come from the four born on day one — there are 256 of them, and between them they carry 22 values. The reduction that collapses one to the other has choices in it at every step, and uniqueness is the claim that none of the choices matters.
Misère play has no negatives
Put a position beside its own mirror image and answer every move with the mirror move. Under normal play the answerer wins and the sum is worth zero. Under misère the answerer still has every reply and loses because of it — so there is no zero, no subtraction, and no comparison, which is why the misère theory had to be rebuilt rather than adjusted.
The notation was the argument
Up, star and the brace form are not abbreviations for case analyses. They are the claim that these objects add — and the arithmetic they support is arithmetic that no table of outcomes could ever produce, because two positions with identical outcomes can have different sums.
Tiny, miny, and the sizes below every size
An empty two-by-four Domineering board is worth less than nothing and more than every negative number. It is not up, not down and not a fraction — it is a miny, and the minies come in sizes, strictly ordered among themselves below a floor no number reaches.
Where the impartial theory stops
Sprague–Grundy gives every impartial position one number, and the number is complete. The moment the two players have different moves no number works at all — not a harder one to compute, none — and three positions here are compared against every nimber to show it.
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.
Confused is not the same as unknown
Two positions can be neither greater, nor smaller, nor equal. That is a fourth relation with its own symbol, it is a fact about the pair rather than a limit of the method, and it is what makes a game worth playing — a position is a first-player win exactly when it is confused with zero.
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.
What a value leaves out
A value settles who wins, by how much, and what happens in every sum the position appears in. It says nothing about when. Seven positions here are worth exactly zero and interchangeable everywhere, and they run from two moves long to eighteen.
Equal in every company
Two games are equal when no third game can tell them apart — a quantifier over every position there is, discharged by one finite test. A search over 184 contexts separates all 5,790 unequal pairs it is handed and still calls two different games the same, which is exactly why G − H = 0 is a theorem and an exhaustive search is not.
Where the fight stops
Keep taking the biggest thing on offer until somebody is left facing a number, and the number reached is a stop. Every position has two of them, one for each player moving first, and between them they say how a fight ends — except for the part of it no number can reach.
What a move is worth to the player making it
The gain from a move is the option minus the position it was played from — and that is a game rather than a number, so two moves can be incomparable instead of one of them being best. Temperature is what happens when the largest of those games is asked for a single number.
When the ups add
Atomic weight brackets do not add over a sum — they bound it. Over all 120 pairs from a fifteen-game family the sum's bracket came out exactly the sum of the parts' brackets 56 times, strictly narrower 64 times, and wider never; and the rule separating the two is one line long, because every one of the 54 pairs with a pinned part is exact and only 2 of the other 66 are.
The switch a player is imagining
Every account of a hot position ends up as "worth about m, and worth t to move in", which is the switch {m+t | m−t}. For a plain fight that summary is the position exactly. For a fight with anything behind it the leftover is not a rounding error — on one position here it is a whole second fight of temperature two.
The values that are their own negatives
Every game satisfies G + (−G) = 0, so a game equal to its own negative satisfies G + G = 0 — it has order two in a group whose elements otherwise have infinite order. The nimbers do. So does ±1, on sight. Over the 1,474 values born by day three there are 30 of them and only four are nimbers, every one of the 900 sums of two is another, and the equality test and a symmetry of the written form agree 1,474 times out of 1,474.
How old a value is
A form's depth bounds the birthday of the value inside it, and reducing to canonical form attains the bound — for all 22 values born by day two, with no exception. Twenty-four of the 256 forms are older than what they are worth. The same reduction that makes the bound tight is what puts day three within reach: 98 option sets a side instead of four million, 9,604 forms, 1,474 values, a quarter of a second.
Knowing who wins, and knowing what it is worth
Deciding a winner expands positions. Computing a canonical form expands pairs of positions, because a comparison unfolds as a recursion over one subposition of each and the reduction makes many comparisons. Measured on the same nine positions by an evaluator that starts empty every time, the second costs between 1.3 and 279 times the first, and the ratio grows with the tree.
Nobody has to move
Every convention here rests on one sentence nobody examines — the players move alternately. Replace it with an auction and a position stops having an outcome class and starts having a number: the share of the money the second player needs. The 22 values born by day two collapse to seven of those numbers, eight of them landing on exactly a half; the new number respects the game order on all 179 comparable pairs, and is not determined by the parts under addition on 14 of 49.
What a number does to a fight
Adding a number to a position moves everything and changes nothing: over three thousand translations the temperature never once shifted and both stops moved by exactly the number added, every time. What the number decides is whether the fight is worth having — and the interval where the two players are confused is exactly the open interval between the negated stops, right in all 2,890 cases away from its endpoints and wrong in 110 that are all on them.
How rare it is to be bigger
Values are partially ordered, and 'partially' does most of the work. On day two, 179 of 231 pairs can be compared and 13 of the 22 values can be compared with zero. One day later the shares are 60% and 29%, and the largest set of mutually incomparable values found rises from four to at least twenty-three. Comparison is the exception; confusion is what values normally do to one another.
One row of Clobber
Every string of blue, red and empty squares up to eight long — 9,840 rows — carries one of only 111 values, and every one of them is infinitesimal. A third of the rows are worth exactly zero. Six alternating stones are worth zero and eight are worth a form that takes four lines to print, so the values do not simplify as the row grows: they explode, while the row stays trivial to describe.
The fight never runs backwards
Left's stop is never below Right's — in every one of 1,780 distinct values, computed twice by two independently written routes, with nothing that disagreed anywhere. The inequality is what makes a mean value well defined and a fight a fight; and where it collapses to equality, 433 of the 460 cold positions turn out not to be numbers at all.
An option nobody would take
Every reduction of a form deletes. The gift horse principle adds: a move may be handed to a player for nothing, provided it is one they would never choose. Over all 484 additions to the values born by day two, 283 leave the value exactly where it was and the 201 that move it are precisely the ones the condition forbids — with the boundary at *not better*, which is a weaker demand than *worse*.
Equal in this company
Equality quantifies over every game there is, and the quantifier can be made smaller. Restricted to a company of nine numbers, the twenty-two values born by day two collapse to seventeen; restricted to four games — nought, one, minus one and star — they stay twenty-two, and no three of the four will do. The company that decides equality is tiny, and it has to contain a star.
What is left when the small change is thrown away
Canonical form answers a demanding question: which positions are interchangeable inside every sum whatever. A player with a hot board does not have every sum — an infinitesimal difference cannot decide anything against a genuine fight — so there is a coarser question with an exact answer. The reduced canonical form takes the 1,474 values born by day three to 61, with 292 of them collapsing to zero, and it is a homomorphism on all 8,100 pairs tested only when a second pass is made.
The simplest game above both
Values sit in a partial order, and a partial order is entitled to be ragged: two things with no least thing above them. The 22 values born by day two are not ragged at all. Every one of their 253 pairs has a least upper bound and a greatest lower bound among the same 22, and the order is distributive on all 10,648 triples — so it is a lattice, and the join of zero and star is one half.
What can be struck out
From G + X = H + X it follows that G = H, in one line, by adding −X to both sides. It is the shortest theorem here and the most used: it is what makes comparing two boards region by region legitimate. Over 10,648 triples the hypothesis fires 484 times and the conclusion holds 484 times — and the licence expires in three separate directions, each of which loses the same axiom in a different way.
Nobody wants to move here
A position is a number exactly when every move loses ground for the player making it. The test never mentions numbers, it disagrees with the ordinary one on none of the 1,474 values born by day three — and the reason a position fails it is not that somebody wants to move. It is that somebody cannot afford to wait.
The reduction that puts options back
Canonical form is presented as simplification, and half of it is. Deleting a dominated option takes one away. Bypassing a reversible one substitutes the answer's whole option list, so it can leave the form wider than it started — and 60 of 32,428 forms end up with a canonical form wider than they are.
The reduction that always shrinks
Canonical form is two reductions and they are not the same kind of operation. Deleting a dominated option removes one option and can do nothing else; bypassing a reversible one substitutes a whole option list. Over the 256 forms born by day two, deleting alone finishes 225 of them and accounts for 480 of the 520 options that come off — and the 31 it cannot finish are almost all the ones with a star in them.
How much a list of options can lose
Deleting a dominated option is the reduction with no surprises, and how many options it takes is decided by the shape of the order rather than by the values in it: the survivors are the maximal elements, and the count is the length of the list less the number of them. The essay separating the two reductions closed by predicting that the longest chain would give the number. It is a lower bound, exact on 3,859 of the 7,315 four-option lists and wrong on the rest.
The numbers it is confused with
A position is confused with a number when neither is at least as good as the other, and the set of such numbers is an interval. It is exactly the open interval between the two stops: over 36,850 comparisons the rule is wrong nowhere it speaks, and the 2,596 comparisons it declines are precisely the ones at an endpoint, where the position and the number differ by an infinitesimal.
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.
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.
Where the order and the sum disagree
Day two is a lattice, and day two is a group, and it is not a lattice-ordered group. The one identity that would join the two structures — the join plus the meet equals the pair — holds on exactly the 201 pairs where it cannot fail and on none of the other 52, and the errors split thirteen high, thirteen low and twenty-six confused.
The question in the middle
Between knowing who wins each part and knowing what each part is worth sits the question a player actually has: who wins the board. Priced on sums of two it lands between the other two on seven of eight, cheaper than the values by up to eight times. On sums of three, with nothing repeated, it is dearer than the values on five of six — because a component multiplies a search and only adds to a value.
Which option the reduction keeps
Domination deletes an option when another is at least as good, so what survives is the top of an order. On a board that order is made of moves, and two descriptions of the surviving move suggest themselves. Over 1,586 Domineering option lists one of them is right 47% of the time and the other 90%, and the one that wins is not the one a player would guess.
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.
What the class does not buy
Dead-ending is the hypothesis several modern misère results are stated under, and the rung below sorted this site's games into it without running the comparison those results are about. Running it: a quarter to a half of ordered pairs compare inside a ruleset's own universe, which is a great deal — and the ruleset that is not dead-ending sits in the middle of that range. Ten comparisons are lost when a universe is enlarged, and every one is lost to a dead-ending company.
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.
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.
What identifies two subsets
Every subset of a day gives a self-negative value by mirroring it, and 1,793 subsets of day two give thirty values. The collapse happens in two stages with different characters: domination takes the 1,793 to 96 antichains and is a theorem, and the rest of the reduction takes 96 to 30 and is concentrated almost entirely on two values — nought, which has an exact description, and star, which has none.
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.
Wrong in one direction only
The rung below asked for the simplified comparison test the dead-ending hypothesis is supposed to license, and predicted it would agree with the quantifier on the dead-ending rulesets and not on Toads and Frogs. Written three ways and scored on 492 pairs, it agrees best on the ruleset that is not dead-ending — and never once refuses a comparison that holds, which makes it a sound filter and not a test.
The clause that turns the class off
Three rungs failed to find the dead-ending class doing measurable work, and each time the population was blamed. Toads and Frogs with and without the jump is the matched pair the anchor wanted — the same board with the class switched on and off — and on it the test the class licenses gains less from the class than a control that has never heard of it.
The easy case was not the reason
The rung below found the mobility rule reaching a failure rate of exactly nought near the endgame and named what a proof would need: that a decomposed board's comparable options are ordered by reply count. That statement is false on all five boards, at margins up to two — and split positions go exact two squares of depth before whole ones, so decomposition is the easy case rather than the cause.
A floor, and not a decline
Comparability fell eighteen points from day two to day three and the next day cannot be enumerated. It can be built — and the construction's bias measured one day lower, where the truth is known. Corrected, day four comes to 60.6 per cent against day three's 59.7: the fall was a one-day event.
One number, stated two ways
Twice the height of the cut held and was loose; the height alone failed. The smallest true constant is three halves — exact and attained as a bound on how far the value can fall, and an infimum attained nowhere as a bound on the value. The gap between the two is one move.
A factor, and not an overhead
Deciding who wins a form searches the form's own tree. Reducing it to canonical form searches a difference game for every comparison, and a difference game is a sum. Over 256 forms the reduction expands 5.46 times as many positions — and the ratio runs from 0.58 at one option to 9.80 at eight.
One of four questions
Three rungs of this ladder rest on sweeps of day two — 22 values, 253 pairs. Day three is 1,474 values and over a million pairs, and only one of the four questions can be asked of it. The order can: twice as many pairs are incomparable and every one of 1,606 sampled still has a least upper bound and a greatest lower bound, none of them a value day two already had. The other three compare sums of day-three values, which are born on day six, and sixty of those exhausted an eight-gigabyte heap.
Nothing to subtract with
Comparison is defined by contexts and computed by subtraction, and the equivalence between the two is a theorem about groups. A scoring game is not one — sixty-six of eighty-one coin rows do not cancel against their own negatives — and the difference test then fails on a row compared with itself, which every context accepts and nothing certifies.
The restriction that buys the most
Four candidate classes of scoring game, scored on the same two families and the same three questions. The class everyone expects to be tiny — the rows that cancel against their own negatives — is empty on rows of three and the widest restriction on rows of four, where it holds fifteen rows against the hereditary class's twelve and gets all 225 of its comparisons right against 108 of 144. The trade everyone expected does not exist.
Left always wins, and loses more often than not
Alternating play answers with one of four classes and the coin answers with a chance, and the two do not have to agree. Over the twenty-two values born by day two they never disagree and the margin is exactly nothing — the lowest chance on a position Left wins whoever moves is a half. Over the 1,474 born by day three, seven of them sit at seven sixteenths, and seven mirror them on the other side.
Every chance but a certainty
The coin's number lands on a grid of dyadic fractions, and which points of that grid arrive is a count rather than a guess. Over the 1,474 values born by day three it reaches every one of the fifteen interior sixteenths and neither end — no position is ever certain. The groups sharing a chance run 1, 2, 4, 8 on the small pool, which looks like doubling, and 1, 2, 4, 20 on the large one, which is not.
The coldest position has the biggest swing
How much a flip is worth is the gap between the coin's two branches, and it is a rival to the temperature — both answer how much is at stake. They disagree at once: the empty position has the lowest temperature there is and a swing of one, twice the hottest thing born on day two. On the small pool the two quantities look like a perfect three-way correspondence, and 255 of day three's values break it.
The best chance is the wrong move
Maximising a probability and denying an opponent a reply are different objectives, and on 189 of the 904 day-three positions where Left has a choice and a winning move, the option the coin prefers is one that loses the alternating game outright. The smallest case is two options and one line of arithmetic: five eighths beats a half, and a half is the move that wins.
Twenty draws and a second recipe
Day four's comparability was reported as 60.6 per cent against day three's 59.7, from one built sample and one calibration. Built twenty times with each of two recipes whose biases differ by six points, and calibrated against all 1,474 day-three values rather than a quarter of them, the corrected figure spreads over twelve points from seed to seed and the two recipes agree within one standard error. The floor survives; the decimal was one draw.
Cancelling is not pairing
The coin rows that cancel against their own negatives looked like the rows whose coins pair off as nested equal pairs, and on rows of four they are exactly those. From six coins the description fails in both directions — twenty rows pair off perfectly and do not cancel, and one coin set has a hundred and thirty-six that cancel with no pairing at all — and a row of five coins cancels, though an odd row can never pair off. What does hold, on every row swept, is that the first player in a row plus its negative never finishes behind.
A cancelling pair is a zero
Two cancelling coin rows side by side cancel against their two negatives — all 190 pairs from rows of two, four and five coins, the odd row that cancels without pairing off included. And a cancelling row beside its negative is invisible next to any other row: in 741 tests against every row of one to three coins, neither score of the context moves. A non-cancelling pair moves a score in 452 of 780. Scoring games have no inverses in general; this class has them, and they behave as inverses must.
Named alongside it
The objects these essays reach for when they reach for this one.
Canonical formExhaustive searchOutcome classDisjunctive sumStar (∗)Partial orderNormal playEqualityInfinitesimalEnumerationCounterexampleTemperature