Considering only the candidate locations for a single digit, if there exists a pattern, rule, or process that results in the removal of that candidate from a given cell, then that candidate digit can still be removed regardless of the existance of that digit as a candidate in any cell which shares a group with the given cell.
In other words, the deletion of a candidate from a given cell is dependent only on the part of a pattern that does not share a group with the given cell.
The proof of this concept is fairly simple. For any setup of candidates for digit X that you have, you will have a number of solution patterns, N, that run through cell A. N may or may not equal zero. If you alter the setup slightly so that a previously blocked out cell, B, now has the candidate digit X, then some new solution patterns may be created that all run through B. But if B shares a group with A, then none of those new patterns can run through A, and so N is unchanged. Likewise, if cell C already has candidate digit X, and we alter the setup by removing it as a possibility, then we remove all of the solution patterns that ran through C. But, once again, if C shares a group with A, then none of those removed patterns could have run through A, so N is still unchanged. Thus, if N is zero before the alteration, then N is zero after the alteration.
So, how can you use this principle?
You can apply it to an X-Wing, or any NxN Swordfish, and you get the Filet-O-Fish
You can apply it to Simple Coloring Rule 4, and you get Simple Coloring Rule 5.
You can apply it to Simple Coloring Rule 1, and get a limited form of coloring with groups. For example:
- Code: Select all
. . 2 | 2* 2 2 | . 2 .
. . 2 | 2* 2 . | . 2 2
. . . | . 2B . | 2A . .
-------------+-------------+-----------
. 2 . | . 2* 2 | . . 2
. . . | 2A . . | 2B . .
. 2 . | 2 2* 2 | . 2 2
-------------+-------------+-----------
. . . | 2 2 . | . 2 2
. . . | 2 2 2 | . 2 2
. . . | . . . | . . .
Simple Colors Rule 1 lets you remove the candidate 2's from the starred cells above. If you alter the grid a bit...
- Code: Select all
. . 2 | 2* 2 . | . 2 .
. . 2 | 2* 2 . | . 2 2
. . . | 2 2(B)2 | 2A . .
-------------+-------------+-----------
. 2 . | . 2 2 | . . 2
. . . | 2A . . | 2B . .
. 2 . | 2 2 2 | . 2 2
-------------+-------------+-----------
. . . | 2 2 . | . 2 2
. . . | 2 2 2 | . 2 2
. . . | . . . | . . .
You can use the Filet of Colors rule to ignore the existance of r3c4 and r3c6 to eliminate candidates in r1c3 and r2c3. You no longer can eliminate the candidates in box 5 however, because they do not share a group with your ignored candidates.
You can probably find ways to apply this principle to many of our single digit methods. Turbot Fish, X-Cycles, X-Cycles with groups...give it a shot.