Martian problem

For discussing go rule sets and rule theory
jaeup
Dies with sente
Posts: 73
Joined: Thu Jun 13, 2019 5:08 pm
Rank: 5d
GD Posts: 0
Has thanked: 7 times
Been thanked: 17 times
Contact:

Re: Martian problem

Post by jaeup »

Bill Spight wrote:As my rules indicate, it is possible for play to continue forever if passes lift ko bans and 2 passes do not end play.
Well, it is true only for a few special situations, for example, when there exists a double ko seki on the board. I agree that the Japanese rule, when applying it literally (and assuming a pass lifts ko ban), cannot finish the game. But it does not automatically mean they really meant that a pass cannot lift a ko ban.
Jaeup Kim
Professor in Physics, Ulsan National Institute of Science and Technology, Korea
Author of the Book "Understanding the Rules of Baduk", available at https://home.unist.ac.kr/professor/juki ... ce&wr_id=5
jaeup
Dies with sente
Posts: 73
Joined: Thu Jun 13, 2019 5:08 pm
Rank: 5d
GD Posts: 0
Has thanked: 7 times
Been thanked: 17 times
Contact:

Re: Martian problem

Post by jaeup »

Bill Spight wrote:Yes, but they handle such situations by hypothetical play instead of resumption. At the very least you can prove that the unfilled ko in many, if not all of such situations, leaves a dead ko stone.
As you left a reservation, there are situations that not lifting the ko ban really makes things problematic and hypothetical play cannot save all of them.

Here, I brought a figure from my book: Japanese (or Korean) rule, assume a pass does not lift a ko ban, Black's turn, komi W+0.5, what is the best play for each and who wins? My original plan was to explain it, but I just realized that it will be fun to wait for you guys to find the answer.
jpncom49.png
jpncom49.png (94.49 KiB) Viewed 15464 times
Jaeup Kim
Professor in Physics, Ulsan National Institute of Science and Technology, Korea
Author of the Book "Understanding the Rules of Baduk", available at https://home.unist.ac.kr/professor/juki ... ce&wr_id=5
jaeup
Dies with sente
Posts: 73
Joined: Thu Jun 13, 2019 5:08 pm
Rank: 5d
GD Posts: 0
Has thanked: 7 times
Been thanked: 17 times
Contact:

Re: Martian problem

Post by jaeup »

Gérard TAILLE wrote:I see another issue with the handling of ko in actual play or in hypothetical play.

Komi O,5 point, White to play
Click Here To Show Diagram Code
[go]$$B
$$ ----------------------------------------
$$ | X X X X X X X X X . O O O O O O O . O|
$$ | X X X X X X X X X O O O O O O O O O .|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | O O O O O O O O O O O O O O O O O O O|
$$ | X X X X X X X X X X X X X X X X X X X|
$$ | X X X X X X X X X X X X X X X X X X X|
$$ | X X X X X X X X X X X X X X X X X X .|
$$ | X X X X X X X X X X X X X X X X X . X|
$$ | X X X X X X O O O O O . X X X X X X X|
$$ | O O O O O O O O O O O O O O O O O O O|
$$ | O O O O O O O O O O O O O O O O O O O|
$$ | O O O O O O O O O O O O O O O O O O O|
$$ | O O O O O O O O O O O O O O O O O O O|
$$ ----------------------------------------[/go]
3) The players agreed that it is far to complex to decide whether or not the black group is dead under hypothetical play. What happens? I guess the resumption of the game will be decided but both players will obviously pass. What is the result? Here again I guess black will win

Can we conclude that the 1989 rule changes the result of this game ?
I guess this is also a well-known problem. The hidden question here is, who operates the hypothetical play? Do the players have the right to present the best sequence one can imagine? What if the opponent does not agree?

I believe, even though it is not written anywhere, they had "perfect play" or "God's play" in their minds when writing the rule, assuming that a pro level player will not have a trouble finding such a sequence for the problematic localized area. For this situation, no one can confirm such a sequence, and the only fair decision is to let them "play" the hypothetical play to decide whether Black can make a life on the corner.

Anyway, I do not think that they really cared this type of flaw in their rule-writing. (They will simply say "it won't happen, so don't worry.")

One interesting story is this. The Korean rule is more ambiguous in that it is difficult to see whether the hypothetical play is really inside the rule. I at least interprete it that way, and a few Korean pros I asked agreed. However, when I presented this type of problem to them, they were very reluctant to admit that the Black stones at the corner may get a life. (Yeah, I know. They simply think, well... but... whatever the rule says... its DEAD!!!) So, I think KBA will call it dead if it really occurs. Does Nihon Ki-in have the gut to admit that the corner is alive by seki? I doubt it.
Jaeup Kim
Professor in Physics, Ulsan National Institute of Science and Technology, Korea
Author of the Book "Understanding the Rules of Baduk", available at https://home.unist.ac.kr/professor/juki ... ce&wr_id=5
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: Martian problem

Post by Bill Spight »

jaeup wrote:Here, I brought a figure from my book: Japanese (or Korean) rule, assume a pass does not lift a ko ban, Black's turn, komi W+0.5, what is the best play for each and who wins? My original plan was to explain it, but I just realized that it will be fun to wait for you guys to find the answer.
jpncom49.png
Nice position. :)

Here is an SGF. I started with no passes as the default and worked from there. :)

Edit: Silly me. :lol:


Black wins by 0.5.
Black makes the second pass to create one of those weird sekis. When White requests resumption, Black passes again, as the ko ban is still in effect. :lol:

As it turns out, this is the optimal result by no pass go with prisoner return without a group tax, Berlekamp's rules.
Last edited by Bill Spight on Thu Sep 17, 2020 2:08 am, edited 1 time in total.
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: Martian problem

Post by Gérard TAILLE »

Click Here To Show Diagram Code
[go]$$B
$$ ----------------------------------------
$$ | X X X X X X X X X . O O O O O O O . O|
$$ | X X X X X X X X X O O O O O O O O O .|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | X X X X X X X X X O O O O O O O O O O|
$$ | O O O O O O O O O O O O O O O O O O O|
$$ | X X X X X X X X X X X X X X X X X X X|
$$ | X X X X X X X X X X X X X X X X X X X|
$$ | X X X X X X X X X X X X X X X X X X .|
$$ | X X X X X X X X X X X X X X X X X . X|
$$ | X X X X X X O O O O O . X X X X X X X|
$$ | O O O O O O O O O O O O O O O O O O O|
$$ | O O O O O O O O O O O O O O O O O O O|
$$ | O O O O O O O O O O O O O O O O O O O|
$$ | O O O O O O O O O O O O O O O O O O O|
$$ ----------------------------------------[/go]
jaeup wrote:
I believe, even though it is not written anywhere, they had "perfect play" or "God's play" in their minds when writing the rule, assuming that a pro level player will not have a trouble finding such a sequence for the problematic localized area. For this situation, no one can confirm such a sequence, and the only fair decision is to let them "play" the hypothetical play to decide whether Black can make a life on the corner.
OK jaeup I agree with your view.
Now assume that the God's play tell us that, due to the special ko rule under hypothetical play, the black group in the upper left corner is alive.
In that case, in one hand you can say the black group is dead under normal God's play and in the other hand you can say the black group is alive under hypothetical God's play.

In that case my understanding of the 1989 japonese rule is that black wins the game though it hurts the common sense of go game doesn't it?
jaeup
Dies with sente
Posts: 73
Joined: Thu Jun 13, 2019 5:08 pm
Rank: 5d
GD Posts: 0
Has thanked: 7 times
Been thanked: 17 times
Contact:

Re: Martian problem

Post by jaeup »

Bill Spight wrote: Nice position. :)

Here is an SGF. I started with no passes as the default and worked from there. :)

Edit: Silly me. :lol:
I only checked the edited version, so I cannot see what was your initial mistake. Anyway, freezing the game is the best strategy for both, but this is a true disaster for the Japanese rulemakers. They never wanted the game to end this way, and expected the hypothetical play to prevent it.

Here is one minor objection: after two passes, is D7 a dead stone? In the hypothetical play, Black will play at F5 and claim that it is a newly created stone. Anyway, it doesn't really matter because all stones will stay on the board regardless of the fate of D7.
Jaeup Kim
Professor in Physics, Ulsan National Institute of Science and Technology, Korea
Author of the Book "Understanding the Rules of Baduk", available at https://home.unist.ac.kr/professor/juki ... ce&wr_id=5
jaeup
Dies with sente
Posts: 73
Joined: Thu Jun 13, 2019 5:08 pm
Rank: 5d
GD Posts: 0
Has thanked: 7 times
Been thanked: 17 times
Contact:

Re: Martian problem

Post by jaeup »

Gérard TAILLE wrote: In that case, in one hand you can say the black group is dead under normal God's play and in the other hand you can say the black group is alive under hypothetical God's play.
Yes, it is a true nightmare. The rule asks White to capture the Black stones because "Black can make a life (in the hypothetical play)", but after White's capture, Black cannot make a life (in the real play). Still, because of the one stone addition, White loses the game.
Jaeup Kim
Professor in Physics, Ulsan National Institute of Science and Technology, Korea
Author of the Book "Understanding the Rules of Baduk", available at https://home.unist.ac.kr/professor/juki ... ce&wr_id=5
Matti
Lives in gote
Posts: 309
Joined: Tue Apr 27, 2010 11:05 pm
Rank: 5 dan
GD Posts: 0
Has thanked: 3 times
Been thanked: 41 times

Re: Martian problem

Post by Matti »

Gérard TAILLE wrote:
Matti wrote:
Yes Matti, of course I realize that I did not mentionned this point, sorry for that.

Anyway, taking your point into account, I looked for this version of the martian problem and I concluded that this new problem is far easier that the original one, though it is quite interesting. Instead of just excluding a move due to a simple ko you can also chose to exclude a move due to a superko.
With this in mind I built the following solution:

White to play
Click Here To Show Diagram Code
[go]$$W
$$ ------------
$$ | . . O O O |
$$ | O O O O O |
$$ | O O X X X |
$$ | . O X X X |
$$ | O X X X . |
$$ -------------[/go]
starting from this position white captures all black stones and continue until position:
Click Here To Show Diagram Code
[go]$$W
$$ ------------
$$ | O O O O O |
$$ | O O O O O |
$$ | O O O O O |
$$ | . O O O O |
$$ | O O O O O |
$$ -------------[/go]
here black captures all white stones and now you can build the following very simple martian position

Black to play
Click Here To Show Diagram Code
[go]$$W
$$ -------------
$$ | . . O O O |
$$ | O O O O O |
$$ | O O X X X |
$$ | X O X X X |
$$ | a X b X . |
$$ -------------[/go]
japonese rule : black must pass to avoid giving an additional prisoner
AGA rule : black must play "a" to save its stones and reach soon a seki
chinese rule : black must play "b" to reach an immediat seki because white cannot answer "a" due to superko

Note : for the original martian problem I searched for a solution with a molasses ko but I had to give up. The two solutions I found do not use this molasses ko scheme.
I see. If one has superko restrictions to start with, they may be at arbitrary locations. PSK and SSK might have different restrictions. This could be achieved by capturing all white and/or black stones from the board multiple times. However a single ko is a different thing. If one wants to use molasses ko, a single ko restriction is necessary.
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: Martian problem

Post by Bill Spight »

jaeup wrote:
Bill Spight wrote: Nice position. :)

Here is an SGF. I started with no passes as the default and worked from there. :)

Edit: Silly me. :lol:
I only checked the edited version, so I cannot see what was your initial mistake. Anyway, freezing the game is the best strategy for both, but this is a true disaster for the Japanese rulemakers. They never wanted the game to end this way, and expected the hypothetical play to prevent it.
Who knows what went through the minds of those who came up with the anti-seki?
Here is one minor objection: after two passes, is D7 a dead stone? In the hypothetical play, Black will play at F5 and claim that it is a newly created stone. Anyway, it doesn't really matter because all stones will stay on the board regardless of the fate of D7.
Well, the enabling clause is ambiguous in English. However, since Black could play a living stone at F5 anyway, you can argue that White did not enable that stone to be played by taking the ko. The few times that I have seen 生じうる in ancient Japanese go texts in an online collection seem to me to be consistent with that interpretation.

So yes, I think that the D7 stone is dead under hypothetical play. And, as you say, the stone is not removed.

Under Berlekamp's rules (no pass go with prisoner return) Black wins by 0.5, also under Button Go with 0 komi where taking the button lifts ko and superko bans. :w2: takes the button in the mainline, which lifts the ko ban, but costs 0.5 point.
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: Martian problem

Post by Gérard TAILLE »

Matti wrote:
Gérard TAILLE wrote:
Matti wrote:
Yes Matti, of course I realize that I did not mentionned this point, sorry for that.

Anyway, taking your point into account, I looked for this version of the martian problem and I concluded that this new problem is far easier that the original one, though it is quite interesting. Instead of just excluding a move due to a simple ko you can also chose to exclude a move due to a superko.
With this in mind I built the following solution:

White to play
Click Here To Show Diagram Code
[go]$$W
$$ ------------
$$ | . . O O O |
$$ | O O O O O |
$$ | O O X X X |
$$ | . O X X X |
$$ | O X X X . |
$$ -------------[/go]
starting from this position white captures all black stones and continue until position:
Click Here To Show Diagram Code
[go]$$W
$$ ------------
$$ | O O O O O |
$$ | O O O O O |
$$ | O O O O O |
$$ | . O O O O |
$$ | O O O O O |
$$ -------------[/go]
here black captures all white stones and now you can build the following very simple martian position

Black to play
Click Here To Show Diagram Code
[go]$$W
$$ -------------
$$ | . . O O O |
$$ | O O O O O |
$$ | O O X X X |
$$ | X O X X X |
$$ | a X b X . |
$$ -------------[/go]
japonese rule : black must pass to avoid giving an additional prisoner
AGA rule : black must play "a" to save its stones and reach soon a seki
chinese rule : black must play "b" to reach an immediat seki because white cannot answer "a" due to superko

Note : for the original martian problem I searched for a solution with a molasses ko but I had to give up. The two solutions I found do not use this molasses ko scheme.
I see. If one has superko restrictions to start with, they may be at arbitrary locations. PSK and SSK might have different restrictions. This could be achieved by capturing all white and/or black stones from the board multiple times. However a single ko is a different thing. If one wants to use molasses ko, a single ko restriction is necessary.
Yes Matti I see also what you mean.
Though my original intention was to look for a position starting a game, I confess I will be very interesting if you find a position (maybe simplier than mine!) which uses only a simple ko to reach this starting position. Sure I will happy to analyse such finding!
Good search!
Matti
Lives in gote
Posts: 309
Joined: Tue Apr 27, 2010 11:05 pm
Rank: 5 dan
GD Posts: 0
Has thanked: 3 times
Been thanked: 41 times

Re: Martian problem

Post by Matti »

I have now found a position where all three rule stes have distinct best starting moves, but they are able to prolong the game without gaining points by choosing other moves.
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: Martian problem

Post by Gérard TAILLE »

jaeup wrote:
Gérard TAILLE wrote: In that case, in one hand you can say the black group is dead under normal God's play and in the other hand you can say the black group is alive under hypothetical God's play.
Yes, it is a true nightmare. The rule asks White to capture the Black stones because "Black can make a life (in the hypothetical play)", but after White's capture, Black cannot make a life (in the real play). Still, because of the one stone addition, White loses the game.
I see why you are you talking about a white stone addition but keep in mind that after the hypothetical phase, stating the black stones are alive, white claim logically for the resumption of the game but now, God tells white that the best move is not to capture the black stones but to pass!!
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: Martian problem

Post by Gérard TAILLE »

Matti wrote:I have now found a position where all three rule stes have distinct best starting moves, but they are able to prolong the game without gaining points by choosing other moves.
I perfectly understand this point because it was also for me a great difficulty to avoid these "non natural" moves giving exactly the same result than the "normal" best move.

Anyway I see you have made great progress doesn't you?
Matti
Lives in gote
Posts: 309
Joined: Tue Apr 27, 2010 11:05 pm
Rank: 5 dan
GD Posts: 0
Has thanked: 3 times
Been thanked: 41 times

Re: Martian problem

Post by Matti »

Gérard TAILLE wrote:
Matti wrote:I have now found a position where all three rule stes have distinct best starting moves, but they are able to prolong the game without gaining points by choosing other moves.
I perfectly understand this point because it was also for me a great difficulty to avoid these "non natural" moves giving exactly the same result than the "normal" best move.

Anyway I see you have made great progress doesn't you?
Yes.

I think now I have a solution on 10*10 board.
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: Martian problem

Post by Gérard TAILLE »

Matti wrote:
Gérard TAILLE wrote:
Matti wrote:I have now found a position where all three rule stes have distinct best starting moves, but they are able to prolong the game without gaining points by choosing other moves.
I perfectly understand this point because it was also for me a great difficulty to avoid these "non natural" moves giving exactly the same result than the "normal" best move.

Anyway I see you have made great progress doesn't you?
Yes.

I think now I have a solution on 10*10 board.
Fantastic Matti.
I will be very happy to analyse it and appreciate your job!
If you prefer to let the other players search without knowing a solution, maybe we can exchange via private messages. It is up to you to decide.
Post Reply