KataGo planned rules - drafted

For discussing go rule sets and rule theory
lightvector
Lives in sente
Posts: 759
Joined: Sat Jun 19, 2010 10:11 pm
Rank: maybe 2d
GD Posts: 0
Has thanked: 114 times
Been thanked: 916 times

Re: KataGo planned rules - drafted

Post by lightvector »

Thanks, that's a clever example! :)

What about the following change:
Then, followed by unmarking all ko-blocked points for the opponent that are no longer ko-moves for the opponent.
Changing to:
Then, followed by unmarking all ko-blocked points for either player that are no longer ko-moves for that player.
That would seem to allow white's recapture of W4 because the block would be removed after W2.

Such a change would result in a different behavior in the case where two groups have three shared ko mouths and no other liberties. But I'm not sad about having that case become a no-result during cleanup too rather than only during normal play - if anything, that's more consistent. It might also result in different behavior in cases with throw-in or sending-two-returning-one-like shapes that are connected with a ko mouth. I need to play with those cases a bit more. Are there any major oddities you can think of that result from making such a change? (Or, more cases like this one but that would not be solved with such a change?)
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: KataGo planned rules - drafted

Post by Matti »

lightvector wrote:
Then, followed by unmarking all ko-blocked points for either player that are no longer ko-moves for that player.
Are there any major oddities you can think of that result from making such a change? (Or, more cases like this one but that would not be solved with such a change?)
Would this change mean, that in a multistage ko after unblocking the first ko, one may recapture them all in succession?
lightvector
Lives in sente
Posts: 759
Joined: Sat Jun 19, 2010 10:11 pm
Rank: maybe 2d
GD Posts: 0
Has thanked: 114 times
Been thanked: 916 times

Re: KataGo planned rules - drafted

Post by lightvector »

Yes. In fact, in common multistage kos, this would be true already even without such a change.

For example, in this position, where black is dead...
Click Here To Show Diagram Code
[go]$$cB
$$ ----------------------
$$ | O . O X . X O . . O
$$ | . O X X X X O . . O
$$ | O O O O O O X X . O
$$ | . . . . . . O O O .
$$ | . . . . . . . . . .
$$ | . . . . . . . . . .[/go]
If during cleanup we had this sequence:
Click Here To Show Diagram Code
[go]$$cB
$$ ----------------------
$$ | O 1 O X . X O . . O
$$ | 3 O X X X X O 2 . O
$$ | O O O O O O X X . O
$$ | . . . . . . O O O .
$$ | . . . . . . . . . .
$$ | . . . . . . . . . .[/go]
Then :b3: results in C19 being unblocked even without the proposed change. After black plays the move, C19 is no longer a ko-move for white, as it's not even a pseudo-legal move for white. Therefore, when black unblocks non-ko-moves for the oppponent at the end of playing :b3:, it becomes unblocked for white.

So if :w4: spends a turn to unblock A19, then :w6: and :w8: can capture successively (assuming black doesn't connect or interpose any other moves) without having to also spend a turn unblocking C19.

Did you have any tricky cases in mind involving either this, or the proposed change to unblock all moves for either player that aren't ko-moves, rather than just those of the opponent?
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: KataGo planned rules - drafted

Post by Matti »

lightvector wrote:
Did you have any tricky cases in mind involving either this, or the proposed change to unblock all moves for either player that aren't ko-moves, rather than just those of the opponent?
Click Here To Show Diagram Code
[go]$$cB
$$ ----------------------
$$ | X X X X X X X O . . .
$$ | X O X . X . X O O . .
$$ | O . O X O X O X O . .
$$ | . O O O O O O X O . .
$$ | O O X X X X X X . . .
$$ | X X X . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
Black seems to be dead.
Click Here To Show Diagram Code
[go]$$cB
$$ ----------------------
$$ | X X X X X X X O . . .
$$ | X O X 2 X 4 X O O . .
$$ | O 1 O X O X O X O . .
$$ | 3 O O O O O O X O . .
$$ | O O X X X X X X . . .
$$ | X X X . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
Click Here To Show Diagram Code
[go]$$cB
$$ ----------------------
$$ | X X X X X X X O . . .
$$ | X . X O X O X O O . .
$$ | b X O a O . O X O . .
$$ | X O O O O O O X O . .
$$ | O O X X X X X X . . .
$$ | X X X . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
:b5: unblock at a, :w6: unblock at b
Click Here To Show Diagram Code
[go]$$cB
$$ ----------------------
$$ | X X X X X X X O . . .
$$ | X 4 X O X O X O O . .
$$ | 2 X O 1 O c O X O . .
$$ | X O O O O O O X O . .
$$ | O O X X X X X X . . .
$$ | X X X . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
:b3: unblock at c

Is this what we want?
luigi
Lives in gote
Posts: 352
Joined: Wed Jul 06, 2011 12:01 pm
Rank: Low
GD Posts: 0
Location: Spain
Has thanked: 181 times
Been thanked: 41 times

Re: KataGo planned rules - drafted

Post by luigi »

(if KoRule is Simple): Additionally the game also ends if:
A player passes from a state that the player has already passed from once before.[4]

[4] This Spight-style termination condition ensures that sending-two-returning-one-type positions will terminate, even under area scoring where the cycle does not "cost" points.
This seems to be used when Chinese-like rules are selected as well, but doesn't it make sending-two-returning-one play out differently? I think Chinese superko (which forbids 3-play cycles) should be included as well.
lightvector
Lives in sente
Posts: 759
Joined: Sat Jun 19, 2010 10:11 pm
Rank: maybe 2d
GD Posts: 0
Has thanked: 114 times
Been thanked: 916 times

Re: KataGo planned rules - drafted

Post by lightvector »

luigi wrote:
(if KoRule is Simple): Additionally the game also ends if:
A player passes from a state that the player has already passed from once before.[4]

[4] This Spight-style termination condition ensures that sending-two-returning-one-type positions will terminate, even under area scoring where the cycle does not "cost" points.
This seems to be used when Chinese-like rules are selected as well, but doesn't it make sending-two-returning-one play out differently? I think Chinese superko (which forbids 3-play cycles) should be included as well.
Yeah, I agree it's not an exact match. I'm a little sad though to implement fourth/fifth/etc ko rule to select between. It seems to me that in practice, Leela Zero already works usually fine for Chinese rules despite having several differences, one gets even closer by forbidding suicide and using Japanese simple ko. At that point, it's not really in a player's interest to try to waste time in a sending-two-returning-one in the first place - the main reason you'd ever try it was only if it somehow kept the game from terminating.

Maybe it's worth adding, still? Also, is sending-two-returning-one actually the *only* 3-move cycle? My understanding was that Chinese rules prohibit sending-two-returning-one cycles, not 3-move cycles, in which case it matters if they are the only one.
Matti wrote:
lightvector wrote:
Did you have any tricky cases in mind involving either this, or the proposed change to unblock all moves for either player that aren't ko-moves, rather than just those of the opponent?
Click Here To Show Diagram Code
[go]$$cB
$$ ----------------------
$$ | X X X X X X X O . . .
$$ | X O X . X . X O O . .
$$ | O . O X O X O X O . .
$$ | . O O O O O O X O . .
$$ | O O X X X X X X . . .
$$ | X X X . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
Black seems to be dead.
Click Here To Show Diagram Code
[go]$$cB
$$ ----------------------
$$ | X X X X X X X O . . .
$$ | X O X 2 X 4 X O O . .
$$ | O 1 O X O X O X O . .
$$ | 3 O O O O O O X O . .
$$ | O O X X X X X X . . .
$$ | X X X . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
...

Is this what we want?
So we have "current" rule: only unblock opponent non-ko-moves after your move.
And "changed" rule: unblock all player's non-ko-moves after your move.

Under the changed rule, if you notice in your example, :b3: unblocks black's ability to capture :w2: because for a brief moment, everything of white is in atari. So black is actually the one winning because black can continually recapture everything without spending turns to unblock, whereas white cannot.

Under the current rule, your example seems to make sense, but I think black makes an error. Black should not capture at :b3:, instead black should unblock taking :w2:. Then after :w4:, black takes :w2: and becomes safe. Black can then just cycle forever using the 3 ko mouths, always one step ahead of white, always refusing to take the second-stage ko.

So there are four ways this can play out - black first current rule, white first current rule, black first changed rule, white first changed rule. I think this gives:

Current rule: black first is safe but white can force no-result if white is losing and black cannot give up the group and still win. White first kills black.
Changed rule: black first kills white, white first kills black.

Do you agree with this? If this is correct, then there is some difference, and is not clear how to handle it, but if anything, the changed rule is a bit more symmetric here.

Usually, I think we will not get to cleanup phase with this situation in the first place though. In normal play, either player can force a no result by insistently capturing the ko mouths over and over if their opponent is unwilling to sacrifice their whole group, so whichever player would lose, if they are losing by less than the value of the whole fight, can do so. I think this is generally true of situations where two groups share tons of ko mouths and have no other liberties, so I'm less worried if this kind of situation differs between this formalization and "true" Japanese rules. Actually, I don't really know how "true" Japanese rules would handle this situation either if somehow the game ended during main play without either of the players having attempted to force the no result.

What do you think?
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: KataGo planned rules - drafted

Post by Matti »

lightvector wrote: Usually, I think we will not get to cleanup phase with this situation in the first place though. In normal play, either player can force a no result by insistently capturing the ko mouths over and over if their opponent is unwilling to sacrifice their whole group, so whichever player would lose, if they are losing by less than the value of the whole fight, can do so. I think this is generally true of situations where two groups share tons of ko mouths and have no other liberties, so I'm less worried if this kind of situation differs between this formalization and "true" Japanese rules. Actually, I don't really know how "true" Japanese rules would handle this situation either if somehow the game ended during main play without either of the players having attempted to force the no result.

What do you think?
A player cannot force no result in regular play.
Click Here To Show Diagram Code
[go]$$cB
$$ ----------------------
$$ | X X X X X X X O . . .
$$ | X W X . X . X O O . .
$$ | O . O X O X O X O . .
$$ | . O O O O O O X O . .
$$ | O O X X X X X X . . .
$$ | X X X . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
Assume whte has played the circled move. Black has no way to continue the cycle without making a a move elsewhere. Then he can make another cycle, but he needs aother move elsewhere to continue. If he passes white could also pass and finish the regular play. I think it would be seki under Japanese rules.

I will return to your other points later.
lightvector
Lives in sente
Posts: 759
Joined: Sat Jun 19, 2010 10:11 pm
Rank: maybe 2d
GD Posts: 0
Has thanked: 114 times
Been thanked: 916 times

Re: KataGo planned rules - drafted

Post by lightvector »

Matti wrote: A player cannot force no result in regular play.
Click Here To Show Diagram Code
[go]$$cB
$$ ----------------------
$$ | X X X X X X X O . . .
$$ | X W X . X . X O O . .
$$ | O . O X O X O X O . .
$$ | . O O O O O O X O . .
$$ | O O X X X X X X . . .
$$ | X X X . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
Assume whte has played the circled move. Black has no way to continue the cycle without making a a move elsewhere. Then he can make another cycle, but he needs aother move elsewhere to continue. If he passes white could also pass and finish the regular play.
Ah, you're right. So then this position becomes extremely complex. Because, under "changed" rules for example, white does not *want* to finish play, because then black going first during cleanup would kill white. So we get some passfight-like dynamics, and it's not clear to me what happens. Hmmm...
Matti wrote: I think it would be seki under Japanese rules.
Would it be really? The Japanese rules as written seem too ambiguous to work this out. They too specify a "pass for ko" rule, but it's unclear how that applies in staged kos, when one of the kos dissolves and then reforms And none of their commentary covers a case like this one. I wouldn't be surprised if it was declared to be a seki by "fiat" though, regardless of what the rules as they've attempted to write down would actually imply.

I wonder if there's a way to make this consistently evaluate out to a seki during cleanup without affecting other cases too badly. It's far from clear to me.

I'm definitely looking for help and guidance here. One way or another, there actually need to be some final rules that I do end up implementing in KataGo. There are going to be some inevitable differences. Three points without capturing is already a known difference where I cannot match the official Japanese rules that I'm just going to tolerate and accept, for example, but minimizing them where possible would be great.
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: KataGo planned rules - drafted

Post by Matti »

My interpretation of the 1989 Japanese rules is, that a player must make a pass to recapture a stone in a ko shape for each stage of the ko separately. With this interpretation the position would be seki.
lightvector
Lives in sente
Posts: 759
Joined: Sat Jun 19, 2010 10:11 pm
Rank: maybe 2d
GD Posts: 0
Has thanked: 114 times
Been thanked: 916 times

Re: KataGo planned rules - drafted

Post by lightvector »

Under that interpretation, would that mean that https://senseis.xmp.net/?MolassesKo would be a win for whichever player to play first in a hypothetical sequence at the end of the game, and therefore not a seki? Maybe something like "both players are dead" since either hypothetically playing first kills the other, if this position is left on the board at game end? Because if you have to pass for ko in both of the stages, you can't keep up with the opponent.

If so, then while the Japanese rules could still just say "both sides are dead, so we don't score this", this gives some troublesome cases for computer playout, since in computer cleanup if actually trying to play out to determine cleanup, the position is actually unstable depending on who plays next.

The earlier case you presented is really quite troublesome too.

I'm curious - do you have thoughts as to if there is a simple modification to the rules that would be easy to apply/check that would collectively handle these cases "nicely"?
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: KataGo planned rules - drafted

Post by Bill Spight »

lightvector wrote:
Matti wrote: A player cannot force no result in regular play.
Click Here To Show Diagram Code
[go]$$Bc
$$ ----------------------
$$ | X X X X X X X O . . .
$$ | X W X . X . X O O . .
$$ | O . O X O X O X O . .
$$ | . O O O O O O X O . .
$$ | O O X X X X X X . . .
$$ | X X X . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
Assume whte has played the circled move. Black has no way to continue the cycle without making a a move elsewhere. Then he can make another cycle, but he needs aother move elsewhere to continue. If he passes white could also pass and finish the regular play.
Ah, you're right. So then this position becomes extremely complex. Because, under "changed" rules for example, white does not *want* to finish play, because then black going first during cleanup would kill white. So we get some passfight-like dynamics, and it's not clear to me what happens. Hmmm...
Matti wrote: I think it would be seki under Japanese rules.
Would it be really? The Japanese rules as written seem too ambiguous to work this out. They too specify a "pass for ko" rule, but it's unclear how that applies in staged kos, when one of the kos dissolves and then reforms And none of their commentary covers a case like this one. I wouldn't be surprised if it was declared to be a seki by "fiat" though, regardless of what the rules as they've attempted to write down would actually imply.
I think that this is seki under Japanese rules, but I agree that the Japanese rules are ambiguous. Since they are, you have the leeway to interpret them as you see fit. :)

BTW, I have shown that this is a seki under the komaster approach. moha's questions have helped me clarify and improve the approach. There is no pass for ko rule. No ko ban can be broken in hypothetical play to determine the fate of a single ko. Then we may resolve that ko and start over with a new one. :)
Three points without capturing is already a known difference where I cannot match the official Japanese rules that I'm just going to tolerate and accept,
You are getting the traditional result, aren't you? I regard that as a virtue. But it should have hardly any effect upon training, and in play humans can easily adapt, just as they did until 1989. :)
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
luigi
Lives in gote
Posts: 352
Joined: Wed Jul 06, 2011 12:01 pm
Rank: Low
GD Posts: 0
Location: Spain
Has thanked: 181 times
Been thanked: 41 times

Re: KataGo planned rules - drafted

Post by luigi »

lightvector wrote:
luigi wrote:
(if KoRule is Simple): Additionally the game also ends if:
A player passes from a state that the player has already passed from once before.[4]

[4] This Spight-style termination condition ensures that sending-two-returning-one-type positions will terminate, even under area scoring where the cycle does not "cost" points.
This seems to be used when Chinese-like rules are selected as well, but doesn't it make sending-two-returning-one play out differently? I think Chinese superko (which forbids 3-play cycles) should be included as well.
Yeah, I agree it's not an exact match. I'm a little sad though to implement fourth/fifth/etc ko rule to select between. It seems to me that in practice, Leela Zero already works usually fine for Chinese rules despite having several differences, one gets even closer by forbidding suicide and using Japanese simple ko. At that point, it's not really in a player's interest to try to waste time in a sending-two-returning-one in the first place - the main reason you'd ever try it was only if it somehow kept the game from terminating.
I think you're right, but I'm not an expert. Can someone confirm this? In any case, I think it would be nice to have proper Chinese rules available, especially since they are so easy to implement.
lightvector wrote:Maybe it's worth adding, still? Also, is sending-two-returning-one actually the *only* 3-move cycle? My understanding was that Chinese rules prohibit sending-two-returning-one cycles, not 3-move cycles, in which case it matters if they are the only one.
A 3-play cycle must include 2 captures of one color and 1 of the other. There is no way to achieve this other than sending-two-returning-one.
lightvector
Lives in sente
Posts: 759
Joined: Sat Jun 19, 2010 10:11 pm
Rank: maybe 2d
GD Posts: 0
Has thanked: 114 times
Been thanked: 916 times

Re: KataGo planned rules - drafted

Post by lightvector »

Playing around with it - how about this? It's certainly not a normal sending-two-returning-one (the third move isn't even a capture!), but it is a sequence of moves that does the 3-cycle repeat. I should or shouldn't be prohibiting this one too?
Click Here To Show Diagram Code
[go]$$Bc
$$ ----------------------
$$ | . . X O . X O . . . .
$$ | . . X X O O O . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
Click Here To Show Diagram Code
[go]$$Bc
$$ ----------------------
$$ | . . X O 1 X O . . . .
$$ | . . X X O O O . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
Click Here To Show Diagram Code
[go]$$Bc
$$ ----------------------
$$ | . . X 2 X X O . . . .
$$ | . . X X O O O . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
Click Here To Show Diagram Code
[go]$$Bc
$$ ----------------------
$$ | . . X O . 3 O . . . .
$$ | . . X X O O O . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
I'm not sure if there are other cases to also be found. Categorizing/proving all the cases seems a little fiddly.

Thankfully, nobody in real life probably wants to play this sequence, so maybe it doesn't matter if this one also gets prohibited too.
(Now watch as someone now posts a rules beast where doing this sort of sequence is correct...).
Bill Spight
Honinbo
Posts: 10905
Joined: Wed Apr 21, 2010 1:24 pm
Has thanked: 3651 times
Been thanked: 3373 times

Re: KataGo planned rules - drafted

Post by Bill Spight »

lightvector wrote:Playing around with it - how about this? It's certainly not a normal sending-two-returning-one (the third move isn't even a capture!), but it is a sequence of moves that does the 3-cycle repeat. I should or shouldn't be prohibiting this one too?
Click Here To Show Diagram Code
[go]$$Bc
$$ ----------------------
$$ | . . X O . X O . . . .
$$ | . . X X O O O . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
Click Here To Show Diagram Code
[go]$$Bc
$$ ----------------------
$$ | . . X O 1 X O . . . .
$$ | . . X X O O O . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
Click Here To Show Diagram Code
[go]$$Bc
$$ ----------------------
$$ | . . X 2 X X O . . . .
$$ | . . X X O O O . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
Click Here To Show Diagram Code
[go]$$Bc
$$ ----------------------
$$ | . . X O . 3 O . . . .
$$ | . . X X O O O . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .
$$ | . . . . . . . . . . .[/go]
I'm not sure if there are other cases to also be found. Categorizing/proving all the cases seems a little fiddly.

Thankfully, nobody in real life probably wants to play this sequence, so maybe it doesn't matter if this one also gets prohibited too.
(Now watch as someone now posts a rules beast where doing this sort of sequence is correct...).
This is why I say you can drive yourself nuts worrying about how to score non-scorable positions. Non-scorable in the sense of having a temperature greater than -1. This is a gote that gains ½ pt. If Black makes a silly mistake and plays :b3:, :w4: should simply capture. Or play somewhere else and hope that Black repeats the procedure. :lol:

By the J89 rules this is pretty plainly both sides lose. Don't worry, be happy. :D

----

Note: Sometimes you can end play by Japanese rules with a position that has a temperature greater than -1, because of a ko ban. Both the J49 rules and the J89 rules force the komaster to win the ko at temperature 0, in effect, by different means. Neither does so without criticism.
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.
lightvector
Lives in sente
Posts: 759
Joined: Sat Jun 19, 2010 10:11 pm
Rank: maybe 2d
GD Posts: 0
Has thanked: 114 times
Been thanked: 916 times

Re: KataGo planned rules - drafted

Post by lightvector »

Bill, that one wasn't about scoring a position or Japanese rules. That was about maybe adding "Chinese superko", which would apply at *all* times during normal play, scorable or not, to implement *Chinese* rules. :razz:
Post Reply