9 comments

[ 2.8 ms ] story [ 28.3 ms ] thread
What makes this a HARD puzzle is that the pieces don't completely fill the area. That dramatically increases the solution search space.
Assuming the solvers that they wrote searched the problem space correctly, the hard side probably violates some assumption. My guess would be that on the hard side the pieces can lock into some sort of 3D structure.
Maybe the rotation angles aren't simple multiples of 60°.
That sounds more "honest" than using 3d.
Or for that matter, the placement might not be at integral coordinates.
if they ever read Penrose it would have taken less time :)
Interestingly, when I run this through an old Dancing Links [1] based solver I wrote a while back for solving general puzzles, it solves the first one in 0.04 seconds, uses 65 columns, 242 rows, does 181510 de-queues, and finds a unique solution.

The same solver on the hard version runs in 0.01 seconds, 67 columns, 272 rows, 245626 de-queues, and finds no solutions.

So as others have noted, the hard puzzle solution must be some weird rotation, and/or not spaced on "integral" coordinates.

Since I don't have time to write such a solver, I will leave it for now :)

Note: if you have not looked at the Dancing Links paper by Knuth and learned how to use it to solve backtracking problems, you should. It's amazingly useful for solving such problems, for enumerating all solutions, and it is fast and completely general.

[1] http://arxiv.org/abs/cs/0011047