From 351c6261eaca09572ad01a318fb33d0bdb5c8bd7 Mon Sep 17 00:00:00 2001 From: simon Date: Mon, 25 Apr 2005 14:17:14 +0000 Subject: [PATCH] Oops; _actually_ add the reasoning mode I mentioned in the last checkin. git-svn-id: svn://svn.tartarus.org/sgt/puzzles@5671 cda61777-01e9-0310-a592-d414129be87e --- solo.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/solo.c b/solo.c index b09d8e2..480bb2b 100644 --- a/solo.c +++ b/solo.c @@ -567,6 +567,12 @@ static int rsolve(int c, int r, digit *grid, random_state *rs, int max) * subset: the numbers 1, 2 and 3 _must_ be in those three * squares in some permutation, and hence we can deduce none of * them can be in the fourth or fifth squares.) + * + * - Setwise positional elimination: if there is a subset of the + * unplaced numbers within a domain such that the union of all + * their possible positions has the same size as the subset + * itself, then all other numbers can be ruled out for those + * positions. */ /* -- 2.11.0