chiark / gitweb /
Tracks: new neighbour-based deduction.
authorSimon Tatham <anakin@pobox.com>
Wed, 26 Feb 2020 06:07:18 +0000 (06:07 +0000)
committerSimon Tatham <anakin@pobox.com>
Wed, 26 Feb 2020 06:32:35 +0000 (06:32 +0000)
commit4f2f8a9d173f34097a1636a3205ca0d50a39efee
treea91d2871b0e9581d55b553f8e6a33d73cb84db17
parentb3098efbc489be685ff644cde8dd6844f0198479
Tracks: new neighbour-based deduction.

This is a deduction I've been using in my own head for years: if you
only have one remaining filled square to put in a row, then it can't
be any square that has two adjacent edges blocked, because if that
square contains anything at all then it would have to be a corner
piece, and a corner piece forces the square next to it to be filled as
well.

I ran across a puzzle today that this implementation couldn't solve,
but I solved it fine by hand and found the deduction I was using that
wasn't implemented here. Now it is.
tracks.c