From 0fffbf32dbe92d370df36745a165f4065629e5fb Mon Sep 17 00:00:00 2001 From: Simon Tatham Date: Mon, 25 Apr 2005 14:17:14 +0000 Subject: [PATCH] Oops; _actually_ add the reasoning mode I mentioned in the last checkin. [originally from svn r5671] --- 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.30.2