- Source: Cooling and heating (combinatorial game theory)
In combinatorial game theory, cooling, heating, and overheating are operations on hot games to make them more amenable to the traditional methods of the theory,
which was originally devised for cold games in which the winner is the last player to have a legal move.
Overheating was generalised by Elwyn Berlekamp for the analysis of Blockbusting.
Chilling (or unheating) and warming are variants used in the analysis of the endgame of Go.
Cooling and chilling may be thought of as a tax on the player who moves, making them pay for the privilege of doing so,
while heating, warming and overheating are operations that more or less reverse cooling and chilling.
Basic operations: cooling, heating
The cooled game
G
t
{\displaystyle G_{t}}
("
G
{\displaystyle G}
cooled by
t
{\displaystyle t}
") for a game
G
{\displaystyle G}
and a (surreal) number
t
{\displaystyle t}
is defined by
G
t
=
{
{
G
t
L
−
t
∣
G
t
R
+
t
}
for all numbers
t
≤
any number
τ
for which
G
τ
is infinitesimally close to some number
m
,
m
for
t
>
τ
{\displaystyle G_{t}={\begin{cases}\{G_{t}^{L}-t\mid G_{t}^{R}+t\}&{\text{ for all numbers }}t\leq {\text{ any number }}\tau {\text{ for which }}G_{\tau }{\text{ is infinitesimally close to some number }}m{\text{ , }}\\m&{\text{ for }}t>\tau \end{cases}}}
.
The amount
t
{\displaystyle t}
by which
G
{\displaystyle G}
is cooled is known as the temperature; the minimum
τ
{\displaystyle \tau }
for which
G
τ
{\displaystyle G_{\tau }}
is infinitesimally close to
m
{\displaystyle m}
is known as the temperature
t
(
G
)
{\displaystyle t(G)}
of
G
{\displaystyle G}
;
G
{\displaystyle G}
is said to freeze to
G
τ
{\displaystyle G_{\tau }}
;
m
{\displaystyle m}
is the mean value (or simply mean) of
G
{\displaystyle G}
.
Heating is the inverse of cooling and is defined as the "integral"
∫
t
G
=
{
G
if
G
is a number,
{
∫
t
(
G
L
)
+
t
∣
∫
t
(
G
R
)
−
t
}
otherwise.
{\displaystyle \int ^{t}G={\begin{cases}G&{\text{ if }}G{\text{ is a number, }}\\\{\int ^{t}(G^{L})+t\mid \int ^{t}(G^{R})-t\}&{\text{ otherwise. }}\end{cases}}}
Multiplication and overheating
Norton multiplication is an extension of multiplication to a game
G
{\displaystyle G}
and a positive game
U
{\displaystyle U}
(the "unit")
defined by
G
.
U
=
{
G
×
U
(i.e. the sum of
G
copies of
U
) if
G
is a non-negative integer,
−
G
×
−
U
if
G
is a negative integer,
{
G
L
.
U
+
(
U
+
I
)
∣
G
R
.
U
−
(
U
+
I
)
}
where
I
ranges over
Δ
(
U
)
otherwise.
{\displaystyle G.U={\begin{cases}G\times U&{\text{ (i.e. the sum of }}G{\text{ copies of }}U{\text{) if }}G{\text{ is a non-negative integer, }}\\-G\times -U&{\text{ if }}G{\text{ is a negative integer, }}\\\{G^{L}.U+(U+I)\mid G^{R}.U-(U+I)\}{\text{ where }}I{\text{ ranges over }}\Delta (U)&{\text{ otherwise. }}\end{cases}}}
The incentives
Δ
(
U
)
{\displaystyle \Delta (U)}
of a game
U
{\displaystyle U}
are defined as
{
u
−
U
:
u
∈
U
L
}
∪
{
U
−
u
:
u
∈
U
R
}
{\displaystyle \{u-U:u\in U^{L}\}\cup \{U-u:u\in U^{R}\}}
.
Overheating is an extension of heating used in Berlekamp's solution of Blockbusting,
where
G
{\displaystyle G}
overheated from
s
{\displaystyle s}
to
t
{\displaystyle t}
is defined for arbitrary games
G
,
s
,
t
{\displaystyle G,s,t}
with
s
>
0
{\displaystyle s>0}
as
∫
s
t
G
=
{
G
.
s
if
G
is an integer,
{
∫
s
t
(
G
L
)
+
t
∣
∫
s
t
(
G
R
)
−
t
}
otherwise.
{\displaystyle \int _{s}^{t}G={\begin{cases}G.s&{\text{ if }}G{\text{ is an integer, }}\\\{\int _{s}^{t}(G^{L})+t\mid \int _{s}^{t}(G^{R})-t\}&{\text{ otherwise. }}\end{cases}}}
Winning Ways also defines overheating of a game
G
{\displaystyle G}
by a positive game
X
{\displaystyle X}
, as
∫
0
t
G
=
{
∫
0
t
(
G
L
)
+
X
∣
∫
0
t
(
G
R
)
−
X
}
{\displaystyle \int _{0}^{t}G=\left\{\int _{0}^{t}(G^{L})+X\mid \int _{0}^{t}(G^{R})-X\right\}}
Note that in this definition numbers are not treated differently from arbitrary games.
Note that the "lower bound" 0 distinguishes this from the previous definition by Berlekamp
Operations for Go: chilling and warming
Chilling is a variant of cooling by
1
{\displaystyle 1}
used to analyse the Go endgame of Go and is defined by
f
(
G
)
=
{
m
if
G
is of the form
m
or
m
∗
,
{
f
(
G
L
)
−
1
∣
f
(
G
R
)
+
1
}
otherwise.
{\displaystyle f(G)={\begin{cases}m&{\text{ if }}G{\text{ is of the form }}m{\text{ or }}m*,\\\{f(G^{L})-1\mid f(G^{R})+1\}&{\text{ otherwise.}}\end{cases}}}
This is equivalent to cooling by
1
{\displaystyle 1}
when
G
{\displaystyle G}
is an "even elementary Go position in canonical form".
Warming is a special case of overheating, namely
∫
1
∗
1
{\displaystyle \int _{1*}^{1}}
, normally written simply as
∫
{\displaystyle \int }
which inverts chilling when
G
{\displaystyle G}
is an "even elementary Go position in canonical form".
In this case the previous definition simplifies to the form
∫
G
=
{
G
if
G
is an even integer,
G
∗
if
G
is an odd integer,
{
∫
(
G
L
)
+
1
∣
∫
(
G
R
)
−
1
}
otherwise.
{\displaystyle \int G={\begin{cases}G&{\text{ if }}G{\text{ is an even integer, }}\\G*&{\text{ if }}G{\text{ is an odd integer, }}\\\{\int (G^{L})+1\mid \int (G^{R})-1\}&{\text{ otherwise. }}\end{cases}}}