Wrong. If the global decision (close game on the rest of the board) remains the local decision between creating either a tie or a no result, then it is undecidable because one does not know which of the two is better because they are uncomparable.HermanHiddema wrote:the choice is no longer undecidable.
Unsolved Problems in Go
-
RobertJasiek
- Judan
- Posts: 6279
- Joined: Tue Apr 27, 2010 8:54 pm
- GD Posts: 0
- Been thanked: 797 times
- Contact:
Re: Unsolved Problems in Go
-
TheBigH
- Lives in gote
- Posts: 323
- Joined: Sat Jan 07, 2012 1:06 am
- Rank: OGS 9kyu
- GD Posts: 0
- Location: Geelong, Australia
- Has thanked: 199 times
- Been thanked: 76 times
Re: Unsolved Problems in Go
I disagree. If you're behind on the rest of the board, you should go for the "no result" option. If you're ahead on the rest of the board, you should go for the local seki. Perfect play exists so there is, in principle, a way of judging who's ahead on the rest of the board. Therefore there exists an algorithm to tell you what you should do in this situation and the problem is solvable.RobertJasiek wrote:Wrong. If the global decision (close game on the rest of the board) remains the local decision between creating either a tie or a no result, then it is undecidable because one does not know which of the two is better because they are uncomparable.HermanHiddema wrote:the choice is no longer undecidable.
Please correct me if I have misunderstood you, but you seem to be saying that the problem is undecidable because you're missing information that would help you decide what to do. This would include the situation on the rest of the board, how the tournament rules handle jigo v no result, your current standing at the tournament, maybe other things. I don't consider that "undecidable". I would call that "under-determined" instead, if that information is not provided. An undecidable problem would be one that cannot be solved even when all the relevant information is known.
Poka King of the south east.
- Cassandra
- Gosei
- Posts: 1334
- Joined: Wed Apr 28, 2010 11:33 am
- Rank: German 1 Kyu
- GD Posts: 0
- Has thanked: 14 times
- Been thanked: 153 times
Re: Unsolved Problems in Go
Igo Hatsuyoron 120 is not "too open ended" at all.NoSkill wrote:Any unsolved problem is only because ... the problem is too open ended (IE that igohatsu book having a 100+ move variation, cant be sure of answer).
The solution consist of three phases.
Phase 1 (approximately 70 moves long) is preparing the ground. This is the creation of the Hanezeki, including the building of the Hanezeki's tail. If we let aside really wrong moves for variations, it is possible to make some smaller, but not really decisive mistakes (i.e. non-optimal moves), which effect will be shown in phase 3.
Phase 2 if about finding the Guzumi or not (in this case Black will lose). And about White's best answer to the Guzumi (neither of which will lead to a White win). This phase is only two moves long, but extremely complex, because of the large amount of possible variations. And so far, nobody, even no professional, has found a refutation of the Guzumi.
Phase 3 (a further 100 moves until the end; endgame only) is harvesting the fruits. Nothing really decisive can happen here that would affect the outcome of the game (if we let aside really wrong moves again). And again, there is the chance of making some non-optimal, but non-decisive moves.
So the real problem of the problem is the situation before the Guzumi in the top right corner. We have been told by professionals that the Guzumi were a typical endgame move, which "usually" comes into mind automatically.
The really most difficult Go problem ever: https://igohatsuyoron120.de/index.htm
Igo Hatsuyōron #120 (really solved by KataGo)
Igo Hatsuyōron #120 (really solved by KataGo)
-
RobertJasiek
- Judan
- Posts: 6279
- Joined: Tue Apr 27, 2010 8:54 pm
- GD Posts: 0
- Been thanked: 797 times
- Contact:
Re: Unsolved Problems in Go
You don't disagree, but you discuss other cases.TheBigH wrote:I disagree.
Yes.If you're behind on the rest of the board, you should go for the "no result" option. If you're ahead on the rest of the board, you should go for the local seki.
The interesting case is "tie on the rest of the board".
Yes.you seem to be saying that the problem is undecidable because you're missing information that would help you decide what to do.
The rest of the board can often circumvent the problem of missing information, but cannot do so in the interesting case and cannot do so if the rest of the board's dynamics let the interesting case be somehow relevant.This would include the situation on the rest of the board,
Rules or tournament rules can provide sufficient information or can not provide it. E.g., the rule "for the sake of making strategic decisions, 'no result' equals 'the score 0' and tournament rules do not alter this" would suffice.how the tournament rules handle jigo v no result,
This is meta-gaming. Ok, it exists, and once I was in a position of necessary meta-gaming and strategy depending on setting personal preferences whether I considered a tournament place or a seeding points amount more important; accordingly I had to achieve or avoid a jigo. However, IMO, rules of play should be about what happens on the board only and avoid meta-gaming to have any impact.your current standing at the tournament,
It is undecidable because it is under-determined.I don't consider that "undecidable". I would call that "under-determined" instead, if that information is not provided.
All relevant information is known because the rules makers have not had the intention to provide the missing information.An undecidable problem would be one that cannot be solved even when all the relevant information is known.
- HermanHiddema
- Gosei
- Posts: 2011
- Joined: Tue Apr 20, 2010 10:08 am
- Rank: Dutch 4D
- GD Posts: 645
- Universal go server handle: herminator
- Location: Groningen, NL
- Has thanked: 202 times
- Been thanked: 1086 times
Re: Unsolved Problems in Go
Within the context of the question, there is no such thing as a "close game". Games are a win, loss, or draw. The handling of the no-result case is meta-information, and is tournament dependent, in the same way that e.g. komi is. The handling of no-result should not be part of the game rules.RobertJasiek wrote:Wrong. If the global decision (close game on the rest of the board) remains the local decision between creating either a tie or a no result, then it is undecidable because one does not know which of the two is better because they are uncomparable.HermanHiddema wrote:the choice is no longer undecidable.
-
RobertJasiek
- Judan
- Posts: 6279
- Joined: Tue Apr 27, 2010 8:54 pm
- GD Posts: 0
- Been thanked: 797 times
- Contact:
Re: Unsolved Problems in Go
And this means that some tournaments do not specify the handling.HermanHiddema wrote:is tournament dependent
Anything under-determined such as 'no-result' without further specification should not be part of the rules of play.The handling of no-result should not be part of the game rules.
- HermanHiddema
- Gosei
- Posts: 2011
- Joined: Tue Apr 20, 2010 10:08 am
- Rank: Dutch 4D
- GD Posts: 645
- Universal go server handle: herminator
- Location: Groningen, NL
- Has thanked: 202 times
- Been thanked: 1086 times
Re: Unsolved Problems in Go
Still, that does not make it an unsolvable problem. One can simply ask the organizers how a no-result will be handled.RobertJasiek wrote:And this means that some tournaments do not specify the handling.HermanHiddema wrote:is tournament dependent
-
RobertJasiek
- Judan
- Posts: 6279
- Joined: Tue Apr 27, 2010 8:54 pm
- GD Posts: 0
- Been thanked: 797 times
- Contact:
Re: Unsolved Problems in Go
And the organiser can answer: "I do not tell you because the referee / tournament committee may make an arbitrary decision!" When I posed similar questions to relevant organisers, then usually they tried the hardest to avoid having to clarify.HermanHiddema wrote:One can simply ask the organizers how a no-result will be handled.
Besides not every game is played in a tournament. It is also possible that game positions are studied without being played.
- HermanHiddema
- Gosei
- Posts: 2011
- Joined: Tue Apr 20, 2010 10:08 am
- Rank: Dutch 4D
- GD Posts: 645
- Universal go server handle: herminator
- Location: Groningen, NL
- Has thanked: 202 times
- Been thanked: 1086 times
Re: Unsolved Problems in Go
Similarly, an organizer might tell you: We have not yet decided whether winning or losing is better. That decision will be made later, and points will be awarded accordingly. Such a problem is artificial, IMO, and has nothing to do with go theory. Perhaps we can consider it an unsolvable problem of go politicsRobertJasiek wrote:And the organiser can answer: "I do not tell you because the referee / tournament committee may make an arbitrary decision!" When I posed similar questions to relevant organisers, then usually they tried the hardest to avoid having to clarify.HermanHiddema wrote:One can simply ask the organizers how a no-result will be handled.
Besides not every game is played in a tournament. It is also possible that game positions are studied without being played.
For study of positions by themselves, I would no consider the result of the game a consideration. For partial board positions, it is similar to e.g. the result of the position depending on who is ko-master. For full-board, it is similar to depending on komi. To me, those are external considerations.
-
RobertJasiek
- Judan
- Posts: 6279
- Joined: Tue Apr 27, 2010 8:54 pm
- GD Posts: 0
- Been thanked: 797 times
- Contact:
Re: Unsolved Problems in Go
It is the major consideration.HermanHiddema wrote:For study of positions by themselves, I would no consider the result of the game a consideration.
- HermanHiddema
- Gosei
- Posts: 2011
- Joined: Tue Apr 20, 2010 10:08 am
- Rank: Dutch 4D
- GD Posts: 645
- Universal go server handle: herminator
- Location: Groningen, NL
- Has thanked: 202 times
- Been thanked: 1086 times
Re: Unsolved Problems in Go
To me, the major consideration would be the score of the position, both for partial board and full board positions. Whether that score translates into win, draw, or loss is not, in a mathematical sense, as relevant. Two lines of play that both "win" can still be distinguished by score.RobertJasiek wrote:It is the major consideration.HermanHiddema wrote:For study of positions by themselves, I would no consider the result of the game a consideration.
-
hyperpape
- Tengen
- Posts: 4382
- Joined: Thu May 06, 2010 3:24 pm
- Rank: AGA 3k
- GD Posts: 65
- OGS: Hyperpape 4k
- Location: Caldas da Rainha, Portugal
- Has thanked: 499 times
- Been thanked: 727 times
Re: Unsolved Problems in Go
Herman is right. Questions about go concern the results achieved in various positions. The question about how no result vs. tie affect the result of a tournament is no more a theoretical question concerning go than the question of which tesuji will best impress the woman of your dreams--it involves go, but isn't about go.
-
RobertJasiek
- Judan
- Posts: 6279
- Joined: Tue Apr 27, 2010 8:54 pm
- GD Posts: 0
- Been thanked: 797 times
- Contact:
Re: Unsolved Problems in Go
The question is relevant also independent of tournaments.hyperpape wrote:The question about how no result vs. tie affect the result of a tournament is no more a theoretical question concerning go
-
TheBigH
- Lives in gote
- Posts: 323
- Joined: Sat Jan 07, 2012 1:06 am
- Rank: OGS 9kyu
- GD Posts: 0
- Location: Geelong, Australia
- Has thanked: 199 times
- Been thanked: 76 times
Re: Unsolved Problems in Go
So the only question is which of the following applies:
Loss < Jigo < No Result < Win
Loss < No Result < Jigo < Win
and you've constructed a go problem that illustrates that question. In my opinion, the problem is solved if you can provide correct play for both those alternatives. A good analogy is differential equations; if I find the general solution I don't call the problem undecidable just because I don't know the boundary conditions. I call it solved. It's the same sort of thing here- we've identified the set of all possible solutions.
Loss < Jigo < No Result < Win
Loss < No Result < Jigo < Win
and you've constructed a go problem that illustrates that question. In my opinion, the problem is solved if you can provide correct play for both those alternatives. A good analogy is differential equations; if I find the general solution I don't call the problem undecidable just because I don't know the boundary conditions. I call it solved. It's the same sort of thing here- we've identified the set of all possible solutions.
Poka King of the south east.
-
RobertJasiek
- Judan
- Posts: 6279
- Joined: Tue Apr 27, 2010 8:54 pm
- GD Posts: 0
- Been thanked: 797 times
- Contact:
Re: Unsolved Problems in Go
We have identified all possible resulting sequences (not: solutions) but we have not identified which of them is better (that would provide solutions).TheBigH wrote:we've identified the set of all possible solutions.