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 <crasma...@gmail.com> wrote: > 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 <john.tr...@gmail.com> wrote: >>>>>> 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 >> _______________________________________________ >> Computer-go mailing list >> Computer-go@computer-go.org >> http://computer-go.org/mailman/listinfo/computer-go _______________________________________________ Computer-go mailing list Computer-go@computer-go.org http://computer-go.org/mailman/listinfo/computer-go