161–170 of 242 posts
I found the optimal solution for day 8 by hand, that was fun! My algorithm, by hand, was as such: 1. Start with the smallest possible valid solution (1) 2. Expand slowly, and each "step" (like, moving a wall or two around to "obvious" spaces) must be a valid solution (this brings you to 40-60 score, depending on your choices, on day 8). Continue to step 3 once you can't see anything obvious. 3. Look at possible place…
I didn't initially expect it would be a problem, but the constant squiggly movement gets very annoying.
Earlier quoted context omitted.
The site uses Answer Set Programming with the Clingo engine to compute the optimal solutions for smaller grids. Maximizing grids like this is probably NP-hard. Note that traditional SAT and SMT solvers are quite inefficient at computing flood-fills. The ASP specifications it uses to compute optimal solutions are surprisingly short and readable, and look like: #const budget=11. horse(4,4). cell(0,0). boundary(0,0). ce…
Im over 35 years of age. I have 15+ years of programming experience. And I generally consider myself as someone who has good breadth of tech in general. Yet, this is the first time in my life I've heard of ASP. And gosh. I was completely blown away by this as I read more about it and went through some examples ( https://github.com/domoritz/clingo-wasm/blob/main/examples/e... ) Therefore, like a good little llm bitch…
- https://www.cs.utexas.edu/~vl/teaching/378/ASP.pdf
It starts with basics of using ASP and gives examples in clingo, not math.
The Potassco book is more comprehensive and will help you understand better what is going on:
Things I don't like include that it's more dense, doesn't use clingo examples (mostly math-style examples so you kind of have to translate them in your head), and while the proofs of how grounding works are interesting, the explanations are kind of short and don't always have the intuition I want.
I still think this is the authoritative reference.
The "how to build your own ASP system" paper is a good breakdown of how to integrate ASP into other projects:
- https://arxiv.org/abs/2008.06692
The Potassco folks are doing amazing work maintaining these tools. I also wish more people knew about them.
EDIT: I forgot to mention that specifically for games stuff like enclose.horse, look at Adam Smith's Applied ASP Course from UCSC:
- https://canvas.ucsc.edu/courses/1338
Forgot to mention that one... we use clingo in Spack for dependency solving and other applications frequently slip my mind.
https://enclose.horse Day 8 PERFECT! 100%
Cool game, but I don't like how you get only one chance. Even returning to the page, you can't try again to beat your previous score. No replayability value at all.