Jeff wrote:tso wrote:If you filter on 2's alone, you'll have no trouble placing all nine 2's.
Not without r2c2 having been determined as 7.
Actually, even with r2c2=7, I can still place all nine 2's -- though it will leave the grid unsolvable. Nishio alone doesn't cover this. When applying Nishio, there are two possible results -- either you CANNOT place all nine digits, in which case you elliminate the possibility from the cell you were testing, or you CAN place them all, in which case you cannot make the ellimination. For example:
- Code: Select all
8 . 3 | . 2 9 | 7 1 6
2 7 6 | . 1 8 | 5 . 4
. . . | . 6 . | 2 . 8
-------+-------+------
. 2 5 | . 4 6 | . 8 .
7 . 9 | . 3 5 | 6 4 2
. 6 . | . 9 2 | 1 . 5
-------+-------+------
6 . . | 2 7 . | . 5 1
. . 1 | 6 5 . | 8 2 .
5 . 2 | 9 8 1 | 4 6 3
All nine 2's are comfortably seated -- though there is nowhere for the last 7. Performing Nishio in your head -- you probably wouldn't consider this. In the puzzle at the top of the thread, even if you hadn't entered any candidates, you could easily do that Nishio in your head.
So you could state it with a proof by contradiction:
1) r6c6=2 => r3c6=7 => r2c2=7 => r9c2=2 => r9c3=7
... and ...
2) r6c6=2 => r7c3=2 => r8c8=2 => r3c7=2 => r9c3=2
This is a contradiction, therefore, r6c6<>2
The second line is Nishio-esque.