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 whic

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 ko).

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 Assumi

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. Merk

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 the

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 http://computer-go.org/mailman/list

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

2018-06-22 Thread John Tromp
> I assume after white plays at U22 This fails the goal of saving White O5, as Black will just P5, and White's only means of escape, with the ladder M3 N4 N5 M5 M6, fails when Black directs it to N17. ___ Computer-go mailing list Computer-go@computer-go.

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 wS

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 mai

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) tha

[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 th