Kent is actually right on this one!
Though BUG is obviously the best most magical way to solve from this postion, the four bracked [13] cells make r5c5 and r7c8 a remote naked pair. They intersect at r7c5, exluding 1 from that cell, solving the puzzle.
- Code: Select all
*--------------------------------------------------*
| 5 4 1 | 3 2 6 | 9 8 7 |
| 7 6 9 | 8 5 1 | 2 4 3 |
| 3 2 8 | 9 7 4 | 6 5 1 |
|----------------+----------------+----------------|
| 9 13 4 | 16 136 7 | 5 2 8 |
| 8 5 7 | 4 [13] 2 |[13] 9 6 |
| 6 13 2 | 5 9 8 | 7 [13] 4 |
|----------------+----------------+----------------|
| 4 9 36 | 7 16 5 | 8 [13] 2 |
| 2 8 36 | 16 4 9 | 13 7 5 |
| 1 7 5 | 2 8 3 | 4 6 9 |
*--------------------------------------------------*
Another choice is a 5 cell xy-type forcing chain, marked in brackets above. ANY value in ANY bracketed cell will exclude the candidate 1 from r5c5, solving the puzzle.
- Code: Select all
*--------------------------------------------------*
| 5 4 1 | 3 2 6 | 9 8 7 |
| 7 6 9 | 8 5 1 | 2 4 3 |
| 3 2 8 | 9 7 4 | 6 5 1 |
|----------------+----------------+----------------|
| 9 13 4 |[16] 136 7 | 5 2 8 |
| 8 5 7 | 4 {13} 2 |[13] 9 6 |
| 6 13 2 | 5 9 8 | 7 13 4 |
|----------------+----------------+----------------|
| 4 9 36 | 7 16 5 | 8 13 2 |
| 2 8 36 |[16] 4 9 |[13] 7 5 |
| 1 7 5 | 2 8 3 | 4 6 9 |
*--------------------------------------------------*
For example:
r4c4=1 -> r5c5=3
r4c4=6 -> r8c4=1 -> r8c7=3 -> r5c7=1 -> r5c5=3
Therefore, r5c5=3
There are many other forcing chains of various lengths.
Still another choice is coloring the 1s:
- Code: Select all
*--------------------------------------------------*
| 5 4 1 | 3 2 6 | 9 8 7 |
| 7 6 9 | 8 5 1 | 2 4 3 |
| 3 2 8 | 9 7 4 | 6 5 1 |
|----------------+----------------+----------------|
| 9 +13 4 |+16 136 7 | 5 2 8 |
| 8 5 7 | 4 +13 2 |-13 9 6 |
| 6 -13 2 | 5 9 8 | 7 +13 4 |
|----------------+----------------+----------------|
| 4 9 36 | 7 16 5 | 8 -13 2 |
| 2 8 36 |-16 4 9 |+13 7 5 |
| 1 7 5 | 2 8 3 | 4 6 9 |
*--------------------------------------------------*
Starting with any cell that can hold a '1' you'd like, label it PLUS. I started with r4c2. Then label any 'conjugates' MINUS. (Two cells are conjugates on a specific candidate if they are the only two cells in that row, column or box that can hold that candidate.) Continue until there are no more conjugates connected with a labeled cell.
Either all the PLUS cells must be 1 OR all the MINUS cells must be 1. Because row 4 and box 5 have more than one PLUS, they cannot be 1. Also, any cell that can 'see' both a PLUS and a MINUS will also be excluded. (The "Remote pairs" tactic is a subset of coloring.)
The point is, once you've reduced the grid to mostly bivalue cells, you nearly always have lots of choices.