Combinatorial Game Theory
who wins, and by how much
Concept

Heating — where it appears

Paying a bonus for moving rather than charging for it, which turns a number back into the fight a summary describes. It is a right inverse of cooling rather than an inverse, since cooling collapses four hundred values onto twenty-nine.

Named by 7 essays across 2 fields — each of them below, with the objects they name alongside it.

Cooling {5 | 1}, one degree at a time. The same position under a rising tax on moving. Each bar is what Left gets moving first and what Right gets moving first, once every move costs the tax. The bars close as the tax rises, and at the temperature they meet — and from there on the position is worth its mean value and neither player wants to touch 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.

temperature · Temperature What a deeper position does to the shape. Thermographs side by side, two of them, with temperature running up each panel and value across it: {{6 | 2} | {1 | −3}}, with a bend where an option's own fight cools out; {4 | −1}, straight-walled. A wall that runs straight has nothing changing hands below the meeting point; a bend is an option's own fight cooling out at a lower temperature than this position's, and it is where a decision passes from one player to the other. The two marks on each base line are the stops — what each player gets by moving first with no tax charged.

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.

values · Switches 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.

temperature · 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.

temperature · 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.

temperature · Cold 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.

temperature · Chilling Five premises, and the step. The claims an induction would need, with what checks each. The last row is the step and nothing here checks it.

The premises an induction would need

The rung below settled by a grouping test that a position's crossover depends on its own temperature and its answer's and on nothing below them, and asked for the induction. The four paragraphs are not written here; the checking they would rest on is. The law holds at five levels, survives translation, heating and cooling — and none of that is the step.

temperature · Sente

Named alongside it

The objects these essays reach for when they reach for this one.

TemperatureCoolingThermographMean valueAll-smallExhaustive searchInfinitesimalNumbersStar (∗)Tax on movingSwitchApproximation

All concepts