Combinatorial Game Theory
who wins, and by how much
The collection

Every essay — page 29

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

Temperature

How much is at stake, measured. Thermographs, cooling, and why a player moves where the game is hottest.

How much changes hands, against how much is at stake. Two ways of choosing where to move, run against optimal play over every board from a pool of three components. Biggest-first takes the component where the most changes hands, which is the count in every endgame book; hottest-first takes the one with the highest temperature. They disagree on most of these boards, the count costs points more often, and — the difference that matters — the count sometimes loses more than the largest temperature on the board, which is the bound the theory's rule is guaranteed to keep.

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.

8 figures · Temperature {5 | {4 | 0}} beside one other fight. A local position and a single switch, played out together at each of several ambient temperatures. The middle columns are what optimal play does: whether it opens the local fight, and whether it answers when the opponent opens it. The answer stops being forced at a temperature the local position alone does not name.

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.

7 figures · Sente The thermograph of {6 | {5 | {4 | 0}}}. Temperature runs up the page and value across it. Each wall is where a player is willing to move once a tax of that much is charged per move; above the temperature at which they meet, neither wants to move and the position is worth its mean value. The height of the meeting point is what is at stake.

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.

6 figures · Thermograph Is {{5 | 3} | {2 | −4}} double sente?. One local fight with a follow-up on each side, played out inside a sum with a switch whose temperature rises. The two middle columns are what optimal play does when each player opens the fight. Whether the opponent has to answer is settled by the ambient temperature and not by the shape, so the same position is double sente, sente for one player, and gote for both, at three different ambients.

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.

9 figures · Sente {4 | 0} played out in a stack of 5 coupons. An idealised environment: coupons worth a fixed step less each, which either player may take instead of moving in the game. The rows are the line optimal play takes over the whole board, in order. What the game turned out to be worth is set beside its mean value, and the coupon the players stopped at beside its temperature — two quantities measured from the play, and two computed from the thermograph.

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.

9 figures · Coupons The thermograph of {{5 | {3 | 1}} | 0}. Temperature runs up the page and value across it. Each wall is where a player is willing to move once a tax of that much is charged per move; above the temperature at which they meet, neither wants to move and the position is worth its mean value. The height of the meeting point is what is at stake. The marks partway up the walls are the bends: the heights at which the option holding a wall up stops holding it up. Each stands at the temperature of a follow-up. Every one of them is below the temperature of the position itself, which is where the two walls meet.

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.

8 figures · Thermograph Cooling by 1, and heating back. Each row is a position, its temperature, what it becomes when every move is taxed, and what comes back when the tax is refunded. The refund is not an inverse: a position whose temperature was below the tax has already frozen into a number, and heating a number does nothing at all.

Cooling by exactly one

Cooling is usually met as a way of reading a thermograph: a tax, and two numbers at the height of the tax. Applied as an operator it returns a position instead — and then the obvious question is whether heating gives the position back. Over the 1,474 values born by day three, 27 survive the round trip and 15 of those are numbers that never moved. Cooling throws away almost everything it touches.

7 figures · Chilling A hot position, split into its mean and what is left. Each row is a position cooled by exactly its own temperature — the tax at which it stops being worth moving in. The result is the mean value with something small still attached, and the last column is that something, obtained by subtracting the mean from the cooled game rather than by inspection.

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.

8 figures · Dissociation 4 | 0 and {2 | {1 | 0}} in the same environment. Two positions and one coupon stack, solved as a single board. The rows are the line optimal play takes; the coupon on top when each position is first entered is compared with the coupon it was entered at when it had the environment to itself. The mean contributions still add and the entry coupons need not agree.

Two games in one environment

A coupon stack measures a position: play the whole board out and the coupon the players stop at is the temperature, the score is the mean. Put a second position beside the first and one of the two measurements stops working. Over 36 ordered pairs the contributions still add to the means every time, and the coupon a fight is entered at moves on 13 of them — without either position changing.

6 figures · Coupons What the rule costs. Every sum of three components from a fixed pool, played out twice: once with one side following the rule "move where the stake is largest" and once with both sides evaluating exactly. The rule is not optimal, the gap is bounded, and the bound is the largest temperature on the board.

A rule with a guarantee

Evaluating a sum of a dozen fights is impossible; following a rule is not. Move where the stake is largest, and over 220 sums of three hot components the rule scores exactly what perfect play scores in 196 of them, is never more than one point behind, and never ends more than the largest single stake below the mean. The rule that is supposed to be different — answer the threat — chose differently in none of the 220.

7 figures · Strategy Which of the two operators distributes over a sum. Cooling and heating, each asked whether applying it to a sum is the same as applying it to the parts and adding. The pools are the values born by day two and a set of deliberately hot positions; the counts are of ordered pairs.

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.

8 figures · Heating The whole Domineering catalogue, chilled. Every Domineering board this site evaluates, with its value, its temperature, and what cooling by exactly one does to it. Thirteen of the fifteen become cold — a number, or a number plus a star — and the two that do not are the two whose temperature was above the tax.

The operator chosen for one game

Chilling is cooling by exactly one, and the one is not derived from anything. It is chosen because Domineering mostly runs at that temperature — and measured against this site's whole Domineering catalogue it turns thirteen of fifteen boards into numbers or numbers plus a star, and warms thirteen of the fifteen back exactly. They are not the same thirteen: eleven boards do both, two freeze too far to be recovered, and two stay hot and come back on the nose.

8 figures · Chilling Where 1,474 values sit on the scale. The temperature of every value in the pool, counted. The floor is −1 and only numbers are on it; the next rung up is 0, and everything there is a number with an infinitesimal added. Above that the scale is continuous and the counts thin out.

Below zero

Temperature is described as urgency and urgency has no obvious bottom, but the scale stops at −1 and only the numbers are on it. The rung above is exactly zero, and the 337 values born by day three that sit there are the ones a number cannot be told from — flat thermograph, nothing at stake, and an infinitesimal that no number can see. Two independent computations agree on the classification for all 1,474.

6 figures · Cold Four rules over 220 sums. Each rule plays every sum against an opponent evaluating exactly. Two of the rules come with a bound and two do not; the coldest rule is the control, and it violates the bound often enough to show that being inside it is a real constraint rather than a description of the pool.

A rule with no promise at all

Playing in a hottest component comes with a bound: never more than the largest single temperature below the mean of the board. Over 220 sums the bound holds 220 times — and so does the bound for a rule with nothing behind it, which scores exactly what perfect play scores on 205 sums against the hottest rule's 196. The control that shows the bound is doing work is the rule that plays the coldest component, which breaks it 74 times and loses up to eleven points.

7 figures · Strategy Two operators that undo the same tax. Heating leaves every number alone; the warming operator leaves every number alone except an integer, which comes back with a star on it. That single clause is the whole difference between them, and it is what the Go endgame literature needs, because a chilled integer is usually a fight that has been frozen. The rows shown are the ones whose four entries fit in sixteen characters — a warmed day-three value runs to fifty-two, and the clause is legible only in the short ones.

The operator that puts the star back

Chilling is not invertible: it freezes, and 400 values born by day three collapse onto 29. Both heating and Norton's warming operator are exact right inverses of it — each lands back where it started, on all 400 — and they pick different preimages, differing on 396 of them and differing by exactly a star on 335. The clause that separates them is one line long and it is about the integers.

6 figures · Chilling

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