Re: [Computer-go] Paper “Complexity of Go” by Robson

2018-06-22 Thread Marcel Crasmaru
A last esthetic suggestion: let's mark the lower group and label with 1 the last move Black did in the ko: https://drive.google.com/file/d/1L62m7i_IJX8FCB_8rIOwjYK3tR1GZZaq/view?usp=sharing On 23 June 2018 at 00:19, Marcel Crasmaru wrote: > Well all my reasoning was good but for the formula

Re: [Computer-go] Paper “Complexity of Go” by Robson

2018-06-22 Thread Marcel Crasmaru
Well all my reasoning was good but for the formula which is actually F = z || (y && x) :-) Mea culpa I didn't see that the ladder choices are reversed. I let other people try showing that the group is alive in John's initial problem (last move was B capture at x, the lower side

Re: [Computer-go] Paper “Complexity of Go” by Robson

2018-06-22 Thread Marcel Crasmaru
OK I think there is one thing to be done to make the solution longer: 1. mark the middle ko and then 2. problem should be: B just captured in the middle ko and W is to move - is the group alive? See here: https://drive.google.com/file/d/1J5Xn4XkOqSsYx0AEBQJj6EL-SjNqNq-o/view?usp=sharing

Re: [Computer-go] Paper “Complexity of Go” by Robson

2018-06-22 Thread Marcel Crasmaru
Errata: assuming x is the top ko then the formula encoded by this problem is z && (y || x) with x = 1, y = 0, z = 0 and W cannot play at z. Thus W is already dead you cannot make the formula true. --Marcel On 22 June 2018 at 22:19, Marcel Crasmaru wrote: > The position looks OK is great - I

Re: [Computer-go] Paper “Complexity of Go” by Robson

2018-06-22 Thread Marcel Crasmaru
The position looks OK is great - I didn't find any side solutions. Just one observation: I think this encodes x && y || y || z and W is dead already thus is arguably a easier problem :) Should make for a great wall poster. On 22 June 2018 at 19:48, John Tromp wrote: > at the bottom of my

Re: [Computer-go] Paper “Complexity of Go” by Robson

2018-06-22 Thread John Tromp
at the bottom of my Go page http://tromp.github.io/go.html, which also contains an sgf link. Direct link to image: http://tromp.github.io/img/WO5lives.png Enlarging the board to 29x29 allows for a much better final (I hope) look, close to my first attempt. -John

Re: [Computer-go] thumbs crossed ?! [offtopic]

2018-06-22 Thread Thomas Rohde
On 2018-06-22 at 09:07, "Ingo Althöfer" <3-hirn-ver...@gmx.de> wrote with subject “[Computer-go] thumbs crossed ?! [offtopic]”: >>> I think you meant "cross my fingers".  > > yes that is the American way to formulate is. > Our Chancellor, however, prefers "thumbs pressed". Not only Mrs.

Re: [Computer-go] Paper “Complexity of Go” by Robson

2018-06-22 Thread John Tromp
> The hunt for the simplest possible ko gadget continues... Latest attempt at the usual place: >>> at the bottom of my Go page http://tromp.github.io/go.html, which also >>> contains an sgf link. >>> Direct link to image: http://tromp.github.io/img/WO5lives.png Unfortunately not as pretty as

Re: [Computer-go] Paper “Complexity of Go” by Robson

2018-06-22 Thread John Tromp
> Hopefully fixed now. Nope. Still no good. White can play O13, M11, or Q11 instead of recapturing ko. The hunt for the simplest possible ko gadget continues... ___ Computer-go mailing list Computer-go@computer-go.org

Re: [Computer-go] Paper “Complexity of Go” by Robson

2018-06-22 Thread Stephan K
Hello, I assume after white plays at U22, black T20, white T19, black should have a choice of playing either at S21, capturing one white stone and leading the ladder to the top ko, or at S20, leading the ladder to the middle ko. However, if black plays at S21, the sequence: wS20 bT21 wR20 bS22

Re: [Computer-go] Paper “Complexity of Go” by Robson

2018-06-22 Thread Stephan K
Hello, I assume after white pla 2018-06-22 0:27 UTC+02:00, John Tromp : Direct link to image: http://tromp.github.io/img/WO5lives.png > > Might be useful for go event organizers in need of arrow signs... > > regards, > -John > ___ > Computer-go

Re: [Computer-go] Paper “Complexity of Go” by Robson

2018-06-22 Thread Darren Cook
> I also think that what makes real go that hard is ko, but you've shown that > it's > equivalent to ladder, which frankly baffles me. I'd love to understand that. Just different definitions of "hard"? Ko is still way harder (more confusing, harder to discover a winning move when one exists)

[Computer-go] thumbs crossed ?! [offtopic]

2018-06-22 Thread Ingo Althöfer
Hi Richard, >> I think you meant "cross my fingers".     yes that is the American way to formulate is. Our Chancellor, however, prefers "thumbs pressed". Look here: https://www.bz-berlin.de/data/uploads/2014/07/merkel_1404473813-768x432.jpg In the photo, look at the single white Go stone and