Thermography

Talk about improving your game, resources you like, games you played, etc.
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Thermography

Post by Gérard TAILLE »

[quote="Bill Spight"]
It was known in the 1970s that there is a problem with the idea of double sente. See Ogawa-Davies, for instance. OC, there are global double sente, but they depend upon what else is on the board. In terms of CGT evaluation or even traditional evaluation of go positions, they do not exist. Circa 1980 I submitted an article to Go World to that effect, but it was not accepted. {shrug} For more on double sente, see https://senseis.xmp.net/?DoubleSenteIsRelative .
[quote]

I am a little surprise to read that double sente do not exist.
As soon as you propose a defintion for a double sente it exists doesn't it ?
Inherently, I agree that defining a sente or double sente move maybe a difficulty but in the context of an environment with a temperature t it seems quite obvious:
If black plays a move and the threat after this move is greater or egal to t then the black move is sente.
If at the same time a white play creates a threat also greater or equal to t then it is a double sente.
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: Thermography

Post by Bill Spight »

Gérard TAILLE wrote:
Bill Spight wrote: It was known in the 1970s that there is a problem with the idea of double sente. See Ogawa-Davies, for instance. OC, there are global double sente, but they depend upon what else is on the board. In terms of CGT evaluation or even traditional evaluation of go positions, they do not exist. Circa 1980 I submitted an article to Go World to that effect, but it was not accepted. {shrug} For more on double sente, see https://senseis.xmp.net/?DoubleSenteIsRelative .
I am a little surprise to read that double sente do not exist.
As soon as you propose a defintion for a double sente it exists doesn't it ?
Not necessarily. :)
Inherently, I agree that defining a sente or double sente move maybe a difficulty but in the context of an environment with a temperature t it seems quite obvious:
If black plays a move and the threat after this move is greater or egal to t then the black move is sente.
If at the same time a white play creates a threat also greater or equal to t then it is a double sente.
What you are describing is a global double sente, which do exist. However, for a large enough ambient temperature a play in such a position by one player or another will not be global sente. Global double sente are relative to what else is on the board. There is no such think as an intrinsic, locally defined double sente, except those in which the sente plays do not gain anything. Seki, for example. :)
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: Thermography

Post by Bill Spight »

So the choice for Black comes down to the kosumi or the large monkey jump. :) Now, we already know that these two are incomparable, but let's take a look with difference games.

There are different ways of replying to the monkey jump. Let's look at a few.
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. Monkey jump 1
$$ --------------------------------
$$ | . . B . . . O | X 4 1 . 3 . . |
$$ | X X . W . . O | X . 2 . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b2: is the usual reply, but here it looks passive.
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. Monkey jump 1, White first
$$ --------------------------------
$$ | . . B 1 . . O | X B W 3 W 5 . |
$$ | X X 2 W . . O | X . B 6 4 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
White goes first on both boards and plainly wins. Can Black do better?
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. Monkey jump 1, White first
$$ --------------------------------
$$ | . . B 1 . . O | X B W 2 W . . |
$$ | X X 4 W . . O | X . B 5 3 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b6: fills ko.

White wins again. Obviously. Now let Black play first.
Click Here To Show Diagram Code
[go]$$Bc Kosumi vs. Monkey jump 1, Black first
$$ --------------------------------
$$ | . . B 1 2 . O | X B W 4 W 6 . |
$$ | X X 3 W . . O | X . B 7 5 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
White wins again.
Click Here To Show Diagram Code
[go]$$Bc Kosumi vs. Monkey jump 1, Black first
$$ --------------------------------
$$ | . . B 3 4 . O | X B W 1 W . . |
$$ | X X 5 W . . O | X . B 6 2 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b7: fills ko.

White wins yet again.

If Black is going to reply like this, plainly the monkey jump is better.

Let's look at a different reply to the monkey jump.
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. Monkey jump 2
$$ --------------------------------
$$ | . . B . . . O | X . 1 4 3 . . |
$$ | X X . W . . O | X . 2 . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b2: is the usual reply, but here it looks passive. OTOH, Black has :b4:, which I overlooked the other day. ;)

Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. Monkey jump 2, White first
$$ --------------------------------
$$ | . . B 6 7 . O | X 4 W B W 5 . |
$$ | X X 8 W . . O | X . B 1 2 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:w3: connects.

Black has nothing better. White wins by 2 points.

Click Here To Show Diagram Code
[go]$$Bc Kosumi vs. Monkey jump 2, Black first
$$ --------------------------------
$$ | . . B 4 . . O | X 3 W B W 6 . |
$$ | X X 5 W . . O | X . B 2 1 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b7: captures two White stones to win by 1 point. White has nothing better. Black's play does not depend on winning a ko fight.

So with the replies at 2 and 4, the plays are incomparable. :)

What about the reply that I found the other day? How does it compare with 2 and 4?
Click Here To Show Diagram Code
[go]$$Bc Reply 1 vs. reply 2
$$ --------------------------------
$$ | . . 5 2 1 . O | X . W B W . . |
$$ | X X 4 3 6 . O | X . B . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
Click Here To Show Diagram Code
[go]$$Bc Reply 1 vs. reply 2, Black first
$$ --------------------------------
$$ | . 5 B 6 B 2 O | X . W B W 4 . |
$$ | X X W B W . O | X . B 1 3 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

To win, :b1: avoids a mirror image. Still, :w2: manages to make jigo. All roads lead to Rome.

White's reply on the left, sacrificing a stone, is at least as good as :b2: and :b4: on the right.
Click Here To Show Diagram Code
[go]$$Wc Reply 1 vs. reply 2, White first
$$ --------------------------------
$$ | . 4 B 2 B 3 O | X 6 W B W . . |
$$ | X X W B W . O | X . B 5 1 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

White plays :w1: to avoid a mirror image. :w7: fills the ko to win by 1 pt.
Click Here To Show Diagram Code
[go]$$Wc Reply 1 vs. reply 2, White first
$$ --------------------------------
$$ | . 4 B 5 B 3 O | X . W B W . . |
$$ | X X W B W . O | X . B 2 1 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

:w2: protects on the right, but White captures two stones on the left to win by 1 pt.

So my feeling was correct. The sacrifice is the correct reply to the monkey jump. :D :bow:

In case it's not obvious, let's put the icing on the cake. :) There is another reply.
Click Here To Show Diagram Code
[go]$$Wc Sacrifice 1 vs. sacrifice 2
$$ --------------------------------
$$ | . . B . B . O | X 8 1 5 2 7 . |
$$ | X X W B W . O | X . 6 4 3 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

:b2: is a sacrifice you see from time to time, but it doesn't look too good here, eh?

Click Here To Show Diagram Code
[go]$$Wc Sacrifice 1 vs. sacrifice 2, White first
$$ --------------------------------
$$ | . 4 B 5 B 1 O | X B W W 2 W . |
$$ | X X W B W . O | X . B B W O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner, 1 :bc: prisoner
:w3: takes back

White wins by 2 pts. Black has nothing better.
Click Here To Show Diagram Code
[go]$$Bc Sacrifice 1 vs. sacrifice 2, Black first
$$ --------------------------------
$$ | . 3 B 1 B 2 O | X B W W 4 W . |
$$ | X X W B W . O | X . B B W O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner, 1 :bc: prisoner

Black saves his two stones, but White saves his to get jigo.

Click Here To Show Diagram Code
[go]$$Bc Sacrifice 1 vs. sacrifice 2, Black first
$$ --------------------------------
$$ | . 3 B 4 B 2 O | X B W W 1 W . |
$$ | X X W B W . O | X . B B W O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner, 1 :bc: prisoner

:w5: connects, for jigo this way.

So my sacrifice is the right one. :)

Hmmm. Is there no other good reply?
Click Here To Show Diagram Code
[go]$$Wc Sacrifice vs. Reply 3
$$ --------------------------------
$$ | . . B . B . O | X 6 1 5 3 . . |
$$ | X X W B W . O | X . 2 . 4 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

:b4: threatens to throw in at 5 and capture :w1:. But then :w5: threatens to kill.

The right side is settled. Either player wins by playing on the left. So these plays are incomparable. ;)

I took my bows too soon. :lol:
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: Thermography

Post by Bill Spight »

Just to check. :)
Click Here To Show Diagram Code
[go]$$Wc Sacrifice vs. Monkey jump 1
$$ --------------------------------
$$ | . . B . B . O | X 4 1 . 3 . . |
$$ | X X W B W . O | X . 2 . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner
Click Here To Show Diagram Code
[go]$$Wc Sacrifice vs. Monkey jump 1, White first
$$ --------------------------------
$$ | . 6 B 5 B 1 O | X B W 2 W . . |
$$ | X X W B W . O | X . B 4 3 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

White wins. Black has nothing better.
Click Here To Show Diagram Code
[go]$$Bc Sacrifice vs. Monkey jump 1, Black first
$$ --------------------------------
$$ | . 3 B 1 B 2 O | X B W 4 W 6 . |
$$ | X X W B W . O | X . B 7 5 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

Black wins.
Click Here To Show Diagram Code
[go]$$Bc Sacrifice vs. Monkey jump 1, Black first
$$ --------------------------------
$$ | . 3 B 1 B 2 O | X B W 5 W . . |
$$ | X X W B W . O | X . B 6 4 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

:b7: fills the ko and wins.

So these plays are incomparable.

One more time.
Click Here To Show Diagram Code
[go]$$Bc Reply 3 vs. Monkey jump 1, Black first
$$ --------------------------------
$$ | . . B B B W O | X B W 1 W . . |
$$ | X X W . W . O | X . B 3 2 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b1: captures one stone and wins.
Click Here To Show Diagram Code
[go]$$Wc Reply 3 vs. Monkey jump 1, Black first
$$ --------------------------------
$$ | . . B B B W O | X B W 1 W . . |
$$ | X X W . W . O | X . B . 2 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:w1: connects, but :b2: makes jigo.
Click Here To Show Diagram Code
[go]$$Bc Reply 3 vs. Monkey jump 1, Black first
$$ --------------------------------
$$ | . . B B B W O | X B W 2 W . . |
$$ | X X W . W . O | X . B 3 1 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b4: fills the ko, for jigo.

So we can discard Reply 3, and Monkey Jump 1 is incomparable with the sacrifice.

Just one more time. ;)
Click Here To Show Diagram Code
[go]$$Bc Reply 4 vs. Monkey jump 1
$$ --------------------------------
$$ | . . . 3 1 4 O | X B W . W . . |
$$ | X X . . 2 . O | X . B . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
Suppose Black extends on the edge instead of jumping. It looks nuts, but let's see.
Click Here To Show Diagram Code
[go]$$Wc Reply 4 vs. Monkey jump 1, White first
$$ --------------------------------
$$ | . 6 1 B B W O | X B W 4 W . . |
$$ | X X 2 3 W . O | X . B 8 5 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:w7: connects

White wins. Black has nothing better.
Click Here To Show Diagram Code
[go]$$Bc Reply 4 vs. Monkey jump 1, Black first
$$ --------------------------------
$$ | . . 3 B B W O | X B W 4 W 6 . |
$$ | X X 1 2 W . O | X . B 7 5 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
Black wins.

The two plays are incomparable. :lol:

Well, I guess we have to check it with the sacrifice.
Click Here To Show Diagram Code
[go]$$Bc Sacrifice vs. Reply 4, Black first
$$ --------------------------------
$$ | . 3 B 1 B 2 O | X B W W 6 . . |
$$ | X X W B W . O | X . B 5 4 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

Black connects, White makes jigo.
Click Here To Show Diagram Code
[go]$$Bc Sacrifice vs. Reply 4, Black first
$$ --------------------------------
$$ | . 7 B 6 B 4 O | X B W W 1 5 8 |
$$ | X X W B W . O | X . B 3 2 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

:b9: connects to win. White has nothing better.
Click Here To Show Diagram Code
[go]$$Wc Sacrifice vs. Reply 4, White first
$$ --------------------------------
$$ | . 6 B 4 B 5 O | X B W W 3 . . |
$$ | X X W B W . O | X . B 2 1 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

Jigo.
Click Here To Show Diagram Code
[go]$$Wc Sacrifice vs. Reply 4, White first
$$ --------------------------------
$$ | . 6 B 7 B 3 O | X B W W 4 5 . |
$$ | X X W B W . O | X . B 2 1 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

:b8: connects, for jigo.
Click Here To Show Diagram Code
[go]$$Wc Sacrifice vs. Reply 4, White first
$$ --------------------------------
$$ | . 6 B 7 B 1 O | X B W W 2 5 . |
$$ | X X W B W . O | X . B 4 3 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :wc: prisoner

:b8: connects, for jigo.

This may eliminate the extension.
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Thermography

Post by Gérard TAILLE »

Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. Monkey jump 1
$$ --------------------------------
$$ | . . X b . . O | X c 1 d 3 . . |
$$ | X X . a . . O | X . 2 . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
For the time being I am still not convinced that kosumi is incomparable with the monkey jump.
Depending of the environment white must choose the correct answer between "a" or "b" and black must choose the correct answer between "c" or "d".

My reasonning is the following:
1) if the environment is such that a move at "c" is best in the right diagram then, in the left diagram, I decide with white to play "a" and black cannot win
2) if now the environment is such that a move at "d" is best in the right diagram then, in the left diagram, I decide with white to play "b" and here again black cannot win.

My conclusion is that it does not exist an environment in which the kosumi is better that the monkey jump. Where am I wrong?
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: Thermography

Post by Bill Spight »

Well, I got carried away with the difference games, eh? :lol:

Constructing the thermograph

Truth to say, difference games are not necessary to thermography at all, and are hardly ever used. However, it was easy to show that the keima sente and the crawl sente are unnecessary. The kosumi sente dominates them. As I said, if they were gote, that would be a different matter. But anyway, all we have to consider are the kosumi sente and the large monkey jump sente. Let's review the reverse sente first.
Click Here To Show Diagram Code
[go]$$Wc Reverse sente, Black continues
$$ -----------------
$$ | C 4 2 3 C C O |
$$ | X X 1 C C C O |
$$ | . X O O O O O |
$$ | . X X X O O C |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
:w1: blocks on the second line. Play can, and usually does, stop there. If Black replies she plays the hane-and-connect for a local score of -5 in the marked region. Each player has made the same number of plays, so the Right wall of the thermograph rises as a vertical line at that point.

Black does not reply above temperature 1, so the wall turns 45° to the left at that temperature rising one degree for each point of territory. Remember, the leftward movement is positive, the reverse the usual convention. The equation of that line is v = -6 + t, where v is the territory and t is the temperature.

Now let's look at the kosumi sente.
Click Here To Show Diagram Code
[go]$$Bc Kosumi sente, Black continues
$$ -----------------
$$ | . . 1 3 4 . O |
$$ | X X 5 2 . . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
The sente actually ends with :w2: but we consider what happens when Black keeps playing. The score after :b5: is -2. Black has made one more move than White, so the line from here angles up and to the right. It's equation is v = -2 - t. How far up does it go?
Click Here To Show Diagram Code
[go]$$Wc Kosumi sente, White follow-up
$$ -----------------
$$ | . . B 1 . . O |
$$ | X X 2 W . . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
If I didn't already know, it would be easy to work out that this is correct play at temperature 1. White could get an equivalent result, except for ko threats, by starting at 2. Each player has made the same number of plays, including the kosumi sente exchange, so the line rises vertically at -3. These two lines intersect at v = -3, t = 1. Above temperature 1 the prospective wall, called a scaffold, rises vertically at -3, below temperature 1 it angles down to -2 at temperature 0.

Now let's look at the monkey jump.
Click Here To Show Diagram Code
[go]$$Bc Monkey jump sente 1
$$ -----------------
$$ | . . 3 4 1 . O |
$$ | X X 2 5 6 . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
This is one of the main lines, with the throw-in, :w4:. White could also get here by starting at 4. That's the other main line. The usual reply is at 6. We'll consider that later.

What if Black continues?
Click Here To Show Diagram Code
[go]$$Bc Monkey jump sente 1, Black continues
$$ -----------------
$$ | . 9 B 7 B 8 O |
$$ | X X W B W . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]

1 :wc: prisoner
:b7: connects the Black stones, :w8: makes a second eye, and :b9: saves the four stones. The local score is 0. Since Black has made one more move than White, the scaffold angles up from 0 to the right at one point of territory for each degree of temperature. The equation of the line is v = -t.

How high does it go? To find out, let's look at the White follow-up after the sente.
Click Here To Show Diagram Code
[go]$$Wc Monkey jump sente 1, White follow-up.
$$ -----------------
$$ | . 2 B 3 B 1 O |
$$ | X X W B W . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]

1 :wc: prisoner

There is a ko, which White can take and win on the usual assumption of no ko threats. But :w1: comes to the same thing. ;) After :w3: the local score is -4. Since White has made one more move than Black, the scaffold angles up from there to the left. It's equation is v = -4 + t. Note that this is the scaffold for the position after the sente, not the scaffold for the original position. The scaffolds intersect at t = 2, v = -2. The mast rises vertically from there. The scaffold for this sente is v = -2 above temperature 2 and v = -4 + t below temperature 2.

There is another variation to consider.
Click Here To Show Diagram Code
[go]$$Bc Monkey jump sente 1a
$$ -----------------
$$ | . . 3 5 1 6 O |
$$ | X X 2 . 4 . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
:w4: does not play the throw-in, but it threatens it. :b5: prevents that, with sente. As we have seen, with a different order of play, this line is incomparable with the throw-in. After :w6: the local score is -1. The scaffold rises vertically from there. OC, that is worse for White than -2, so this line is not as good as the throw-in above temperature 2. But it is better for White than 0, so we find the intersection v = -t and v = -1 to find where White switches to this line of play. The intersection is at t = 1, v = -1. So for the reply of :w2: the scaffold is vertical at -2 above temperature 2, angling down below temperature 2 to -1 at temperature 1, and vertical below that to -1 at temperature 0. :)

BTW, what if Black does not connect with :b5: in the previous diagram, but tries to kill?
Click Here To Show Diagram Code
[go]$$Bcm5 Monkey jump sente 1a, variation
$$ -----------------
$$ | . . B 2 B 1 O |
$$ | X X W 3 W a O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
Now White cannot play at a because of damezumari. Oh, for a dame!
Click Here To Show Diagram Code
[go]$$Wcm8 Monkey jump sente 1a, variation
$$ -----------------
$$ | 2 1 B 3 B B O |
$$ | X X W B W 5 O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
:b11: at 8
White has no external threats, by assumption, but the play has generated a local threat for White at :w8:. With a dame White would not have needed to play the ko. :)

More later.
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: Thermography

Post by Bill Spight »

Gérard TAILLE wrote:
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. Monkey jump 1
$$ --------------------------------
$$ | . . X b . . O | X c 1 d 3 . . |
$$ | X X . a . . O | X . 2 . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
For the time being I am still not convinced that kosumi is incomparable with the monkey jump.
OK, I guess I made some assumptions that may not hold. Fair enough. :)
My conclusion is that it does not exist an environment in which the kosumi is better that the monkey jump.
I suppose that you will grant that there are environments in which the large monkey jump is better. If there is an environment in which the kosumi is better, then the kosumi and the monkey jump are incomparable. (Assuming that both are sente, threatening to kill, OC.)

Let's start at the very beginning.
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. Monkey jump
$$ --------------------------------
$$ | . . . . . . O | X . . . . . . |
$$ | X X . . . . O | X . . . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
This mirror position has a value of 0. Whoever plays first, the second player can play mirror go for jigo. (Note: The relevant positions do not have to be on different boards. The point is that they are independent of each other.)

Let Black play first and play the kosumi, and let White reply with the large monkey jump.
Click Here To Show Diagram Code
[go]$$Bc Kosumi vs. Monkey jump
$$ --------------------------------
$$ | . . 1 . . . O | X . 2 . . . . |
$$ | X X . . . . O | X . . . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
Can Black to play win the difference game from this point? If so, then there is an environment where the kosumi is better than the monkey jump. Namely, the one after :b1:, because White can make jigo by playing the kosumi. :)
Click Here To Show Diagram Code
[go]$$Bcm3 Kosumi vs. Monkey jump, Black first
$$ --------------------------------
$$ | . . X 8 . . O | X 7 O 3 2 0 . |
$$ | X X 9 6 . . O | X . 5 4 1 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b13: captures two stones

Obviously, if :b3: kills on the left, :w4: will kill on the right, for jigo. ;)

:w8: must come back to save the White group on the left. Black wins by 1 pt.
Click Here To Show Diagram Code
[go]$$Wcm8 Kosumi vs. Monkey jump, Black first, variation for :w8:
$$ --------------------------------
$$ | . . X 1 8 9 O | X 4 O 3 O 5 . |
$$ | X X 2 6 7 . O | X . X O X O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :bc: prisoner, :b17: connects

:w8: is clever play. :) :clap: If :b9: plays the atari on the right side board, :w10: will play atari with sente on the left and win. For Black the atari at 13 is tempting, but White will atari and make a mirror position, for jigo. So, faute de mieux, :b9: plays the solid connection.

Now if White connects at 13, Black will atari on the right to transpose to the previous variation and win the difference game. So White saves his stones on the right and Black continues on the left. In the end Black wins by 1 pt. :)
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Thermography

Post by Gérard TAILLE »

Bill Spight wrote: Let's start at the very beginning.
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. Monkey jump
$$ --------------------------------
$$ | . . . . . . O | X . . . . . . |
$$ | X X . . . . O | X . . . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
This mirror position has a value of 0. Whoever plays first, the second player can play mirror go for jigo. (Note: The relevant positions do not have to be on different boards. The point is that they are independent of each other.)

Let Black play first and play the kosumi, and let White reply with the large monkey jump.
Click Here To Show Diagram Code
[go]$$Bc Kosumi vs. Monkey jump
$$ --------------------------------
$$ | . . 1 . . . O | X . 2 . . . . |
$$ | X X . . . . O | X . . . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
Can Black to play win the difference game from this point? If so, then there is an environment where the kosumi is better than the monkey jump. Namely, the one after :b1:, because White can make jigo by playing the kosumi. :)
Click Here To Show Diagram Code
[go]$$Bcm3 Kosumi vs. Monkey jump, Black first
$$ --------------------------------
$$ | . . X 8 . . O | X 7 O 3 2 0 . |
$$ | X X 9 6 . . O | X . 5 4 1 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b13: captures two stones

Obviously, if :b3: kills on the left, :w4: will kill on the right, for jigo. ;)

:w8: must come back to save the White group on the left. Black wins by 1 pt.
Click Here To Show Diagram Code
[go]$$Wcm8 Kosumi vs. Monkey jump, Black first, variation for :w8:
$$ --------------------------------
$$ | . . X 1 8 9 O | X 4 O 3 O 5 . |
$$ | X X 2 6 7 . O | X . X O X O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
1 :bc: prisoner, :b17: connects

:w8: is clever play. :) :clap: If :b9: plays the atari on the right side board, :w10: will play atari with sente on the left and win. For Black the atari at 13 is tempting, but White will atari and make a mirror position, for jigo. So, faute de mieux, :b9: plays the solid connection.

Now if White connects at 13, Black will atari on the right to transpose to the previous variation and win the difference game. So White saves his stones on the right and Black continues on the left. In the end Black wins by 1 pt. :)
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . . 1 2 . . O |
$$ | X X 3 . . . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
OK Bill, let's consider an environment for which, after :b1:, the sequence :w2: :b3: is best.
I agree in this case that the move :b1: here above is better than the monkey jump (good job for you!). But we have already eliminated the sequence above because of the small keima jump didn't we ?

In other words:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . . a b c . O |
$$ | X X . . . . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
Well you found an environment for which the move "a" is better than the move "c" but, for this environment, the move "b" is still better than the move "a". Where is the gain Bill?
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: Thermography

Post by Bill Spight »

Gérard TAILLE wrote:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . . a b c . O |
$$ | X X . . . . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
Well you found an environment for which the move "a" is better than the move "c" but, for this environment, the move "b" is still better than the move "a". Where is the gain Bill?
In this situation, the kosumi at a is better than the keima at b.
Click Here To Show Diagram Code
[go]$$Bc Kosumi vs. Keima, Black first
$$ --------------------------------
$$ | . . 1 9 0 . O | X . 3 2 4 8 . |
$$ | X X a 6 . . O | X . . 5 7 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b11: plays at a to win.
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. Keima, White first
$$ --------------------------------
$$ | . . 2 7 . . O | X . 4 1 5 9 . |
$$ | X X 0 3 . . O | X . . 6 8 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b10: makes jigo.

Black first can win, White first cannot. Therefore the kosumi dominates the keima.

The only time that the keima may be better depends on a possible ko.

Edit: The point being that difference games depend on the different positions being independent, and kos can break independence. :)
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Thermography

Post by Gérard TAILLE »

Bill Spight wrote:
Gérard TAILLE wrote:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . . a b c . O |
$$ | X X . . . . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
Well you found an environment for which the move "a" is better than the move "c" but, for this environment, the move "b" is still better than the move "a". Where is the gain Bill?
In this situation, the kosumi at a is better than the keima at b.
Click Here To Show Diagram Code
[go]$$Bc Kosumi vs. Keima, Black first
$$ --------------------------------
$$ | . . 1 9 0 . O | X . 3 2 4 8 . |
$$ | X X a 6 . . O | X . . 5 7 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b11: plays at a to win.
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. Keima, White first
$$ --------------------------------
$$ | . . 2 7 . . O | X . 4 1 5 9 . |
$$ | X X 0 3 . . O | X . . 6 8 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b10: makes jigo.

Black first can win, White first cannot. Therefore the kosumi dominates the keima.

The only time that the keima may be better depends on a possible ko.

Edit: The point being that difference games depend on the different positions being independent, and kos can break independence. :)
Surely the kosumi can be better than the keima depending of the environment but this is not my point which is the following:
Because kosumi and monkey jump are incomparable it exists a set of environment E for which the kosumi is strictly better than the monkey jump and now is my point : whatever environment you choose in E the small keima is equivalent or better than the kosumi !
Of course I am not sure at 100% but it is my point.
If this is true we will conclude that the kosumi possibility can be simply ignored.

BTW if it happens that, for each environment in E, the kosumi and the small keima are equivalent then you can also ignore the keima and keep the kosumi. I have to study this point but this is another issue.
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: Thermography

Post by Bill Spight »

Gérard TAILLE wrote:
Bill Spight wrote:
Gérard TAILLE wrote:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . . a b c . O |
$$ | X X . . . . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
Well you found an environment for which the move "a" is better than the move "c" but, for this environment, the move "b" is still better than the move "a". Where is the gain Bill?
In this situation, the kosumi at a is better than the keima at b.
Click Here To Show Diagram Code
[go]$$Bc Kosumi vs. Keima, Black first
$$ --------------------------------
$$ | . . 1 9 0 . O | X . 3 2 4 8 . |
$$ | X X a 6 . . O | X . . 5 7 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b11: plays at a to win.
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. Keima, White first
$$ --------------------------------
$$ | . . 2 7 . . O | X . 4 1 5 9 . |
$$ | X X 0 3 . . O | X . . 6 8 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
:b10: makes jigo.

Black first can win, White first cannot. Therefore the kosumi dominates the keima.

The only time that the keima may be better depends on a possible ko.

Edit: The point being that difference games depend on the different positions being independent, and kos can break independence. :)
Surely the kosumi can be better than the keima depending of the environment
I may have been a bit unclear about the environment. It is the rest of the board from the position in question.

For example:
Click Here To Show Diagram Code
[go]$$B The environment
$$ -----------------
$$ | . . a b c . O |
$$ | X X . . . . O |
$$ | T X O O O O O |
$$ | T X X X O O . |
$$ | T T T X O O O |
$$ | T T T X X X X |
$$ | T T T T T T T |
$$ -----------------[/go]
I have marked the empty points in the environment. They are outside the problem area and independent of it. In this case they are Black territory, but that is of zero consequence to the questions being asked.

For the difference game:
Click Here To Show Diagram Code
[go]$$Bc The difference game environment = 0
$$ --------------------------------
$$ | . . . . . . O | X . . . . . . |
$$ | X X . . . . O | X . . . . O O |
$$ | T X O O O O O | X X X X X O T |
$$ | T X X X O O . | . X X O O O T |
$$ | T T T X O O O | X X X O T T T |
$$ | T T T X X X X | O O O O T T T |
$$ | T T T T T T T | T T T T T T T |
$$ --------------------------------[/go]
The environment for the difference game is the sum of the environment on one board plus its mirror opposite. As long as the environment on the original board is not implicated in a ko fight, it does not matter what it is. The sum of it and its opposite is zero.

For example:
Click Here To Show Diagram Code
[go]$$Bc The difference game environment = 0
$$ --------------------------------
$$ | . . . . . . O | X . . . . . . |
$$ | X X . . . . O | X . . . . O O |
$$ | T X O O O O O | X X X X X O T |
$$ | X X X X O O . | . X X O O O O |
$$ | O O T X O O O | X X X O T X X |
$$ | O T O X X X X | O O O O X T X |
$$ | T T O X T T T | T T T O X T T |
$$ --------------------------------[/go]
In this case the environment on the left contains an unsettled group, but the environment on the right contains its opposite. If either player plays in the environment on one side, the other player can mirror that move on the other side and maintain an environment of zero. (You see how ko fights can mess up the logic of difference games. ;)

The position on the left side as the environment of the position on the right
Click Here To Show Diagram Code
[go]$$Bc
$$ --------------------------------
$$ | S S 1 S S S O | X . . . a . . |
$$ | X X S S S S O | X . . . . O O |
$$ | T X O O O O O | X X X X X O T |
$$ | T X X X O O S | . X X O O O T |
$$ | T T T X O O O | X X X O T T T |
$$ | T T T X X X X | O O O O T T T |
$$ | T T T T T T T | T T T T T T T |
$$ --------------------------------[/go]
Let :b1: be the kosumi on the left side. Now our question shifts to the right side. This difference game is played on two boards, but it could be played on a single board. In any event, the environment for the are in question on the right side is the rest of the two boards combined. The regions marked with triangles sum to zero, so we may consider the region on the left side marked with squares as the environment of the playing area on the right side. We could set that up on a single board if we wanted to.

White could make jigo by playing the kosumi on the right side. However, if White plays elsewhere on the right side and Black is able then to win the difference game with correct play, then there exists an environment such that the kosumi is better than that other play.

We don't have to find such an environment. The existence of one is part of the logic of difference games. :)

More later.

Edit: OK, here is a little more.

If there exists a (non-ko fight) environment such that play A is better than play B, and there also exists such an environment such that play B is better than play A, then play A and play B are incomparable. We cannot say that one is better than the other.

However, if there exists such an environment that play A is better than play B, but not the other way around, then play A dominates play B (with the caveat about ko fights or potential ko fights).

Here the kosumi and the large monkey jump are incomparable, but the kosumi dominates both the crawl and the keima (small monkey jump).
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Thermography

Post by Gérard TAILLE »

With your last post I believe I have found where is the misunderstanding.

The point is quite subtil: considering the environment we both exclude pure ko threats like for example:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | X X X O . . . |
$$ | . a X O . . . |
$$ | X X O O . . . |
$$ | . X X O . . . |
$$ | X X O O . . . |
$$ | O O O . . . . |
$$ | . . . . . . . |
$$ -----------------[/go]
But you seem also to exclude from the environment "normal" sente move like for example:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . . a O . . . |
$$ | . X X O . . . |
$$ | X X O O . . . |
$$ | . X X O . . . |
$$ | X X O O . . . |
$$ | O O O . . . . |
$$ | . . . . . . . |
$$ -----------------[/go]
Because in my mind I accept such environment which allows to use a sente move as a ko threat our conclusions are logically different

Here is an example for the dicussion kosumi vs keima
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . . . . . . O |
$$ | X X . . . . O |
$$ | . X O O O O O |
$$ | . X X X X O . |
$$ | . X X b a O O |
$$ | X X . X X X O |
$$ | . X . O O . O |
$$ -----------------[/go]
You can see that after a white move at "a", white may create a sente move at "b" which can be use as a ko threat. That is the point.

As you see, it is not so easy to define what a non-ko fight environment is and, in addition, the restriction to such non-ko fight environment seems really very severe doesn't it?

Anyway Bill, an interesting discussion !
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: Thermography

Post by Bill Spight »

Gérard TAILLE wrote:As you see, it is not so easy to define what a non-ko fight environment is and, in addition, the restriction to such non-ko fight environment seems really very severe doesn't it?
Yes and no. In theory, it's quite a severe restriction, although I'm afraid I gave you the wrong impression of the problem, but in practice it is not such a problem.
Click Here To Show Diagram Code
[go]$$Bc
$$ -----------------
$$ | . . X a . . O |
$$ | X X b O . . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
Should White play at a or b?
A difference game will find that they are equivalent. But of course White should play at a, because if White plays at b, Black might reply at a and leave a ko threat behind. There may or may not be a ko or potential ko in the environment, and if there is, this ko threat may not matter, but nothing is lost by avoiding it.

Or consider these sequences.
Click Here To Show Diagram Code
[go]$$Bc
$$ -----------------
$$ | . . 3 5 1 6 O |
$$ | X X 2 . 4 . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
White may play this way in certain situations so as not to leave any local play behind. However,
Click Here To Show Diagram Code
[go]$$Bc Ko
$$ -----------------
$$ | . a 3 6 1 5 O |
$$ | X X 2 7 4 . O |
$$ | . X O O O O O |
$$ | . X X X O O . |
$$ | . . . X O O O |
$$ | . . . X X X X |
$$ | . . . . . . . |
$$ -----------------[/go]
Because of damezumari, Black can play :b5:, forcing White to make a ko for life. White has a local ko threat at a, but it is conceivable that Black could have enough large enough ko threats in the environment to justify this line of play.

However, that would be exceptional, and a caveat to that effect allows us to draw valuable conclusions from difference games for this position. Conway and Berlekamp, who developed difference games, avoided kos in difference games because you can't prove anything in that case. I, however, do not mind defeasible reasoning with exceptions, as long as you mention the caveats. Conway and Berlekamp only applied difference games to non-ko positions, with the general warning that the conclusions only applied to non-ko environments. That was something they had proved. Usually the conclusions also apply to environments with kos or potential kos, as those possibilities are normally irrelevant to any specific comparison.
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Thermography

Post by Gérard TAILLE »

OK, Bill let me try a difference game:
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. keima
$$ --------------------------------
$$ | . . X a . . O | X . . O . . . |
$$ | X X . b . . O | X . . . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
If I would try to prove that kosumi does not dominate the keima I have to find a way to win the above diference game with white, right?

I see clearly that I cannot win by beginning at "b" => no choice for my first white move:
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. keima
$$ --------------------------------
$$ | . . X 1 . . O | X . . O . . . |
$$ | X X a b . . O | X . . . . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
Now it is black turn. If black plays at "a" white plays at "b" and win => black must ansmer at "a" and the following sequence seems mandatory
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. keima
$$ --------------------------------
$$ | . . X 1 4 . O | X . 6 O 7 . . |
$$ | X X 3 2 5 . O | X . . 8 . O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
then white can simply continue by
Click Here To Show Diagram Code
[go]$$Wc Kosumi vs. keima
$$ --------------------------------
$$ | . 4 X 5 X 1 O | X . X O O 3 . |
$$ | X X O X O . O | X . . X 2 O O |
$$ | . X O O O O O | X X X X X O . |
$$ | . X X X O O . | . X X O O O . |
$$ | . . . X O O O | X X X O . . . |
$$ | . . . X X X X | O O O O . . . |
$$ | . . . . . . . | . . . . . . . |
$$ --------------------------------[/go]
winning the game.
Isn't it correct?
Gérard TAILLE
Gosei
Posts: 1346
Joined: Sun Aug 23, 2020 2:47 am
Rank: 1d
GD Posts: 0
Has thanked: 21 times
Been thanked: 57 times

Re: Thermography

Post by Gérard TAILLE »

Seeing the difference game in my previous post I built the following very simple position and very simple environment (without ko threat)
Click Here To Show Diagram Code
[go]$$B Kosumi vs. keima
$$ -----------------
$$ | . . . . . . O |
$$ | X X . . . . O |
$$ | . X O O O O O |
$$ | . X X X X O . |
$$ | . X X X X O O |
$$ | . X X X X X O |
$$ | . X . O O . O |
$$ -----------------[/go]
The keima seems better than the kosumi, doesn't it?
Post Reply