Switch — where it appears
Named by 72 essays across 5 fields — each of them below, with the objects they name alongside it.
What is at stake
Some positions both players are desperate to move in, and some neither player wants to touch. The difference is a number — how much the move is worth — and it turns out to be the most useful single quantity for deciding where to play.
Domineering
One player places dominoes vertically, the other horizontally, on a shared grid. The rules take one line, the values are a mess, and that mess is the point — this is what the theory looks like applied to a game nobody designed for it.
Reading a thermograph
A thermograph is two walls rising from a number line, closing in as the tax on moving increases, and meeting where the position stops being worth fighting over. Everything about a position's hotness is in the shape.
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.
A game older than the theory
Kōnane was played on carved lava boards in Hawai‘i long before anybody wrote a brace notation, and its rule for losing is the normal-play convention arrived at some centuries early. Evaluate a row of it and the answers are halves, quarters, stars and infinitesimals — the theory's whole vocabulary, out of a game that was not built to display any of it.
Cooling
Charge a tax on every move and a fight becomes a number. The height of tax at which that happens is the temperature — so cooling is not a technique for finding the temperature, it is what the temperature is.
One board, two rules
Col forbids painting next to your own colour. Snort forbids painting next to your opponent's. One word differs, the boards are identical, and the values that come out are not the same kind of object.
The endgame, accounted for
Add up what each region is worth, then add the biggest thing at stake, subtract the next, and so on down. On a board of simple fights the result is exact — and the moment one region has a fight inside it, the account is out by a point.
Cutcake, where every value is a whole number
A partizan game in which no position is ever worth a fraction, a star or a fight. Every value is an integer, the integer is a count of spare moves, and the pattern it follows is decided by binary digits.
Numbers avoid numbers
In a position with a number in it and anything else, the number is never the right move. That is a theorem rather than a heuristic, and it is the closest this subject comes to advice a player can carry into a real game.
Two hot fights that add to a cold number
The mean of a sum is the sum of the means, every time. The temperature is not — it is bounded by the hottest part and is often far below it. Two positions each worth fighting over can add to a plain number that neither player wants to touch.
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.
Worth nothing, and worth fighting for
A switch is a position both players want to move in. Its average value can be zero while the difference between getting there first and second is enormous, and that gap is a second number every position carries.
Big is not the same as hot
A player sizes a move by how much changes hands when it is played, which is the number in every endgame book. The theory sizes it by temperature. On a plain switch the two agree exactly, so nothing shows; on a move with a follow-up they come apart, and the count gives up more than the guarantee the theory's rule carries.
Sente is a fact about the rest of the board
A move that must be answered is called sente, and the word is used as though it described the local position. It does not. The same fight is answered while the rest of the board is quiet and ignored once it is busy, and the crossover — measured by solving the whole board at every temperature — sits at the follow-up's own temperature.
A thermograph is built from its options'
The diagram is not measured, it is computed — each wall is an extremum over the options' opposite walls, shifted by the tax. That construction is why a hot follow-up lowers the temperature instead of raising it, and why two fights with the same swing can differ by a factor of two in what is at stake.
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.
Double sente is not a property of the position
A fight with a threat on each side is called double sente, as though the phrase named a shape. Swept against a rising ambient temperature, one such fight — { {5 | 3} | {2 | −4}} — is double sente up to an ambient of 1, sente for one player only from 3/2 to 3, and gote for both from 7/2, and the two band edges are the temperatures of the two follow-ups.
The strip nobody has a formula for
Some toads, a gap, some frogs. Two counts and a spacing is the whole description, and the values that come out of it are integers, stars, switches with eighth-point options and a down — four classes inside one two-parameter family, which is why nobody has written the formula.
When a real board falls apart
Amazons is played competitively, and late in a game the arrows have cut the board into regions no piece can cross. From that moment the position is a disjunctive sum — arrived at by the play rather than assumed — and the territory count every program uses can be measured against what the sum is actually worth.
An environment made of coupons
Beside the game sits a stack of coupons worth 4, 3, 2, 1, 0, and a player may always take the top one instead of moving. Play the whole thing out and two quantities the theory computes are measured instead: {4 | 0} comes out worth exactly 2, its mean value, and the coupons stop at 2, its temperature. For {10 | {9 | 1}}, whose temperature is 1, they stop at 7/2 — because what the stopping coupon measures is the hottest temperature anywhere in the tree.
One rule makes it cold, the other hot
Col forbids painting next to your own colour and Snort forbids painting next to your opponent's. Over all 540 colourings of six graphs, not one Col position has anything at stake and 61 Snort positions do — the difference between a game that is a count and a game that is a series of fights, produced by one word.
A thermograph with two bends
A wall bends where the option holding it up stops holding it up, and most drawn thermographs bend once. { {5 | {3 | 1}} | 0} bends twice, at 1 and 3/2, and neither height is its temperature of 7/4 — every bend lies strictly below where the walls meet. Over a census of 17,255 hot positions two levels deep, a second bend in one wall never happened once.
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.
The values of every small board
Thirty Domineering rectangles, every value computed from the moves rather than looked up. The 1×n row obeys a formula and the 2×n row does not: its outcomes run L N N R three times over and then 2×13 comes out worth exactly 0, and its temperatures climb to 19/16 and fall back without settling.
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.
A number and a fight
Charge a position exactly what it is worth fighting over and the fight disappears, leaving the mean value — with something still attached to it. Over all 1,122 hot values born by day three the residue is smaller than every positive number, it is a star in 942 of them, and it is never nothing. So a hot game is its mean plus a fight plus a remainder that no number reports, and the remainder is what decides close games.
Amazons on one line
A board one square high is small enough to evaluate completely: every strip from two to ten squares with one amazon a side is 37,886 positions taking 81 distinct values, and every one of them is an integer, a switch, a number plus a star, or a bare star. Not one is a fraction — and forcing the arrow onto the square just vacated, which takes a freedom away rather than adding one, produces 1,196 that 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.
The same strip without the jump
Delete one clause from Toads and Frogs — the hop over an opponent — and the game is Elephants and Rhinos. Over the same 3,279 strips the values do not become simpler in the way a reader would guess: every value that is a number becomes an integer, against 172 fractions with the jump in, and the count of positions worth fighting over nearly doubles. Removing a move made the game hotter.
When a switch is not a switch
A position {a | b} with numbers on both sides is a fight only while a is above b. Sweeping the boundary with a fixed at 2 and b climbing from −2 to 3 turns up three regimes rather than the two the definition suggests: eight fights whose temperature is exactly half the gap, one position at a = b that is 2∗ and is not a number, and beyond that numbers chosen by the simplicity rule — which on 8 of 12 sampled cases is not the midpoint.
Cooling adds and heating does not
The two operators are presented as a pair, and they are not one. Cooling a sum is the same as cooling the parts and adding, on every one of the 1,768 pairs tried, at two taxes and on two pools. Heating fails on 263 — and not for the obvious reason: in every failure neither part and not the sum is a number, so the clause exempting numbers never fires at the top. It fires two levels down, where an option of a sum is one part's option plus the whole of the other.
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.
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.
Topple it from either end
A row of blue and red is the picture this site opens with, and under Hackenbush's rules it is always a number. Knock the pieces over instead of cutting them — everything on the chosen side falls — and 480 of the 510 rows up to eight pieces stop being numbers. The two games agree on sixteen rows, every one of a single colour, and the temperature of the hottest row climbs by exactly a half for each domino added.
How cold a sum of hot games can be
The temperature of a sum is at most the largest temperature in it, and the bound leaves the whole interval below it open. Over 1,035 pairs the sums do not use that interval: 864 sit exactly at the maximum, 160 are frozen outright, and eleven land anywhere in between — every one of them with a component whose wall bends.
Every group must keep breathing
NoGo is Go with no captures at all: a stone may be placed only if, afterwards, every group on the board still has a liberty. That makes a move's legality a fact about the whole board rather than about the squares it occupies — and a board therefore almost never breaks into independent parts. Of 117 boards here whose empty points fall into two regions, 24 are the sum of their regions and 93 are not.
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.
A board that is a sum of its regions
A table of rectangles is a table about the openings. A partly played Domineering board is not a rectangle, and evaluating one means splitting it into pieces no domino can straddle, looking each piece up and adding. The catalogue of 104 shapes does it correctly on every one of the 3,227 positions of a 3×4 board it covers — and among the shapes are two worth an up and a down, which no rectangle ever is.
What is left when the copies pair off
A pile of n copies stays within a bounded distance of n times the mean, and the distance never grows. The difference is a game rather than a number, and what it actually is has a much better answer: for a plain switch it alternates between one fight and nothing at all, and for a fight with a follow-up it is different every time — bounded in size and unbounded in complexity.
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.
The strip where every number is a whole one
Delete the hop from Toads and Frogs and the halves, quarters and ups vanish completely: over 9,801 strips, every value that is a number is an integer, without a single exception. The guess that the hopless game therefore has a formula reading the gaps is half right and exactly wrong — 1,460 strips of eight squares are switches, and three strips with the same counts of toads, frogs and empty squares are worth 1, {2 | 1} and 2.
How hot a day gets
A day of construction buys exactly one degree of temperature — nought, then one, then two — and the value attaining the maximum is unique on every day: ∗, then {1 | −1}, then {2 | −2}. The distribution underneath is not tidy at all: it peaks at a half, leans to the right of the peak, and has a hole in it at one and three quarters where nothing is born.
How hot a background has to be
The reduced canonical form throws away infinitesimals, and the rung below asked for a bound: how hot must the rest of the board be for the discarded part not to matter? There is no such bound. Safety is not monotone in the background's temperature — an eighth is safe, a quarter is not, two is safe again — and the quantity that does decide it is not a temperature but a stop.
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.
A fight with no midpoint
The mean of {a | b} is the midpoint and the temperature is half the gap — on the twenty-one values of day three where a and b are numbers. One hundred and forty-six others have the same shape and not the hypothesis, and the repair that suggests itself, reading the two stops instead of the two options, holds on about three quarters of them and no more.
The answer that starts another fight
A local move is answered while the ambient temperature stays below the follow-up's — and that rule, which this site has carried since the anchor opened, is exact only when the answer ends the fight. When the answer starts another one the crossover is exactly half the follow-up's temperature, on every position tested, and a third level of fight does not halve it again.
The thirty that cancel themselves
Thirty values born by day three are equal to their own negatives, and every one of them has a mean of exactly nought and two stops that are exact opposites. Neither property comes close to picking them out — 496 values of the day have a mean of nought — and half of the thirty are hot, one of them the hottest value the day produces.
Fifty-two errors and seven sizes
Day two is a lattice and a group and not a lattice-ordered group, and the fifty-two incomparable pairs it fails on leave fifty-two different error terms. Measured rather than listed, the fifty-two collapse: seven pairs of stops, three means, three temperatures, and a rule that predicts the temperature from the pair on forty-four of them.
The cheapest way to show a value
Eleven thousand positions from fifteen rulesets reach 1,193 values, and for each of them there is a smallest board that shows it. Set against the birthday the two measures agree hardly at all — until the numbers are taken out, at which point they agree rather well, and the whole apparent independence turns out to be a fact about integers.
A schedule instead of a number
Playing in the hottest component loses at most the largest temperature on the board — the classical guarantee, stated against one number. Sorting the temperatures and reading the guarantee one step further down gives a promise 47 per cent smaller that is never breached over 1,734 sums. Two steps down it fails 120 times, so the schedule has exactly one step of slack in it.
What the halving is a function of
A move is answered while the board is cooler than the follow-up's temperature — or half of it, depending which of two classes the position is in, and the classes were stated in terms of forms. They are a feature of one wall: whether the follow-up's right wall rises straight up before it leans. Fifty-five positions, no exception, and the crossover becomes something a reader can see.
When to leave the environment
A Go player's question is not which fight to take but when to stop taking the small stuff. Put two fights beside a stack of coupons and the orthodox answer — leave when the coupon falls to the hottest temperature on the board — is exact on sixty of eighty-one pairs. All twenty-one departures have a fight with a follow-up in them, and every pair of plain switches leaves on time.
The bend is the condition
The rung below offered a description of the class its stop reading is exact on — neither wall bends below the meeting point — and a route to proving it: that a bend happens precisely when some option is neither a number nor an infinitesimal. The first is exact on all 138 values, both directions, no exception. The second is half right: every bent value has such an option and 49 unbent ones do too. And the eight apparent exceptions to the first turn out to be a bookkeeping convention.
How big the answer is
The rung below found every early departure from a coupon stack caused by a position with a follow-up, and could not say more: its follow-ups were all of a similar size, so the class it measured was one bit. A pool graded by follow-up size answers it. With the position's own temperature held at one, the departure runs from coupon 1 to coupon 3.5 as the follow-up's temperature runs from 1 to 4 — and over the whole grid the players leave at the larger of the two temperatures.
A self-negative value costs a day
The rung below placed the thirty values equal to their own negatives on the temperature scale and asked whether being self-negative forces anything about when a value can be born. It does, exactly: the earliest self-negative value of temperature t is born the day after t itself, which accounts for the four temperatures that carry one and the four that carry none. The guess it offered — that the first value of each temperature is a self-negative one — holds at four temperatures out of five and is not the shape of the answer.
What a fight does to a fight
A number added to a position shifts both its stops by itself; an infinitesimal moves neither. A hot game does neither: over 720 sums the two stops add on 330 and are wrong on the rest. What survives is the mean, which adds on every one of the 720 — and the failure has a bound, since no stop is ever out by more than twice the smaller of the two temperatures, a bound 222 of the sums attain exactly.
A subtraction, not a factor
The crossover factor was a half on fights whose answer starts another fight, measured on a pool with two three-deep positions in it. A pool built to be deep gives twenty, and the factor does not survive them: the crossover is the follow-up's temperature less a half on eighteen of the twenty, and a factor of a half agrees with that only where the temperature is one — which nearly every position in the earlier pool had.
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.
Half of the smaller temperature
The correction to the sente crossover has been priced twice — first as a factor of a half, then as a subtraction of a half — each time on a pool whose answers were all about the same size. Over 128 fights with answers from a number up to a temperature of six, the correction is half the answer's temperature, saturating at half the fight's own. Both earlier readings are regions of that one law.
One fight makes a board a fight
The rung below found 16 per cent of the components a played game produces to be hot, against 53 per cent of the catalogue they are drawn from, and predicted that the share of hot boards would be much larger. Taking the same play-outs and tallying at the board gives 32 per cent — twice the piece figure and not ten times it, because a Domineering board carries only 1.68 pieces and the hot ones cluster on the same boards.
A bound with one number too many
The rung below bounded how far a hot addend can drag a stop — twice the smaller of the two temperatures — over sums whose addends were all plain switches, and conjectured that an addend with a follow-up would need twice the smaller of three numbers. Over 1,440 sums with bent addends the two-number bound holds everywhere and is attained 358 times, and the three-number version fails on 66.
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.
Which end a sum lands at
The rung below found the errors in a translated stop clustered at the two ends of the range its bound allows — 660 at nought and 358 exactly on the bound — and asked for a rule saying which end a given pair lands at. There is one, in four lines, exact on all 1,440 sums. Three of the four cases are decided by the value being translated alone, and the property that decides them is the bend the switches ladder found for a different question entirely.
The two numbers at the top
The rung below found the crossover of a sente fight to be its temperature less half its answer's, and said a proof would settle the depth question with it. The depth question is settled without the proof, by construction: group the positions by their two top temperatures and the crossover is single-valued on every group, however far apart the third temperature is — and the formula survives a fourth level of fight, which the rung below never reached.
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.
Where the value stops mattering
Fourteen straight-walled pairs missed the bound on a translated stop and had only a threshold to explain them. Their stops move by exactly the addend's temperature — a formula with the value nowhere in it — which turns the threshold into the boundary between two lines and closes a census of 1,440 pairs that has been open for four rungs.
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.
The square that cannot be halved
Every number in hopless Toads and Frogs is a whole number, which the rung below measured on seven thousand strips and could not explain. The reason is that every empty square is either one player's alone or split evenly between them — except one, and that one is where the numbers stop.
What has to break before a pawn is worth a number
Every value the blocked-file model can hold is an infinitesimal, and the reason is one sentence about the move rule rather than anything about pawns. Break that sentence — a pawn stuck behind a friend, a square only one side can hold — and integers, switches and positions worth fighting over arrive at once.
One king, and two files to be in
The whole apparatus needs the files to be independent, and a king is what makes them not. With the kings unable to move the sum of the parts is exact on every configuration; give each king a single waiting move and the sum names the wrong winner on one configuration in six, and on a hundred and twenty-six of two hundred and forty-three with three files.
Named alongside it
The objects these essays reach for when they reach for this one.
TemperatureThermographMean valueHot gameCanonical formDisjunctive sumStopsExhaustive searchEnumerationInfinitesimalStar (∗)Counterexample