ooopdddddd

6 ms·

1. 1.▲
   by ooopdddddd 8mo ago

   It's not quite that easy. For the simplest example, look at https://enclose.horse/play/dlctud , where the naive solution will waste two walls to fence in the large area. Obviously, you can construct puzzles that ha
2. 2.▲
   by ooopdddddd 8mo ago

   I don't believe this works in general. If you have a set of tiles that connect to neither the horse nor to an exit, they can still keep each other reachable in this formulation.
3. 3.▲
   by ooopdddddd 1y ago

   You are talking like this is the first time judges have been blocked for political reasons. See Horst Dreier in 2008 as a high-profile example.
4. 4.▲
   by ooopdddddd 1y ago

   The detailed results are in the links at the bottom of the post.
5. 5.▲
   by ooopdddddd 1y ago

   That's only if you are using pure predicates. From a quick glance, the code makes liberal use of assert, retract, and the cut operator, so you can't write a query that solves the problem automatically.
6. 6.▲
   by ooopdddddd 2y ago

   Up and down quarks have names that make perfect sense, they are derived from the isospin which in turn derives from spin (spin-1/2 was the only other well-known object in physics that had the same symmetry properties). Which one is up