zakarya/puzzles
1
0
Fork 0
mirror of git://git.tartarus.org/simon/puzzles.git synced 2025-04-21 08:01:30 -07:00
Code Issues Packages Projects Releases Wiki Activity

Oops; _actually_ add the reasoning mode I mentioned in the last

Browse Source 
checkin.

[originally from svn r5671]
This commit is contained in:
Simon Tatham
2005-04-25 14:17:14 +00:00
parent a163926ed5
commit 0fffbf32db
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
solo.c
View File

@ -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 * subset: the numbers 1, 2 and 3 _must_ be in those three
* squares in some permutation, and hence we can deduce none of * squares in some permutation, and hence we can deduce none of
* them can be in the fourth or fifth squares.) * 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.
*/ */
/* /*