~mdw
/
sgt
/
puzzles
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3ddae0f
)
Oops; _actually_ add the reasoning mode I mentioned in the last
author
simon
<simon@cda61777-01e9-0310-a592-d414129be87e>
Mon, 25 Apr 2005 14:17:14 +0000
(14:17 +0000)
committer
simon
<simon@cda61777-01e9-0310-a592-d414129be87e>
Mon, 25 Apr 2005 14:17:14 +0000
(14:17 +0000)
checkin.
git-svn-id: svn://svn.tartarus.org/sgt/puzzles@5671
cda61777
-01e9-0310-a592-
d414129be87e
solo.c
patch
|
blob
|
blame
|
history
diff --git
a/solo.c
b/solo.c
index
b09d8e2
..
480bb2b
100644
(file)
--- 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.
*/
/*