Japonese counting

For discussing go rule sets and rule theory
User avatar
Cassandra
Lives in sente
Posts: 1326
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: Japonese counting

Post by Cassandra »

jann wrote:The problem with double kos and ko passing is one of the oldest well known defects of the text. But because it would break almost anything it is safe to assume that such perpetual ko passing loop is not allowed - even if the rules authors overlooked the problem.
I think that you are mistaken with stating that "it would break anything".

As a matter of course, there must be a difference between the status of an "isolated" double-ko, and a combined position where a double-ko is (only) a part of.
And also as a matter of course, there could be a difference between the status of a group that has four liberties, and a group that has only three.
Similar to the difference between the status of an "isolated" bent-four, and a combined position, where a bent-four is (only) a part of.

Also as a matter of course, better solutions than the current Article 7, 2. text are quite conceivable.


And I do not think that the rules' authors overlooked the problem. Otherwise they would not have invented "life / death after the dissolving of a seki".
If the position was a seki during status confirmation, nothing could be dissolved.
And the property of a position before the game stopped is complete irrelevant during status confirmation.
It seems more likely to me that they did not have any (other) valid idea how to solve the problem of limiting "no-result" results of a game.
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
RobertJasiek
Judan
Posts: 6273
Joined: Tue Apr 27, 2010 8:54 pm
GD Posts: 0
Been thanked: 797 times
Contact:

Re: Japonese counting

Post by RobertJasiek »

Cassandra wrote:"Pass-for-ko" is NOT a global issue, but a LOCAL one!
The J89 local-per-basic-ko-recapture is flawed. The J2003 ko-pass-for-all-basic-kos-of-a-player corrects the flaws. Both ko rules are hybrids between local and global.
"TWO-EYED life"
J89 does not rely on two-eyes. It required J2003's completion with capturable-2, my conjecture and Chris Dams' proof of the equivalence of the WAGC Rules two-eye life model to the J2003 capturability life model.
These "TWO-EYED life" groups enclose and / or seperate areas of the board [...] Each of these areas is one "locality", and has to be considered on its own.
Although it is possible to design (and Pauli and I have written such) rules in this manner of partitioning the board by two-eye-alive groups, J89 has not done so.
NOTHING beyond the border of (a) "TWO-EYED life" group(s)
Note: an unsettled position need not have settled borders due to existing two-eye-alive groups.
User avatar
Cassandra
Lives in sente
Posts: 1326
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: Japonese counting

Post by Cassandra »

RobertJasiek wrote:J89 does not rely on two-eyes.
I did not post about J89, but about territory rules.
RobertJasiek wrote:
Cassandra wrote:These "TWO-EYED life" groups enclose and / or seperate areas of the board [...] Each of these areas is one "locality", and has to be considered on its own.
Although it is possible to design (and Pauli and I have written such) rules in this manner of partitioning the board by two-eye-alive groups, J89 has not done so.
Your "local-x" reach beyond the border of "uncapturable" groups?

Regarding J89:
The status confirmation is done for each group independently, no one's result affecting each other's.
Therefore, you can alternatively do "if they cannot be captured by the opponent" first for ALL groups.
Thereafter, you can apply "or if capturing them would enable a new stone to be played that the opponent could not capture" for ALL groups that did not match the condition of the first run.
You will realise that the first run has partitioned the board.
And the second run presumably a bit more.
A bit, but not difficult, thinking will reveal, which of the identified "alive" groups can become two eyes, and which not.
NOTHING beyond the border of (a) "TWO-EYED life" group(s)
Note: an unsettled position need not have settled borders due to existing two-eye-alive groups.
A super-large seki on the board?
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
jann
Lives in gote
Posts: 445
Joined: Tue May 14, 2019 8:00 pm
GD Posts: 0
Been thanked: 37 times

Re: Japonese counting

Post by jann »

Cassandra wrote:Regarding J89:
The status confirmation is done for each group independently, no one's result affecting each other's.
You keep saying this, but is not correct. See LD ex 11, clearly remote groups are considered together.
User avatar
Cassandra
Lives in sente
Posts: 1326
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: Japonese counting

Post by Cassandra »

jann wrote:
Cassandra wrote:Regarding J89:
The status confirmation is done for each group independently, no one's result affecting each other's.
You keep saying this, but is not correct. See LD ex 11, clearly remote groups are considered together.
Sorry, but this is an example that demonstrates exactly what I wrote.

Black 1 starts the status confirmation for White's group at the top, White 2 starts the status confirmation for Black's group in the upper right corner.

You must not expect the authors of J89 to have consulted a specialist in education.
ALL the examples (and there are several) that contain a combination of two positions, each of which is surrounded by an independently alive group, are pedagogical nonsense.
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
RobertJasiek
Judan
Posts: 6273
Joined: Tue Apr 27, 2010 8:54 pm
GD Posts: 0
Been thanked: 797 times
Contact:

Re: Japonese counting

Post by RobertJasiek »

Local-2 of a player's string is bounded by HIS stones of uncapturable or capturable-1 strings. Therefore, local-2 can sometimes reach beyond the opponent's uncapturable strings.

A multi-stage analysis is a principally possible rules design. For achieving an unequivocal partition of a settled position, multiple threats must be handled by the definitions, e.g., by minimality or maximality of sets of a player's strings including a particular string.
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: Japonese counting

Post by Gérard TAILLE »

RobertJasiek wrote:Local-2 of a player's string is bounded by HIS stones of uncapturable or capturable-1 strings. Therefore, local-2 can sometimes reach beyond the opponent's uncapturable strings.
OK that was what I guessed but I was not quite sure.
As consequence is it correct to say
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . . . W X . X . X |
$$ | W W W W X X X X X |
$$ | X X X X X X X X X |
$$ | . . . . . . . . . |
$$ | . . . . . . . . . |
$$ | . . . . . . . . . |
$$ | X X X X X X X X X |
$$ | W W W W X X X X X |
$$ | . . . W X . X . X |
$$ -----------------[/go]
The white marked stones are living because they are local-2 connected
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . . . W X . X . X |
$$ | W W W W X X X X X |
$$ | 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 |
$$ | X X X X X X X X X |
$$ | W W W W X X X X X |
$$ | . . . W X . X . X |
$$ -----------------[/go]
The white marked stones are dead because they are not local-2 connected.
RobertJasiek
Judan
Posts: 6273
Joined: Tue Apr 27, 2010 8:54 pm
GD Posts: 0
Been thanked: 797 times
Contact:

Re: Japonese counting

Post by RobertJasiek »

Gérard TAILLE wrote:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . . . W X . X . X |
$$ | W W W W X X X X X |
$$ | X X X X X X X X X |
$$ | . . . . . . . . . |
$$ | . . . . . . . . . |
$$ | . . . . . . . . . |
$$ | X X X X X X X X X |
$$ | W W W W X X X X X |
$$ | . . . W X . X . X |
$$ -----------------[/go]
The white marked stones are living because they are local-2 connected
Therefore, Black optimising the score should not have passed.
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: Japonese counting

Post by Gérard TAILLE »

RobertJasiek wrote:
Gérard TAILLE wrote:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . . . W X . X . X |
$$ | W W W W X X X X X |
$$ | X X X X X X X X X |
$$ | . . . . . . . . . |
$$ | . . . . . . . . . |
$$ | . . . . . . . . . |
$$ | X X X X X X X X X |
$$ | W W W W X X X X X |
$$ | . . . W X . X . X |
$$ -----------------[/go]
The white marked stones are living because they are local-2 connected
Therefore, Black optimising the score should not have passed.
Yes Robert. A quite unexpected result due to the special procedure defined in J2003.
Let's imagine a real game with such position with white to play. White pass and this looks like the last trap of the game. Note that this move (the white pass) costs nothing to white.
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: Japonese counting

Post by Gérard TAILLE »

Cassandra wrote:
jann wrote:
Cassandra wrote:Regarding J89:
The status confirmation is done for each group independently, no one's result affecting each other's.
You keep saying this, but is not correct. See LD ex 11, clearly remote groups are considered together.
Sorry, but this is an example that demonstrates exactly what I wrote.

Black 1 starts the status confirmation for White's group at the top, White 2 starts the status confirmation for Black's group in the upper right corner.
You must not expect the authors of J89 to have consulted a specialist in education.
ALL the examples (and there are several) that contain a combination of two positions, each of which is surrounded by an independently alive group, are pedagogical nonsense.
Oops you do not like very much the J89 at least as it is presented do you?
Taking the examples of the rules : you do not want to see unfinished positions, you introduced a quite unexpected loop in case of double ko, you reject all examples with independant groups, you do not accept "enable new stone" which is not under the group considered ...
Note that you introduced yourself the example 16 which is surely an unfinished position.
What is your prefered go rule? An area one?
User avatar
Cassandra
Lives in sente
Posts: 1326
Joined: Wed Apr 28, 2010 11:33 am
Rank: German 1 Kyu
GD Posts: 0
Has thanked: 14 times
Been thanked: 153 times

Re: Japonese counting

Post by Cassandra »

Gérard TAILLE wrote:Oops you do not like very much the J89 at least as it is presented do you?
The presentation includes the legal text, a commentary on the legal text, and "examples of confirmation of life and death".

Everything would have been fine, if ALL INTENDED results of the examples could have been derived by applying the legal text and its commentary only. But this is NOT the case.
Quite apparently, the authors of the rules tried to summarize contradicting (!!!) DESIRED results in a uniform system, but unsurprisingly failed.

The authors unnecessarily damaged the overall impression of their ruleset by not strictly following their own rules, when trying to "solve" position that are very, very unlikely to ever appear in a real game.

It is not "unnatural" at all that a given ruleset will trigger a few "beasts", which results seem to contradict "common sense" (probably different beasts for different rulesets). But it should be logical closed in itself.

But J89 is NOT.
It is said "The results in the following examples WOULD be reached through confirmation of life and death."
Not "MUST".
Taking the examples of the rules : you do not want to see unfinished positions,
I doubt that it makes sense to utilise unfinished positions for trying to "prove" the existence of "beasts", as you (and others) did.

Unfinished positions are not bad per se. But they must be interpreted as a helping hand for the user. As a warning that something unexpected will happen after the game stopped, showing that it would be better for one side or the other to play on. But quite apparently, the text was not intended for beginners.
you introduced a quite unexpected loop in case of double ko,
Strict application of the legal text is "unexpected" for you?

Indeed, that loop is not shown in the "solution" sequences of the examples. But quite apparently, the authors took it for granted.
Please compare the comment on "no result", where only the very first move of the loop is shown.
As a matter of course, it would have been better in the pedagogical sense, if the loop sequence had been shown explicitly, until the real repetition of the starting position. But quite apparently, the text was not intended for beginners.

The beginning of this loop is introduced in example 11. But the sequence for the position at the right (both this position and the moves played there are completely independent from the position and the moves played at the left, as you can easily prove by changing the order of moves) is not yet finished!!!
It does not make any sense to pass for a specific ko, if you do not intend to capture just this specific ko thereafter.
You will have to recapture both ko to reach the starting position at the right. Only then you can be sure that none of the large groups there can be captured.
you reject all examples with independant groups,
All these examples lack the hint
"We know very well that some 'experts' will want to fool unexperienced players during status confirmation. Therefore, we will show you here that anything that exists on the board INDEPENDENT of the group under consideration is completely irrelevant for this consideration."

It is the same, if you pass in a sequence of a status confirmation, or if you occupy a random point on the board outside the position in question.
After the result of the status confirmation has been obtained, the sequence(s) used vanish(es) again into thin air.
you do not accept "enable new stone" which is not under the group considered ...
I think that this is a matter of taste. But you should be consistent with its application.

Either you understand this feature as a REBIRTH of (parts of) a group that has already existed on the board before. Then is should be self-evident that you are bound to the previously occupied board points for placing that "new" stone.

Or, otherwise, you will have to accept a "new" stone anywhere inside the area that contains non-independent, non two-eyed-life groups connected to each other.
Note that you introduced yourself the example 16 which is surely an unfinished position.
Examples 16 to 18 include "unfinished" positions of a very special kind.

Under strict application of the legal text, all these positions are seki.

You have three choices now:
Either this seki does not affect the outcome of the game. Then everything is fine for both players.
Or one of both players will ask for a resumption of the game and start a triple-ko sequence before the game stops.
Or one of both players will accept his loss of the game.

Quite apparently, option #2 was an undesirable one.
What is your prefered go rule? An area one?
Territory rules are fine.

I doubt the applicability of that scoring method during actual play.
I do not like the "beasts" that are typical for area rules.
And my memory is not strong enough to remember everything that has been happened during a long game.
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
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: Japonese counting

Post by Gérard TAILLE »

Sometimes it is difficult to understand what you really mean Cassandra but it is clearer with your last post.
Yes Cassandra there are a lot flaws in J89 and we are all aware of that.
Though I don't share some of your opinion (for example I like beasts because I often found them fascinating) I agree with you on a number of points.
Maybe the most important point is to be able to recognise indepency between groups.
You are right Cassandra for a go player in one way it make sense to say that two areas are independant because they are surrounded by two eyes groups but in another way we know that ko links all areas by means of ko threats.
Without introducing explicitly dependency or independency in the rule, J89 introduces the pass-for-a-ko concept which is really a way of introducing independency in the rule. Yes it is not a great success I agree with you. In J2003 we can see another way to introduce dependency or independency, by using local-2 concept. My feeling is it is a great progress. OC it is still not perefect:
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | . . . W X . X . X |
$$ | W W W W X X X X X |
$$ | X X X X X X X X X |
$$ | O O O O O O O O X |
$$ | . O O O O O . O a |
$$ | O O O O O O O O X |
$$ | X X X X X X X X X |
$$ | W W W W X X X X X |
$$ | . . . W X . X . X |
$$ -----------------[/go]
In my view the independency between the two white marked groups as nothing to do with which side will take the dame at "a".
Anyway, as I said, J2003 is a great progress.
Click Here To Show Diagram Code
[go]$$B
$$ -----------------
$$ | O X . X . O . |
$$ | . O X X X O O |
$$ | O . O O X X O |
$$ | O O O . O X O |
$$ | X X O O X X O |
$$ | . X X O O O . |
$$ | X . X X X O O |
$$ -----------------[/go]
BTW, by using only your own understanding of japonese rule (I mean not the J89 as it is strictly written ;-)) do you think white should add a move in the position above?
gennan
Lives in gote
Posts: 497
Joined: Fri Sep 22, 2017 2:08 am
Rank: EGF 3d
GD Posts: 0
Universal go server handle: gennan
Location: Netherlands
Has thanked: 273 times
Been thanked: 147 times

Re: Japonese counting

Post by gennan »

Gérard TAILLE wrote:
Click Here To Show Diagram Code
[go]$$B Confirmation phase
$$ -----------------
$$ | O X . X O 1 O |
$$ | . O X X X O O |
$$ | O O O X O O O |
$$ | . O 2 O O X X |
$$ | O O O X X X . |
$$ | X X X X . X X |
$$ | . . . . . X . |
$$ -----------------[/go]
then because white has not passed for the ko :b1: it will follow
Click Here To Show Diagram Code
[go]$$B Confirmation phase
$$ -----------------
$$ | O X . X . X O |
$$ | 3 O X X X O O |
$$ | O O O X O O O |
$$ | 5 O O O O X X |
$$ | O O O X X X . |
$$ | X X X X . X X |
$$ | . . . . . X . |
$$ -----------------[/go]
:w4: pass
and the white stones are all captured
I would claim that :w2: lifts the ko ban on recapturing :b1:, just as in normal play. The :b1: stone is not "hot" anymore after white plays :w2:, so white is free to capture :b1: on :w4:.
I suppose that by choosing the word "pass" in the J89 rules they just meant that :w2: cannot fight the :b1: ko by playing some ko threat elsewhere. But :w2: is not a ko threat, so there is no problem in that regard.
At least I would assume that this was the intention of the J89 rules, even if it could be interpreted otherwise.

So white does not have to add a move.
RobertJasiek
Judan
Posts: 6273
Joined: Tue Apr 27, 2010 8:54 pm
GD Posts: 0
Been thanked: 797 times
Contact:

Re: Japonese counting

Post by RobertJasiek »

I have consulted Chris Dams' proof of equivalence of WAGC-life and J2003-life, and it holds if local-2 is modified as local-2-alternative to be "surrounded" by either player's uncapturable or capturable-1 strings. I have not checked all rules test examples though.
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: Japonese counting

Post by Gérard TAILLE »

RobertJasiek wrote:I have consulted Chris Dams' proof of equivalence of WAGC-life and J2003-life, and it holds if local-2 is modified as local-2-alternative to be "surrounded" by either player's uncapturable or capturable-1 strings. I have not checked all rules test examples though.
Robert, I have in mind a beast that shows that neither the local-2 nor your local-2-alternative seem to give the expected result (only for the status of the strings of stones, not for the result of the game!).
If you are interested I can show you here this position but, because it looks like a beast, I am not sure you will have time to spend on it.
OC, if somebody else is interested (certainly not Cassandra who does not like beast ;-) ) I will show here this position.
Tell me please.
Post Reply