chiark / gitweb /
~ian / sgt-puzzles.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d96298e) | patch
Dominosa: another forcing-chain based deduction.
authorSimon Tatham <anakin@pobox.com>
Sat, 13 Apr 2019 10:26:54 +0000 (11:26 +0100)
committerSimon Tatham <anakin@pobox.com>
Sat, 13 Apr 2019 10:26:54 +0000 (11:26 +0100)
commit1114a2af332ecfa61a3ae0df478d26b9a3b863a4
tree93c0ed067956ff2b5288270b337c6e6244a84321tree | snapshot
parentd96298ed0100873c59b3be698b01c369f888499bcommit | diff
Dominosa: another forcing-chain based deduction.

We've already spotted when a domino occurs twice in the _same_ forcing
chain. But now we also spot when it occurs twice in the same _pair_ of
complementary forcing chains, one in each of the two options. Then it
must appear in one of those two places, and hence, can't appear
anywhere else.
dominosa.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.