AI & Igo Hatsuyoron 120

For discussing go computing, software announcements, etc.
Tryss
Lives in gote
Posts: 502
Joined: Tue May 24, 2011 1:07 pm
Rank: KGS 2k
GD Posts: 100
KGS: Tryss
Has thanked: 1 time
Been thanked: 153 times

Re: AI & Igo Hatsuyoron 120

Post by Tryss »

One thing to understand, is that the programs don't know the difference between a problem and a game. And that has consequences in how you approach the position
User avatar
Cassandra
Lives in sente
Posts: 1328
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: AI & Igo Hatsuyoron 120

Post by Cassandra »

Tryss wrote:One thing to understand, is that the programs don't know the difference between a problem and a game. And that has consequences in how you approach the position
If this were true, I would assume the programs to perform better.

Let me give an example, showing the two types of White replies during the growth of the hanezeki's tail:

= = = = = = = = = = = = = = = = = = = =

Intro: What both programs already know

During the sequences following mistaken White moves during the growth of the hanezeki's tail, both programs are very well aware that ...
Click Here To Show Diagram Code
[go]$$c
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X . O O -
$$ - . - X O O , . X . . . O . X X O O O O . . -
$$ - . - X . . O X . . . . O . X O O O . X X X -
$$ - . - X . . O X . . . X O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O . O . X X O -
$$ - . - . O O X O X . . . O . X X O O O X O O -
$$ - . - . . X . . X . . . . X . O X X X O O O -
$$ - . - O X X , X . . O . , O O O X O X O O X -
$$ - . - . . . . O X . . . . . . . B O X X O X -
$$ - . - O . X . . . . . O . . . O X O X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
... capturing White's three stones in the lower right is Black's privilege, and ...
Click Here To Show Diagram Code
[go]$$c
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X . O O -
$$ - . - X O O , . X . . . O . X X O O O O . . -
$$ - . - X . . O X . . . . O . X O O O . X X X -
$$ - . - X . . O X . . . X O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O . O . X X O -
$$ - . - . O O X O X . . . O . X X O O O X O O -
$$ - . - . . X . . X . . . . X . O X X X O O O -
$$ - . - O X X , X . . O . , O O O X . X O O X -
$$ - . - . . . . O X . . . . . . . X W X X O X -
$$ - . - O . X . . . . . O . . . O X . X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
...that this forces White to prevent Black from immediately getting two eyes.

To ease the following presentation, we can savely assume that these two moves are played first.

= = = = = = = = = = = = = = = = = = = =

TYPE 1: Life for or escape of the tail (NOT CHOOSEN !!!)
Click Here To Show Diagram Code
[go]$$c Two eyes
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X . O O -
$$ - . - X O O , . X . . . O . X X O O O O . . -
$$ - . - X . . O X . . . . O . X O O O . X X X -
$$ - . - X . . O X . . . X O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O . O . X X O -
$$ - . - . O O X O X . . . O . X X O O O X O O -
$$ - . - . . X . . X . . . . X . O X X X O O O -
$$ - . - O X X , X . . O . , O O O X . X O O X -
$$ - . - . . . . O X . . . . . P X X O X X O X -
$$ - . - O . X . . . . . O . . 1 O X . X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
Click Here To Show Diagram Code
[go]$$c Two eyes
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X . O O -
$$ - . - X O O , . X . . . O . X X O O O O . . -
$$ - . - X . . O X . . . . O . X O O O . X X X -
$$ - . - X . . O X . . . X O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O . O . X X O -
$$ - . - . O O X O X . . . O . X X O O O X O O -
$$ - . - . . X . . X . . . . X . O X X X O O O -
$$ - . - O X X , X . . O . , O O O X . X O O X -
$$ - . - . . . . O X . . . . P X X X O X X O X -
$$ - . - O . X . . . . . O . 1 O O X . X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
Click Here To Show Diagram Code
[go]$$c Capturing four White stones
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X . O O -
$$ - . - X O O , . X . . . O . X X O O O O . . -
$$ - . - X . . O X . . . . O . X O O O . X X X -
$$ - . - X . . O X . . . X O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O . O . X X O -
$$ - . - . O O X O X . . . O . X X O O O X O O -
$$ - . - . . X . . X . . . . X . O X X X O O O -
$$ - . - O X X , X . . O . 1 O O O X . X O O X -
$$ - . - . . . . O X . . . P X X X X O X X O X -
$$ - . - O . X . . . . . O . O O O X . X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
Click Here To Show Diagram Code
[go]$$c Capturing four White stones
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X . O O -
$$ - . - X O O , . X . . . O . X X O O O O . . -
$$ - . - X . . O X . . . . O . X O O O . X X X -
$$ - . - X . . O X . . . X O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O . O . X X O -
$$ - . - . O O X O X . . . O . X X O O O X O O -
$$ - . - . . X . . X . . . . X . O X X X O O O -
$$ - . - O X X , X . . O . 1 O O O X . X O O X -
$$ - . - . . . . O X . . P X X X X X O X X O X -
$$ - . - O . X . . . . . O O O O O X . X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
Click Here To Show Diagram Code
[go]$$c Connecting to the left
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X . O O -
$$ - . - X O O , . X . . . O . X X O O O O . . -
$$ - . - X . . O X . . . . O . X O O O . X X X -
$$ - . - X . . O X . . . X O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O . O . X X O -
$$ - . - . O O X O X . . . O . X X O O O X O O -
$$ - . - . . X . . X . . . . X . O X X X O O O -
$$ - . - O X X , X . . O P O O O O X . X O O X -
$$ - . - . . . . O X 3 1 X X X X X X O X X O X -
$$ - . - O . X . . . . 2 O O O O O X . X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
Click Here To Show Diagram Code
[go]$$c Capturing five White stones
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X . O O -
$$ - . - X O O , . X . . . O . X X O O O O . . -
$$ - . - X . . O X . . . . O . X O O O . X X X -
$$ - . - X . . O X . . . X O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O . O . X X O -
$$ - . - . O O X O X . . . O . X X O O O X O O -
$$ - . - . . X . . X . . P 1 X . O X X X O O O -
$$ - . - O X X , X . . O X O O O O X . X O O X -
$$ - . - . . . . O X . O X X X X X X O X X O X -
$$ - . - O . X . . . X O O O O O O X . X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
Click Here To Show Diagram Code
[go]$$c Connecting to the left
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X . O O -
$$ - . - X O O , . X . . . O . X X O O O O . . -
$$ - . - X . . O X . . . . O . X O O O . X X X -
$$ - . - X . . O X . . . X O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O . O . X X O -
$$ - . - . O O X O X 3 5 P O . X X O O O X O O -
$$ - . - . . X . . X 2 1 X O X . O X X X O O O -
$$ - . - O X X , X . 4 O X O O O O X . X O O X -
$$ - . - . . . . O X . O X X X X X X O X X O X -
$$ - . - O . X . . . X O O O O O O X . X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
Click Here To Show Diagram Code
[go]$$c Connecting to the left
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X . O O -
$$ - . - X O O , . X . . . O . X X O O O O . . -
$$ - . - X . . O X . 3 4 P O . X O O O . X X X -
$$ - . - X . . O X . 2 1 X O . X O O X X X O O -
$$ - . - X X . . X . 5 O X O . X O . O . X X O -
$$ - . - . O O X O X . O X O . X X O O O X O O -
$$ - . - . . X . . X . O X O X . O X X X O O O -
$$ - . - O X X , X . . O X O O O O X . X O O X -
$$ - . - . . . . O X . O X X X X X X O X X O X -
$$ - . - O . X . . . X O O O O O O X . X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
Click Here To Show Diagram Code
[go]$$c Connecting to the left
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X . O O -
$$ - . - X O O , . X 3 4 P O . X X O O O O . . -
$$ - . - X . . O X . 2 1 X O . X O O O . X X X -
$$ - . - X . . O X . 5 O X O . X O O X X X O O -
$$ - . - X X . . X . . O X O . X O . O . X X O -
$$ - . - . O O X O X . O X O . X X O O O X O O -
$$ - . - . . X . . X . O X O X . O X X X O O O -
$$ - . - O X X , X . . O X O O O O X . X O O X -
$$ - . - . . . . O X . O X X X X X X O X X O X -
$$ - . - O . X . . . X O O O O O O X . X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
= = = = = = = = = = = = = = = = = = = =

TYPE 2: Confinement of the tail (MISTAKENLY CHOOSEN !!!)
Click Here To Show Diagram Code
[go]$$c Sealing the tail in
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X . O O -
$$ - . - X O O , . X . . . O . X X O O O O . . -
$$ - . - X . . O X . . . . O . X O O O . X X X -
$$ - . - X . . O X . . . X O . X O O X X X O O -
$$ - . - X X . . X . 4 O P O . X O . O . X X O -
$$ - . - . O O X O X 2 1 X O . X X O O O X O O -
$$ - . - . . X . . X 3 O X O X . O X X X O O O -
$$ - . - O X X , X . . O X O O O O X . X O O X -
$$ - . - . . . . O X . O X X X X X X O X X O X -
$$ - . - O . X . . . X O O O O O O X . X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
Now, there is a semeai between White's stones on the lower edge, and Black's tail group.

White should only play this way if she knew that she can win this semeai. What the programs usually do NOT during their analysis.
Click Here To Show Diagram Code
[go]$$c Sealing the tail in
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . . . . . O X . -
$$ - a - . . . . . . . X O O . X O . . . . O . -
$$ - r - . . . . . X . O . . . X . . . . O . . -
$$ - . - . X O , . . . . . O . X . O O , . . . -
$$ - . - . . X X . X . . . . O X X . X X O O . -
$$ - . - . X . O . O . . . . . . X . X O . . . -
$$ - . - . O O O . . O O . . O O . O X . . . . -
$$ - . - O . . X . . . . . . . . . . X X X X X -
$$ - . - . . . X . . 4 O P . O . X X X X . O O -
$$ - . - X O O , . X 2 1 X O . X X O O O O . . -
$$ - . - X . . O X . 3 O X O . X O O O . X X X -
$$ - . - X . . O X . . O X O . X O O X X X O O -
$$ - . - X X . . X . . O X O . X O . O . X X O -
$$ - . - . O O X O X . O X O . X X O O O X O O -
$$ - . - . . X . . X . O X O X . O X X X O O O -
$$ - . - O X X , X . . O X O O O O X . X O O X -
$$ - . - . . . . O X . O X X X X X X O X X O X -
$$ - . - O . X . . . X O O O O O O X . X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
Now, there is a semeai between White's stones on the lower edge, and Black's tail group.

White should only play this way if she "knew" that she can win this semeai. What the programs usually do NOT during their analysis (neither do the programs "know" that capturing the tail is losing the game for White).

= = = = = = = = = = = = = = = = = = = =

I would like to reason that AI does understand (short) future sequences that capture some opponent's stones (and so either make two eyes or connect to the outside), but are unable to handle a (longer) semeai correct.
Last edited by Cassandra on Wed Sep 18, 2019 4:17 am, edited 1 time in total.
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: AI & Igo Hatsuyoron 120

Post by Bill Spight »

Cassandra wrote:
Tryss wrote:One thing to understand, is that the programs don't know the difference between a problem and a game. And that has consequences in how you approach the position
If this were true, I would assume the programs to perform better.
A couple of things. Many classical problems were, in fact, whole board problems, considering that a fight over the life or death of a corner could spill out into the rest of the board. However, if the purpose of the problem was to win the game, it might well be best to play somewhere else and possibly lose the fight in the corner. But this is not one of those problems, for two reasons. 1) The fight for life and death is huge, dwarfing anything else, at least at first. 2) Regular yose are part of the problem, not just life and death. So the purpose of the problem is to win the game.

Given that the purpose is to win the game, komi matters. In fact, to the best of human analysis, if Black gives 7½ pts. komi, she cannot win the game. So far in this discussion, the bots are assumping a 7½ pt. komi. In this note, Cassandra has shown a number of AI mistakes by White that allow Black to win the game, even giving komi. To wit:
Cassandra wrote:Let me give an example, showing the two types of White replies during the growth of the hanezeki's tail:

{snip}

White should only play this way if she knew that she can win this semeai. What the programs usually do NOT during their analysis.

{snip}

White should only play this way if she "knew" that she can win this semeai. What the programs usually do NOT during their analysis (neither do the programs "know" that capturing the tail is losing the game for White).

= = = = = = = = = = = = = = = = = = = =

I would like to reason that AI does understand (short) future sequences that capture some opponent's stones (and so either make two eyes or connect to the outside), but are unable to handle a (longer) semeai correct.
This is a well known defect of today's top bots. Humans do better at large semeai. In fact, not too long ago I posted a mistaken review by Elf where the semeai was not that big, but there was a tesuji at the end. Elf failed to see the human win until late in the actual play. (Or maybe the human loser resigned first, I don't recall exactly.)

My working hypothesis for why this happens is twofold. First, there is a horizon effect. You have to calculate the tree deeply enough to find the correct play. Humans excel at depth first search, at least consciously. Second, searching the whole board is inefficient for finding locally deep plays. Usually searching the whole board is better than local depth first search, which is one reason that today's bots play at super human levels. Another is that they are better at whole board evaluation than humans, but that is something that humans can learn from them. :)

Anyway, most go problems are designed for human solution, that is, for depth first local search, even if the search takes the whole board. If bots were trained on such problems, they could very likely do better than humans at them. But such training would take many thousands, maybe millions of such problems, and they do not exist, nor do we know how to have computers construct them.

I think that in the future, go playing programs will, like humans, utilize local search as well as whole board search. We know mathematically that it is more efficient to search independent regions of the board locally and combine the results of those searches into a whole board search. That is how humans do well at the endgame. :) An unsolved problem is how to get computers to recognize independent regions of the board. Right now, programs are continuing to improve rapidly by improving their whole board evaluation. But eventually diminishig returns will set in, and my guess is that new programs will start to incorporate local searches in order to improve. Not using local search is a known weakness, after all.
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
User avatar
Cassandra
Lives in sente
Posts: 1328
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: AI & Igo Hatsuyoron 120

Post by Cassandra »

The handling of the hanezeki's tail might be difficult to "understand".
Click Here To Show Diagram Code
[go]$$Bc Var B 221 = B 81: Connecting the tail
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . X . . . O X . -
$$ - a - . . . . . . . X O O . X O X O . . O . -
$$ - r - . . . . . X . O . . . X O . . O O . . -
$$ - . - . X O , . . . . . O . X . O O X . . . -
$$ - . - . . X X . X O O O . O X X . X X O O . -
$$ - . - . X . O . O X X X O . . X . X O . O . -
$$ - . - . O O O . . O O X X O O . O X . . X . -
$$ - . - O . . X . . . O O X O . . . X X X X X -
$$ - . - . . . X . . . O X X O . X X X X O O O -
$$ - . - X O O , . X . O X O O X X O O O O X . -
$$ - . - X . . O X . . O X O . X O O O . X X X -
$$ - . - X . . O X . . O X O . X O O X X X O O -
$$ - . - X X . . X . . O X O . X O O O X X X O -
$$ - . - . O O X O X . O X O . X X O O O X O O -
$$ - . - . . X . . X . O X O X . O X X X O O O -
$$ - . - O X X , X . . O X O O O O X O X O O X -
$$ - . - . . . . O X . O X X X X X 1 O X X O X -
$$ - . - O . X . . . X O O O O O O X O X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
Connecting the tail while capturing three White stones is a fatal mistake, but ...
Click Here To Show Diagram Code
[go]$$Bc
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . X . . . O X . -
$$ - a - . . . . . . . X O O . X O X O . . O . -
$$ - r - . . . . . X . O . . . X O . . O O . . -
$$ - . - . X O , . . . . . O . X . O O X . . . -
$$ - . - . . X X . X O O O . O X X . X X O O . -
$$ - . - . X . O . O X X X O . . X . X O . O . -
$$ - . - . O O O . . O O X X O O . O X . . X . -
$$ - . - O . . X . . . O O X O . . . X X X X X -
$$ - . - . . . X . . . O X X O . X X X X O O O -
$$ - 3 - X O O , . X . O X O O X X O O O O X . -
$$ - 5 - X . . O X . . O X O . X O O O . X X X -
$$ - 7 - X . . O X . . O X O . X O O X X X O O -
$$ - . - X X . . X . . O X O . X O O O X X X O -
$$ - . - . O O X O X . O X O . X X O O O X O O -
$$ - . - . . X . . X . O X O X . O X X X O O O -
$$ - . - O X X , X . . O X O O O O X . X O O X -
$$ - . - . . . . O X . O X X X X X X 2 X X O X -
$$ - . - O . X . . . X O O O O O O X 4 X 6 O X -
$$ - . - . X . . . . . . . . . . O X X X . O 8 -
$$ +-------------------------------------------+[/go]
... if White ever has to capture Black's tail group, ...
Click Here To Show Diagram Code
[go]$$Bc
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . X . . . O X . -
$$ - a - . . . . . . . X O O . X O X O . . O . -
$$ - r - . . . . . X . O . . . X O . . O O . . -
$$ - . - . X O , . . . . . O . X . O O X . . . -
$$ - . - . . X X . X O O O . O X X . X X O O . -
$$ - . - . X . O . O X X X O . . X . X O . O . -
$$ - . - . O O O . . O O X X O O . O X . . X . -
$$ - . - O . . X . . . O O X O . . . X X X X X -
$$ - . - . . . X . . . O X X O . X X X X O O O -
$$ - X - X O O , . X . O X O O X X O O O O X . -
$$ - X - X . . O X . . O X O . X O O O . X X X -
$$ - X - X . . O X . . O X O . X O O X X X O O -
$$ - . - X X . . X . . O X O . X O O O X X X O -
$$ - . - . O O X O X . O X O . X X O O O X O O -
$$ - . - . . X . . X . O X O X . O X X X O O O -
$$ - . - O X X , X . . O X O O O O X . X O O . -
$$ - . - . . . . O X . O X X X X X X O X X O 9 -
$$ - . - O . X . . . X O O O O O O X O X O O . -
$$ - . - . X . . . . . . . . . . O X X X 0 O O -
$$ +-------------------------------------------+[/go]
...
Click Here To Show Diagram Code
[go]$$Bcm11
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . X . . . O X . -
$$ - a - . . . . . . . X O O . X O X O . . O . -
$$ - r - . . . . . X . O . . . X O . . O O . . -
$$ - . - . X O , . . . . . O . X . O O X . . . -
$$ - . - . . X X . X O O O . O X X . X X O O . -
$$ - . - . X . O . O X X X O . . X . X O . O . -
$$ - . - . O O O . . O O X X O O . O X . . X . -
$$ - . - O . . X . . . O O X O . . . X X X X X -
$$ - . - . . . X . . . O X X O . X X X X O O O -
$$ - X - X O O , . X . O X O O X X O O O O X . -
$$ - X - X . . O X . . O X O . X O O O . X X X -
$$ - X - X . . O X . . O X O . X O O X X X O O -
$$ - 1 - X X . . X . . O X O . X O O O X X X O -
$$ - . - . O O X O X . O X O . X X O O O X O O -
$$ - . - . . X . . X . O X O X . O X X X O O O -
$$ - . - O X X , X . . O X O O O O X 2 X O O . -
$$ - . - . . . . O X . O X X X X X X O X X O X -
$$ - . - O . X . . . X O O O O O O X O X O O . -
$$ - . - . X . . . . . . . . . . O X X X O O O -
$$ +-------------------------------------------+[/go]
... Black can play elsewhere four times.

= = = = = = = = = = = = = = = = = = = =
Click Here To Show Diagram Code
[go]$$Wc Var W 222 = W 80: Capturing the tail
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . X . . . O X . -
$$ - a - . . . . . . . X O O . X O X O . . O . -
$$ - r - . . . . . X . O . . . X O . . O O . . -
$$ - . - . X O , . . . . . O . X . O O X . . . -
$$ - . - . . X X . X O O O . O X X . X X O O . -
$$ - . - . X . O . O X X X O . . X . X O . O . -
$$ - . - . O O O . X O O X X O O . O X . . X . -
$$ - . - O . . X . . . O O X O . . . X X X X X -
$$ - . - . . . X . . . O X X O . X X X X O O O -
$$ - . - X O O , . X . O X O O X X O O O O X . -
$$ - . - X . . O X . . O X O . X O O O . X X X -
$$ - . - X . . O X . . O X O . X O O X X X O O -
$$ - . - X X . . X . . O X O . X O O O X X X O -
$$ - . - . O O X O X . O X O . X X O O O X O O -
$$ - . - . . X . . X . O X O X . O X X X O O O -
$$ - . - O X X , X . . O X O O O O X O X O O X -
$$ - . - . . . . O X . O X X X X X 1 O X X O X -
$$ - . - O . X . . . X O O O O O O X O X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
On the other hand, if White mistakenly captures the tail, ...
Click Here To Show Diagram Code
[go]$$Wc
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . X . . . O X . -
$$ - a - . . . . . . . X O O . X O X O . . O . -
$$ - r - . . . . . X . O . . . X O . . O O . . -
$$ - . - . X O , . . . . . O . X . O O X . . . -
$$ - . - . . X X . X O O O . O X X . X X O O . -
$$ - . - . X . O . O . . . O . . X . X O . O . -
$$ - . - . O O O . X O O . . O O . O X . . X . -
$$ - . - O . . X . . . O O . O . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X O O O -
$$ - . - X O O , . X . O . O O X X O O O O X . -
$$ - . - X . . O X . . O . O . X O O O . X X X -
$$ - . - X . . O X . . O . O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O O O X X X O -
$$ - . - . O O X O X . O . O . X X O O O X O O -
$$ - . - . . X . . X . O . O X . O X X X O O O -
$$ - . - O X X , X . . O . O O O O X O X O O X -
$$ - . - . . . . O X . O . . . . 2 O O X X O X -
$$ - . - O . X . . . X O O O O O O X O X . O X -
$$ - . - . X . . . . . . . . . . O X X X . O . -
$$ +-------------------------------------------+[/go]
...
Click Here To Show Diagram Code
[go]$$Wc
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . X . . . O X . -
$$ - a - . . . . . . . X O O . X O X O . . O . -
$$ - r - . . . . . X . O . . . X O . . O O . . -
$$ - . - . X O , . . . . . O . X . O O X . . . -
$$ - . - . . X X . X O O O . O X X . X X O O . -
$$ - . - . X . O . O . . . O . . X . X O . O . -
$$ - . - . O O O . X O O . . O O . O X . . X . -
$$ - . - O . . X . . . O O . O . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X O O O -
$$ - 5 - X O O , . X . O . O O X X O O O O X . -
$$ - . - X . . O X . . O . O . X O O O . X X X -
$$ - . - X . . O X . . O . O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O O O X X X O -
$$ - . - . O O X O X . O . O . X X O O O X O O -
$$ - . - . . X . . X . O . O X . O X X X O O O -
$$ - . - O X X , X . . O . O O O O X . X O O X -
$$ - . - . . . . O X . O . . . . X . 3 X X O X -
$$ - . - O . X . . . X O O O O O O X . X 4 O X -
$$ - . - . X . . . . . . . . . . O X X X 6 O 7 -
$$ +-------------------------------------------+[/go]
...
Click Here To Show Diagram Code
[go]$$Bcm8
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . X . . . O X . -
$$ - a - . . . . . . . X O O . X O X O . . O . -
$$ - r - . . . . . X . O . . . X O . . O O . . -
$$ - . - . X O , . . . . . O . X . O O X . . . -
$$ - . - . . X X . X O O O . O X X . X X O O . -
$$ - . - . X . O . O . . . O . . X . X O . O . -
$$ - . - . O O O . X O O . . O O . O X . . X . -
$$ - . - O . . X . . . O O . O . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X O O O -
$$ - O - X O O , . X . O . O O X X O O O O X . -
$$ - 3 - X . . O X . . O . O . X O O O . X X X -
$$ - . - X . . O X . . O . O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O O O X X X O -
$$ - . - . O O X O X . O . O . X X O O O X O O -
$$ - . - . . X . . X . O . O X . O X X X O O O -
$$ - . - O X X , X . . O . O O O O X . X O O . -
$$ - . - . . . . O X . O . . . 4 X 2 O X X O 1 -
$$ - . - O . X . . . X O O O O O O X . X X O . -
$$ - . - . X . . . . . . . . . . O X X X X O O -
$$ +-------------------------------------------+[/go]
...
Click Here To Show Diagram Code
[go]$$Bcm12
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . X . . . O X . -
$$ - a - . . . . . . . X O O . X O X O . . O . -
$$ - r - . . . . . X . O . . . X O . . O O . . -
$$ - . - . X O , . . . . . O . X . O O X . . . -
$$ - . - . . X X . X O O O . O X X . X X O O . -
$$ - . - . X . O . O . . . O . . X . X O . O . -
$$ - . - . O O O . X O O . . O O . O X . . X . -
$$ - . - O . . X . . . O O . O . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X O O O -
$$ - O - X O O , . X . O . O O X X O O O O X . -
$$ - X - X . . O X . . O . O . X O O O . X X X -
$$ - . - X . . O X . . O . O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O O O X X X O -
$$ - . - . O O X O X . O . O . X X O O O X O O -
$$ - . - . . X . . X . O . O X . O X X X O O O -
$$ - . - O X X , X . . O . O O O O X 2 X O O 1 -
$$ - . - . . . . O X . O . . . O . O O X X O X -
$$ - . - O . X . . . X O O O O O O X . X X O 3 -
$$ - . - . X . . . . . . . . . . O X X X X O O -
$$ +-------------------------------------------+[/go]
... there are also two tenuki.

= = = = = = = = = = = = = = = = = = = =
Click Here To Show Diagram Code
[go]$$Wc
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . X . . . O X . -
$$ - a - . . . . . . . X O O . X O X O . . O . -
$$ - r - . . . . . X . O . . . X O . . O O . . -
$$ - v - . X O , . . . . . O . X . O O X . . . -
$$ - a - . . X X . X O O O . O X X . X X O O . -
$$ - r - . X . O . O . . . O . . X . X O . O . -
$$ - . - . O O O . X O O . . O O . O X . . X . -
$$ - . - O . . X . . . O O . O . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X O O O -
$$ - 3 - X O O , . X . O . O O X X O O O O X . -
$$ - 5 - X . . O X . . O . O . X O O O . X X X -
$$ - . - X . . O X . . O . O . X O O X X X O O -
$$ - . - X X . . X . . O . O . X O O O X X X O -
$$ - . - . O O X O X . O . O . X X O O O X O O -
$$ - . - . . X . . X . O . O X . O X X X O O O -
$$ - . - O X X , X . . O . O O O O X . X O O X -
$$ - . - . . . . O X . O . . . . X . . X X O X -
$$ - . - O . X . . . X O O O O O O X . X 4 O X -
$$ - . - . X . . . . . . . . . . O X X X 6 O 7 -
$$ +-------------------------------------------+[/go]
If Black is forced to capture White's group in the corner, and White does not mind losing points, ...
Click Here To Show Diagram Code
[go]$$Bcm8
$$ +-------------------------------------------+
$$ - v - . . . . . . . . . . . . X . . . O X . -
$$ - a - . . . . . . . X O O . X O X O . . O . -
$$ - r - . . . . . X . O . . . X O . . O O . . -
$$ - . - . X O , . . . . . O . X . O O X . . . -
$$ - . - . . X X . X O O O . O X X . X X O O . -
$$ - . - . X . O . O . . . O . . X . X O . O . -
$$ - . - . O O O . X O O . . O O . O X . . X . -
$$ - . - O . . X . . . O O . O . . . X X X X X -
$$ - . - . . . X . . . O . . O . X X X X O O O -
$$ - O - X O O , . X . O . O O X X O O O O X . -
$$ - O - X . . O X . . O . O . X O O O . X X X -
$$ - 2 - X . . O X . . O . O . X O O X X X O O -
$$ - 4 - X X . . X . . O . O . X O O O X X X O -
$$ - 6 - . O O X O X . O . O . X X O O O X O O -
$$ - . - . . X . . X . O . O X . O X X X O O O -
$$ - . - O X X , X . . O . O O O O X . X O O 3 -
$$ - . - . . . . O X . O . . . . X . . X X O 1 -
$$ - . - O . X . . . X O O O O O O X . X X O 5 -
$$ - . - . X . . . . . . . . . . O X X X X O O -
$$ +-------------------------------------------+[/go]
... she can play five moves in a row elsewhere.
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
Mike Novack
Lives in sente
Posts: 1045
Joined: Mon Aug 09, 2010 9:36 am
GD Posts: 0
Been thanked: 182 times

Re: AI & Igo Hatsuyoron 120

Post by Mike Novack »

Not exactly. In "varvar" if white plays 3 tenuki, black plays 4 at "R3" (the letters are shifted) and then that group is unconditionally alive. Meaning that there is no hurry to capture the corner because the "O6" dragon has LOTS of liberties.

So play continues elsewhere until just dame left or the dragon's liberties have been reduced to the danger point. So white does not get all those tenukis you described, just the tenuki of 3 and sente. By the time black has to use moves to capture the corner, what you have as 9, 11, and 13 become valueless dame plays (and 5 was just white having sente after black 4)
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: AI & Igo Hatsuyoron 120

Post by Bill Spight »

Whole board tsumego.

Above I mentioned that traditional tsumego sometimes spilled out onto the whole board. OC, in such cases the solution to the problem may not have been the best play on the board. ;)

Here is a nice example, from Life and Death Research by Suzuki Tamejiro, published in 1920. Many people will be familiar with the modern version of the problem, which is more enclosed.

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

Visualize whirled peas.

Everything with love. Stay safe.
User avatar
Cassandra
Lives in sente
Posts: 1328
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: AI & Igo Hatsuyoron 120

Post by Cassandra »

Mike Novack wrote:Not exactly. In "varvar" if white plays 3 tenuki, black plays 4 at "R3" (the letters are shifted) and then that group is unconditionally alive. Meaning that there is no hurry to capture the corner because the "O6" dragon has LOTS of liberties.

So play continues elsewhere until just dame left or the dragon's liberties have been reduced to the danger point. So white does not get all those tenukis you described, just the tenuki of 3 and sente. By the time black has to use moves to capture the corner, what you have as 9, 11, and 13 become valueless dame plays (and 5 was just white having sente after black 4)
One of the problems with the problem is that you are right, IF AND ONLY IF Black plays a perfect game.

However, if Black ever loses a move in the main semeai between his large group in the upper right and White's group at the left edge, he will lose the game by a large margin.

Please note that in this very special case of the main semeai getting two eyes with the move at "R3" also loses a move unnecessarily.

= = = = = = = = = = = = = = = = = = = =

Joachim Meinhardt's oki at "R3" (aka O3) -- that destroyed the classical solution to the problem -- has a similar characteristic.

This move is of NO use during several potential semeai between Black's large group in the upper right and White's group at the LOWER edge (then with only one eye) in the first half of the game. It also loses a move during these subvariations, and so should not be played.

But with the correct solution sequence, the situation towards the end of the main semeai will change, and this oki becomes the game winner for White.
Please also note that none of the seemingly "dame" plays is "valueless" then. ;-)
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
User avatar
Cassandra
Lives in sente
Posts: 1328
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: AI & Igo Hatsuyoron 120

Post by Cassandra »

This implies that one -- human being and machine alike -- cannot really learn from even the PROBLEM's move sequences INSIDE the hanezeki, unless the liberty relationship between the two OUTSIDE groups that are caught in a main semeai is also taken into account.
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
User avatar
Cassandra
Lives in sente
Posts: 1328
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: AI & Igo Hatsuyoron 120

Post by Cassandra »

Crosscut? Which Crosscut?

Both programs do not realize Black's crosscut in the upper left.
Click Here To Show Diagram Code
[go]$$Bc B 221 = B 79
$$ +---------------------------------------+
$$ | . . . . . . . . . . . . X . . . O X . |
$$ | . . . . . . . X O O . X O X O . . O . |
$$ | . . . . . X . O . . . X O . . O O . . |
$$ | . X O , . . . . . O . X . O O X . . . |
$$ | . . X X . X O O O . O X X . X X O O . |
$$ | . X . O . O X X X O . . X . X O . O . |
$$ | . O O O . ? O O X X O O . O X . . X . |
$$ | O . . X . . . O O X O . . . X X X X X |
$$ | . . . X . . . O X X O . X X X X O O O |
$$ | X O O , . X . O X O O X X O O O O X . |
$$ | X . . O X . . O X O . X O O O . X X X |
$$ | X . . O X . . O X O . X O O X X X O O |
$$ | X X . . X . . O X O . X O O O X X X O |
$$ | . O O X O X . O X O . X X O O O X O O |
$$ | . . X . . X . O X O X . O X X X O O O |
$$ | O X X , X . . O X O O O O X O X O O X |
$$ | . . . . O X . O X X X X X . O X X O X |
$$ | O . X . . . X O O O O O O X O X . O X |
$$ | . X . . . . . . . . . . O X X X Z O . |
$$ +---------------------------------------+[/go]
LeelaZero follows her fatal inclination to moves inside the hanezeki, assuming win rate > 65 % for Black.
Click Here To Show Diagram Code
[go]$$Bc B 221 = B 79
$$ +---------------------------------------+
$$ | . . . . . . . . . . . . X . . . O X . |
$$ | . . . . . . . X O O . X O X O . . O . |
$$ | . . . . . X . O . . . X O . . O O . . |
$$ | . X O , . . . . . O . X . O O X . . . |
$$ | . . X X . X O O O . O X X . X X O O . |
$$ | . X . O Z O X X X O . . X . X O . O . |
$$ | . O O O . ? O O X X O O . O X . . X . |
$$ | O . . X . . . O O X O . . . X X X X X |
$$ | . . . X . . . O X X O . X X X X O O O |
$$ | X O O , . X . O X O O X X O O O O X . |
$$ | X . . O X . . O X O . X O O O . X X X |
$$ | X . . O X . . O X O . X O O X X X O O |
$$ | X X . . X . . O X O . X O O O X X X O |
$$ | . O O X O X . O X O . X X O O O X O O |
$$ | . . X . . X . O X O X . O X X X O O O |
$$ | O X X , X . . O X O O O O X O X O O X |
$$ | . . . . O X . O X X X X X . O X X O X |
$$ | O . X . . . X O O O O O O X O X . O X |
$$ | . X . . . . . . . . . . O X X X . O . |
$$ +---------------------------------------+[/go]
KataGo, however, gives atari from the wrong side, assuming a win rate about 15 % for Black.
Probably, KataGo judges Black's large upper right group to be dead, so the best policy might be capturing White's left side.

+ + + + +

It is obvious that neither program realizes the main semeai between Black's upper right, and White's left, groups.
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
Post Reply