The New Sudoku Players' Forum

[Sandra]

Code: Select all

 |.8.|134|.67|
 |1.6|795|..4|
 |.7.|682|19.|
 |---+---+---|
 |718|369|452|
 |562|841|739|
 |..3|527|618|
 |---+---+---|
 |..1|476|...|
 |6..|258|.71|
 |.57|913|.46|

[JasonLion]

This puzzle can be solved with a Naked Pair, two X-Wings, a W-Wing, a BUG+1, and singles. I'm sure there is something with fewer steps that will also work, but I didn't see anything shorter right off.

[JC Van Hay]

From the 2 solutions of {R13, B1, C39}, you can easily find a way to finish the puzzle. For example : :

Code: Select all

+------------------+---------+-----------------+
| 29    8    -5(9) | 1  3  4 | 2(5)     6   7  |
| 1     23   6     | 7  9  5 | 238      28  4  |
| 34    7    45    | 6  8  2 | 1        9   35 |
+------------------+---------+-----------------+
| 7     1    8     | 3  6  9 | 4        5   2  |
| 5     6    2     | 8  4  1 | 7        3   9  |
| 49    49   3     | 5  2  7 | 6        1   8  |
+------------------+---------+-----------------+
| 2389  239  1     | 4  7  6 | 238(59)  28  35 |
| 6     349  4(9)  | 2  5  8 | 3(9)     7   1  |
| 28    5    7     | 9  1  3 | 28       4   6  |
+------------------+---------+-----------------+


Purple Cow : the solutions of {5C7, 9C37} -> -{5r1c3}; stte

[pjb]

On the grid as given, this short xy chain will do
(3=5)r3c9 - (5=4)r3c3 - (4=9)r8c3 - (9=3)r8c7 => -3 r2c7, r7c9; stte
Phil

[Leren]

Code: Select all

*-----------------------------------------------------*
| 29   8    59    | 1    3    4     | 25   6    7     |
| 1    23   6     | 7    9    5     | 28-3 28   4     |
| 34   7   b45    | 6    8    2     | 1    9   a35    |
|-----------------+-----------------+-----------------|
| 7    1    8     | 3    6    9     | 4    5    2     |
| 5    6    2     | 8    4    1     | 7    3    9     |
| 49   49   3     | 5    2    7     | 6    1    8     |
|-----------------+-----------------+-----------------|
| 2389 239  1     | 4    7    6     | 359  28   5-3   |
| 6    349 c49    | 2    5    8     |d39   7    1     |
| 28   5    7     | 9    1    3     | 28   4    6     |
*-----------------------------------------------------*

I think I've shown the same XY chain as Phil. Cells a-b-c-d show that at least one of r3c9 and r8c7 must be 3, so you can remove 3 from r2c7 and r7c9 and this solves the puzzle.

A second solution is shown in the next diagram This move is known as ALS XZ Rule: X = 5, Z = 9: (9=5) r1c3 - (5=9) r1289c7

Code: Select all

*-----------------------------------------------------*
| 29   8   a59    | 1    3    4     |b25   6    7     |
| 1    23   6     | 7    9    5     |b238  28   4     |
| 34   7    45    | 6    8    2     | 1    9    35    |
|-----------------+-----------------+-----------------|
| 7    1    8     | 3    6    9     | 4    5    2     |
| 5    6    2     | 8    4    1     | 7    3    9     |
| 49   49   3     | 5    2    7     | 6    1    8     |
|-----------------+-----------------+-----------------|
| 2389 239  1     | 4    7    6     | 359  28   35    |
| 6    349  4-9   | 2    5    8     |b39   7    1     |
| 28   5    7     | 9    1    3     |b28   4    6     |
*-----------------------------------------------------*

Without going into too much detail at this stage, the cells marked a and b show that at least one of r1c3 and r8c7 must be 9, so 9 can be removed from r8c3, and this also solves the puzzle.

If you need any further help with these moves let me know and I'll explain further.

Leren

[eleven]

Sandra,

if you are familiar with x-wing and w-wing (also explained below), you can do it in 2 steps.

Code: Select all

 +----------------------+----------------------+----------------------+
| 29     8      59     | 1      3      4      | 25     6      7      |
| 1     #23     6      | 7      9      5      |#238    28     4      |
| 34     7      45     | 6      8      2      | 1      9      35     |
+----------------------+----------------------+----------------------+
| 7      1      8      | 3      6      9      | 4      5      2      |
| 5      6      2      | 8      4      1      | 7      3      9      |
| 49     49     3      | 5      2      7      | 6      1      8      |
+----------------------+----------------------+----------------------+
| 2389   29-3   1      | 4      7      6      | 2589-3 28     35     |
| 6     #349    49     | 2      5      8      |#39     7      1      |
| 28     5      7      | 9      1      3      | 28     4      6      |
+----------------------+----------------------+----------------------+

The x-wing 3 in rows 28 eliminates the 3's in r8c2 and r8c7
(there is also an x-wing for 2 in rows 19, but not needed)

Code: Select all

+--------------------+-------------------+-------------------+
|#29     8     59    | 1     3     4     | 25    6     7     |
| 1      3-2   6     | 7     9     5     | 238   28    4     |
| 34     7     45    | 6     8     2     | 1     9     35    |
+--------------------+-------------------+-------------------+
| 7      1     8     | 3     6     9     | 4     5     2     |
| 5      6     2     | 8     4     1     | 7     3     9     |
|@49    @49    3     | 5     2     7     | 6     1     8     |
+--------------------+-------------------+-------------------+
| 389-2 #29    1     | 4     7     6     | 2589  28    35    |
| 6      349   49    | 2     5     8     | 39    7     1     |
| 8-2    5     7     | 9     1     3     | 28    4     6     |
+--------------------+-------------------+-------------------+

Now there is a w-wing 29 in cells r1c1, r7c2, connected by the strong link for 9 in r6c12:
(either r6c1=9 and r1c1=2 or r6c2=9 and r7c2=2)
One of r1c1 and r7c2 must be 2, so you can eliminate 2 from r2c2 and r79c1.

[Sandra]

THANK YOU ALL!!!

[Kozo Kataya]

For the least step to the solution might be at r1c3 =4, not = 3, before fishings etc.
If r1c3=3, a contradiction occurs as both of r2c2 and r7c2 are 2.
Hence, a contradiction which means ric3 must be r1c3=4, then stte.
Wonder, why so many dislike proofs with contradiction procedures.

[eleven]

You must mean r3c1, not r1c3.
I don't dislike proofs with contradiction procedures. In fact, i often find contradictions first, and rewrite them for the purists.
But you should spell it out. I don't see a short way, that 3 in r3c1 implies 2 in r7c2.