From this point, here are some ways to proceed:
Puzzle as posted:
- Code: Select all
7 2 6 | 3 . 4 | . 9 1
3 8 5 | . 9 . | 7 4 .
9 4 1 | . . . | . 3 .
-------+-------+------
8 1 9 | 4 3 7 | 2 6 5
5 7 . | 9 . 6 | . 1 .
6 3 . | 5 1 . | . 7 9
-------+-------+------
4 6 . | . . . | 9 2 .
2 9 8 | . 4 3 | 1 5 .
1 5 . | 2 . 9 | . 8 4
Candidate lists:
CL 1 -- I've left out the solved cells for clarity.
- Code: Select all
*--------------------------------------------------------------------*
| . . . | . 58 . | 58 . . |
| . . . | 16 . 12 | . . 26 |
| . . . | 678 25678 258 | 568 . 268 |
|----------------------+----------------------+----------------------|
| . . . | . . . | . . . |
| . . 24 | . 28 . | 348 . 38 |
| . . 24 | . . 28 | 48 . . |
|----------------------+----------------------+----------------------|
| . . 37 | 178 578 158 | . . 37 |
| . . . | 67 . . | . . 67 |
| . . 37 | . 67 . | 36 . . |
*--------------------------------------------------------------------*
1) In box 8 there is a naked pair of [67][67] that excludes 6s and 7s from the rest of the box.
2) After these exclusions, there is a naked pair [58][58] in column 5 that excludes 5s and 8s from the rest of the column.
3) After this, there are several naked singles.
The situation now looks like this:
- Code: Select all
7 2 6 | 3 . 4 | . 9 1
3 8 5 | . 9 . | 7 4 .
9 4 1 | . . . | . 3 .
-------+-------+------
8 1 9 | 4 3 7 | 2 6 5
5 7 4 | 9 2 6 | . 1 .
6 3 2 | 5 1 8 | 4 7 9
-------+-------+------
4 6 . | . . . | 9 2 .
2 9 8 | . 4 3 | 1 5 .
1 5 . | 2 . 9 | . 8 4
CL2
- Code: Select all
*--------------------------------------------------*
| . . . | . 58 . | 58 . . |
| . . . |[16] . 12 | . . [26] |
| . . . |x678 67 25 | 568 . 2x68 |
|----------------+----------------+----------------|
| . . . | . . . | . . . |
| . . . | . . . | 38 . 38 |
| . . . | . . . | . . . |
|----------------+----------------+----------------|
| . . 37 | 18 58 15 | . . 37 |
| . . . |[67] . . | . . [67] |
| . . 37 | . 67 . | 36 . . |
*--------------------------------------------------*
4a) The four cells in [brackets] form an "x-wing" in 6s. These are the only two cells in rows 2 and 8 that can hold a 6; therefore, exclude all other 6s in columns 4 and 9, marked with 'x'.
There are now (at least) two obvious ways to finish the puzzle.
CL3
- Code: Select all
*--------------------------------------------------*
| . . . | . [58] . | 5x8 . . |
| . . . | 16 . 12 | . . 26 |
| . . . | 7x8 67 [25] | 568 . [28] |
|----------------+----------------+----------------|
| . . . | . . . | . . . |
| . . . | . . . | 38 . 38 |
| . . . | . . . | . . . |
|----------------+----------------+----------------|
| . . 37 | 18 58 15 | . . 37 |
| . . . | 67 . . | . . 67 |
| . . 37 | . 67 . | 36 . . |
*--------------------------------------------------*
One way is:
5a1) There is an "xy-wing" in [brackets]. Any value in any of these three cells forces r3c4<>8 and r1c7<>8.
(Alternately, there is another xy-wing: r1c7-r3c9-r3c6 is an xy-wing in 5s. Any value in any of these three cells forces both r1c5<>5 and r3c7<>5. An xy-wing is the shortest possible forcing chain. There are dozens of longer forcing chains that will also solve the puzzle.)
The rest of the puzzle is solved with singles.
Another solution from the same postition is
"BUG" or "Bivalue Universal Grave".5a2) All but one of the undecided cells have only two candidates. The other one (r3c7=568) has three candidates. One of the candidates (the 8) appears three times in the row, column and box that the cell is in. The BUG theory allows you to place this digit -- 8 -- into the cell -- just like that.
The rest of the puzzle is solved with singles.
One last solution that solves the puzzle *before* the x-wing.
CL2b
- Code: Select all
*--------------------------------------------------*
| . . . | . 58 . | 58 . . |
| . . . | 16 . 12 | . . 26 |
| . . . |[678] 67 25 |[568] . [268] |
|----------------+----------------+----------------|
| . . . | . . . | . . . |
| . . . | . . . | 38 . 38 |
| . . . | . . . | . . . |
|----------------+----------------+----------------|
| . . 37 | 18 58 15 | . . 37 |
| . . . | 67 . . | . . 67 |
| . . 37 | . 67 . | 36 . . |
*--------------------------------------------------*
4b) There are THREE cells that have three candidates, marked in [brackets].
To avoid a BUG at least ONE of these three statements must be true:
-- r3c4=6
-- r3c7=8
-- r3c9=6
However, if r3c7=6, then NONE of these three will be true. Therefore, r3c7<>6.
After this, the puzzle can be solved with singles alone -- no x-wing or xy-wings required.