Martian problem

For discussing go rule sets and rule theory
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 »

Eureka! Reading your different posts with a lot of concentration I begin to understand! Thank you all for your help!

In the phrase "Stones which are alive but possess dame are said to be in seki" I now understand that the word stones is not refering to a chain a stones but to a group of stones. This last term is not defined but the common sense tell us what it is and it is not essential to defined clearly this term provided the intention behind is clear.

Am I now correct?
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 »

Oops. I accidentally edited my previous note instead of quoting it. That's OK, though.

It uses the rules text to define territory in a single line. :)

Here is the link to it.

https://www.lifein19x19.com/viewtopic.p ... 97#p259797
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 »

Due to my doubts concerning the interperetation of the japonese rule, for a moment, I were not quite sure of my solutions of the martian problem.
Fortunately everythings seems now OK and my two solutions are valide (at least I am persuaded they are!)

Let me remind you the problem:

Find a position considered has the starting position of a game (you are not allowed to create on history for this position in termes of ko or superko) and ask to the martian to play only the first move of the game. The goal is to be able to detect the rule used by the martian (japonese, or chinese PSK, or AGA SSK) by seeing only this first move, knowing that the martian plays always the best move (or one of the best moves) to reach best score.

Good luck for finding yourself a solution for this problem.
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 »

Gérard TAILLE wrote:Eureka! Reading your different posts with a lot of concentration I begin to understand! Thank you all for your help!

In the phrase "Stones which are alive but possess dame are said to be in seki" I now understand that the word stones is not refering to a chain a stones but to a group of stones. This last term is not defined but the common sense tell us what it is and it is not essential to defined clearly this term provided the intention behind is clear.

Am I now correct?
You can define such a group this way:

A set of stones of the same color which are either rookwise connected, or which may be made rookwise connected by placing one or more stones on the board on empty points which they surround, after removing dead stones, if necessary.

Note that you only have to place stones, not play them, to avoid the question of whether a play is legal or not, or self atari. Also, a play might capture an opponent's stone which is not dead.

See also: https://senseis.xmp.net/?SpightJapaneseStyleRules#toc6 , article 8.
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
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:
Maybe the Korean rules / practice could also offer some hints here.
Jaeup is the expert on Korean rules. :)
Looks like there were quite a long discussion on a few issues. Let me clear one thing at a time.

First, the Korean rule "absolutely" allows a ko recapture after two passes. Though (as usual) the rule text is ambiguously written, I am sure about this because I have seen (almost) official examples with such a sequence, recapturing a ko after two passes.

My impression about the Japanese rule is that they also allow a ko recapture after two passes. (Well, the game stop rule makes things more complicated, but I am assuming that the game resumed.)

In the hypothetical play, they ban ko recapture without passing for that ko. I believe the text is supposed to be interpreted that "in the normal situation, you can capture this ko because you passed, but you cannot do so in this hypo mode because you did not pass for this specific ko". But again, the rule text is so ambiguous about this, and I am only guessing.

I can at least say that I will be very surprised if Nihon Ki-in says otherwise. There are hundreds of shapes that can freeze the board when ko recapture is not allowed after two passes, and they surely know such problems.
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:Eureka! Reading your different posts with a lot of concentration I begin to understand! Thank you all for your help!

In the phrase "Stones which are alive but possess dame are said to be in seki" I now understand that the word stones is not refering to a chain a stones but to a group of stones. This last term is not defined but the common sense tell us what it is and it is not essential to defined clearly this term provided the intention behind is clear.
"possess dame", "adjacent to dame" or whichever way one translates it, this part of the Japanese rule is problematic. From such one word "adjacent", can one write down a program code identifying when the spread of seki stops? Definitely not.

They surely had the concept of "group" in their minds when writing such a sentence, but not defining or mentioning it makes the situation even worse.
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:I can at least say that I will be very surprised if Nihon Ki-in says otherwise. There are hundreds of shapes that can freeze the board when ko recapture is not allowed after two passes, and they surely know such problems.
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. Take a look at the official examples. How many such situations are explained by hypothetical play and how many are explained by resumption?

Edit: Besides, they had the example of Ikeda's rules, which use resumption instead of hypothetical play, and the example of Yasunaga's proposal, which requires three consecutive passes to end play.

Also, aside from the mannenko problem in 1928, they had two rules problems with an unfinished ko at the end of play, Go Seigen vs. Iwamoto and Go Seigen vs. Takagawa. In both examples hypothetical play dictates winning the ko.
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
jann
Lives in gote
Posts: 445
Joined: Tue May 14, 2019 8:00 pm
GD Posts: 0
Been thanked: 37 times

Re: Martian problem

Post by jann »

I forgot this:
Gérard TAILLE wrote:a definition of a seki which is very difficult to grasp though it is of great importance for understanding what a territory is.
But note that territory can also be defined (transformable to pass-alive vs opposition) without mentioning seki. (OC this is not how current Japanese rules work.)
jaeup wrote:My impression about the Japanese rule is that they also allow a ko recapture after two passes. (Well, the game stop rule makes things more complicated, but I am assuming that the game resumed.)

In the hypothetical play, they ban ko recapture without passing for that ko. I believe the text is supposed to be interpreted that "in the normal situation, you can capture this ko because you passed, but you cannot do so in this hypo mode because you did not pass for this specific ko".
This is what I meant too. It seems hard to imagine that in one case you can officially pass (for) and thus recapture a ko, yet in another case a pass is some immaterial nothing that have no effect on kos. Either approach could be meaningful and valid - but unlikely both at the same time.
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 »

jann wrote:It seems hard to imagine that in one case you can officially pass (for) and thus recapture a ko, yet in another case a pass is some immaterial nothing that have no effect on kos. Either approach could be meaningful and valid - but unlikely both at the same time.
Well, it's not both at the same time. Both alternatives depend on the 2 pass rule to end play. Rules that allow a pass to lift ko or superko bans have trouble with the 2 pass rule, because if the first pass lifts a ko ban, but then the opponent's pass ends play, what good does lifting the ko ban do? And if 2 consecutive passes do not end play, how do you end play? Ing has a 4 pass rule; Yasunaga has a 3 pass rule; my rules end play with repetition by the same player, which usually happens with 3 consecutive passes.

AGA rules end play with 2 passes, and preserve any ko ban if play resumes. So do the Japanese rules. But the Japanese rules do not want to leave an unfinished ko on the board. So hypothetical play after play has ended starts with no ko ban. It's not both at the same time, it's either/or. The pass for ko rule during hypothetical play is a way of making kos independent of the rest of the board. OC, they are not independent in regular play, or in a resumption of regular play.
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
jann
Lives in gote
Posts: 445
Joined: Tue May 14, 2019 8:00 pm
GD Posts: 0
Been thanked: 37 times

Re: Martian problem

Post by jann »

Bill Spight wrote:Rules that allow a pass to lift ko or superko bans have trouble with the 2 pass rule, because if the first pass lifts a ko ban, but then the opponent's pass ends play, what good does lifting the ko ban do? And if 2 consecutive passes do not end play, how do you end play? Ing has a 4 pass rule; Yasunaga has a 3 pass rule
I don't see any real problem here. The pass lifted the ko ban, the second pass stopped (not ended!) play. It may continue / resume (so corrently handling passes and ko bans is necessary). Why force any further logical connection between these?
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 »

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]
In this position the 81 black stones in the upper left corner can be captured and it is the same for the 81 white stones in the bottom.

Assume that both players agreed that, under normal play, these two large groups are dead.

Before 1989 that means that both players agreed that white wins by 0,5 points (81 black stones and 81 white stones are dead).

What happens with the 1989 rule?

White pass, black pass and the game stops.
Assuming that both players agreed to say that the 81 white stones in the bottom are dead by using the hypothetical play it remains only the 81 black stones in the upper left corner.

Here, assuming the two players agreed in their analyse with hypothetical play, 3 scenarios are possible

1) The players agreed that the black group is dead with hypothetical play => everytings is OK, white wins by 0,5 point (same result with the previous rule version)
2) The player agreed that the black group is alive with hypothetical play => white ask for a resumption of the game => black pass and white pass. What is the result? I guess black wins ?
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 ?
Last edited by Gérard TAILLE on Wed Sep 16, 2020 8:41 am, edited 1 time in total.
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 »

jann wrote:I don't see any real problem here. The pass lifted the ko ban, the second pass stopped (not ended!) play. It may continue / resume (so corrently handling passes and ko bans is necessary). Why force any further logical connection between these?
That's how the Ing rules work. Play stops after 2 passes, but does not end. 4 passes are necessary to end play. So it's fine for a pass to lift ko bans. AGA rules do not work that way. Neither do Japanese rules. Both AGA rules and Japanese rules allow resumption. Neither allows a pass in actual play to lift ko bans. If you want to criticize Japanese rules, fine. I do, too. Lots of people do.

As my rules indicate, it is possible for play to continue forever if passes lift ko bans and 2 passes do not end play. Unless you have some other way of ending play. Ing classifies some kos as disturbing kos and does not allow infinite play in them. I say if playing a ko does not make progress, but returns to the same position, play ends.

The real problem is how to end play. You can propose a variant reading of the Japanese rules, but if so you have to tackle the question of how to end the game.
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
jann
Lives in gote
Posts: 445
Joined: Tue May 14, 2019 8:00 pm
GD Posts: 0
Been thanked: 37 times

Re: Martian problem

Post by jann »

Bill Spight wrote:The real problem is how to end play.
Why not simply end at a stop where nobody request resumption, with any kind of limit (left to tournament rules) on the maximum number of resumptions a player can request?
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 »

jann wrote:
Bill Spight wrote:The real problem is how to end play.
Why not simply end at a stop where nobody request resumption, with any kind of limit (left to tournament rules) on the maximum number of resumptions a player can request?
That would be a different set of rules. :)

I have written a variant of Japanese rules, so has Robert Jasiek, so have others. Someday I hope that the Nihon Kiin will do the same.
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
jann
Lives in gote
Posts: 445
Joined: Tue May 14, 2019 8:00 pm
GD Posts: 0
Been thanked: 37 times

Re: Martian problem

Post by jann »

Bill Spight wrote:That would be a different set of rules. :)
Would it? Even the current text seems pretty clear that: 1. two passes only stop, 2. in stopped state agreement ends the game, or 3. resumption is requestable.

The only addition seems to be the number of resumptions cannot be unlimited, but this is obvious anyway.
Post Reply