The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |...|.47|3..|
 |...|...|1..|
 |...|2..|.54|
 |---+---+---|
 |3..|49.|.7.|
 |9.4|371|6.5|
 |.7.|.85|..3|
 |---+---+---|
 |75.|..8|...|
 |..1|...|...|
 |..8|72.|...|
 *-----------*

Play/Print this puzzle online

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 5    a19    69     | 89-1  4     7      | 3     68    2      |
| 24    24    369    | 589   35    39     | 1     68    7      |
| 8     13    7      | 2     136   36     | 9     5     4      |
|--------------------+--------------------+--------------------|
| 3     6     5      | 4     9     2      | 8     7     1      |
| 9     8     4      | 3     7     1      | 6     2     5      |
| 1     7     2      | 6     8     5      | 4     9     3      |
|--------------------+--------------------+--------------------|
| 7     5     39     |d19    136   8      | 2     4     69     |
| 246  b249   1      |c59    56   c469    | 7     3     8      |
| 46    349   8      | 7     2     3469   | 5     1     69     |
*--------------------------------------------------------------*

W Wing (19) with group S/L in Row 8 : (1=9) r1c2 - r8c2 = r8c46 - (9=1) r7c4 => - 1 r1c4; stte

Leren

[SteveG48]

Code: Select all

 *------------------------------------------------------------*
 |  5    d19    69    |e189   4     7     | 3     68    2     |
 | *24   *24    369   | 589   35    39    | 1     68    7     |
 |  8     13    7     | 2     136   36    | 9     5     4     |
 *--------------------+-------------------+-------------------|
 |  3     6     5     | 4     9     2     | 8     7     1     |
 |  9     8     4     | 3     7     1     | 6     2     5     |
 |  1     7     2     | 6     8     5     | 4     9     3     |
 *--------------------+-------------------+-------------------|
 |  7     5     39    |f1-9   136   8     | 2     4     69    |
 |b*246 c*249   1     |a59   a56    469   | 7     3     8     |
 |  46    349   8     | 7     2     3469  | 5     1     69    |
 *------------------------------------------------------------*


(9=56)r8c45 - [(6)r8c1 = (9)r8c2][UR 2/4 r28c12] - (9=1)r1c2 - r1c4 = (1)r7c4 => -9 r7c4 ; stte

[ArkieTech]

Code: Select all

 *-----------------------------------------------------------*
 | 5     19    69    | 189   4     7     | 3     68    2     |
 | 24    24    369   | 589   35    39    | 1     68    7     |
 | 8    a13    7     | 2    b136   36    | 9     5     4     |
 |-------------------+-------------------+-------------------|
 | 3     6     5     | 4     9     2     | 8     7     1     |
 | 9     8     4     | 3     7     1     | 6     2     5     |
 | 1     7     2     | 6     8     5     | 4     9     3     |
 |-------------------+-------------------+-------------------|
 | 7     5     39    | 19   c136   8     | 2     4     69    |
 | 246   249   1     | 59    56    469   | 7     3     8     |
 | 46    49-3  8     | 7     2    d3469  | 5     1     69    |
 *-----------------------------------------------------------*
(3=1)r3c2-r3c5=(1-3)r7c5=3r9c6 =>  -3r9c2; ste

[Marty R.]

Code: Select all

+-------------+--------------+---------+
| 5   19  69  | 189 4   7    | 3 68 2  |
| 24  24  369 | 589 35  39   | 1 68 7  |
| 8   13  7   | 2   136 36   | 9 5  4  |
+-------------+--------------+---------+
| 3   6   5   | 4   9   2    | 8 7  1  |
| 9   8   4   | 3   7   1    | 6 2  5  |
| 1   7   2   | 6   8   5    | 4 9  3  |
+-------------+--------------+---------+
| 7   5   39  | 19  136 8    | 2 4  69 |
| 246 249 1   | 59  56  469  | 7 3  8  |
| 46  349 8   | 7   2   3469 | 5 1  69 |
+-------------+--------------+---------+


Play this puzzle online at the Daily Sudoku site

I looked for the W-Wing but missed the SL in r8 that Leren found.

M-Wing (19)

(9=1)r7c4-r1c4=(1-9)r1c2=r12c3=>r7c3<>9

[Sudtyro2]

Code: Select all

 *------------------------------------------------------------*
 |  5    d19    69    |e189   4     7     | 3     68    2     |
 | *24   *24    369   | 589   35    39    | 1     68    7     |
 |  8     13    7     | 2     136   36    | 9     5     4     |
 *--------------------+-------------------+-------------------|
 |  3     6     5     | 4     9     2     | 8     7     1     |
 |  9     8     4     | 3     7     1     | 6     2     5     |
 |  1     7     2     | 6     8     5     | 4     9     3     |
 *--------------------+-------------------+-------------------|
 |  7     5     39    |f1-9   136   8     | 2     4     69    |
 |b*246 c*249   1     |a59   a56    469   | 7     3     8     |
 |  46    349   8     | 7     2     3469  | 5     1     69    |
 *------------------------------------------------------------*


(9=56)r8c45 - [(6)r8c1 = (9)r8c2][UR 2/4 r28c12] - (9=1)r1c2 - r1c4 = (1)r7c4 => -9 r7c4 ; stte

Steve, I'm trying to learn about the AUR "externals" approach. It looks like (4)r8c6=(4)r9c1 [or (4)r9c2], but I don't see a one-stepper from there. Any ideas?

SteveC

[SteveG48]

Code: Select all

 *------------------------------------------------------------*
 |  5    d19    69    |e189   4     7     | 3     68    2     |
 | *24   *24    369   | 589   35    39    | 1     68    7     |
 |  8     13    7     | 2     136   36    | 9     5     4     |
 *--------------------+-------------------+-------------------|
 |  3     6     5     | 4     9     2     | 8     7     1     |
 |  9     8     4     | 3     7     1     | 6     2     5     |
 |  1     7     2     | 6     8     5     | 4     9     3     |
 *--------------------+-------------------+-------------------|
 |  7     5     39    |f1-9   136   8     | 2     4     69    |
 |b*246 c*249   1     |a59   a56    469   | 7     3     8     |
 |  46    349   8     | 7     2     3469  | 5     1     69    |
 *------------------------------------------------------------*


(9=56)r8c45 - [(6)r8c1 = (9)r8c2][UR 2/4 r28c12] - (9=1)r1c2 - r1c4 = (1)r7c4 => -9 r7c4 ; stte

Steve, I'm trying to learn about the AUR "externals" approach. It looks like (4)r8c6=(4)r9c1 [or (4)r9c2], but I don't see a one-stepper from there. Any ideas?

SteveC

Steve, actually externals tell you that there needs to be at least one external assigned on either r2 or r8. Since there are no external 2's and only 1 external 4, we can immediately assign a 4 to r8c6. Unfortunately, that doesn't give us a quick solution. I don't have any ideas for using externals to great effective on this one.

[tlanglet]

SteveC, at first glance, the pattern is readily seen as a Type 4 UR(24)r28c12 => r8c12<>4 which is not very useful.

However if we look at the pattern as an AUR(24)r28c12 with internal inferences 6r8c1=9r8c2 we have a long, somewhat messy one step solution. Specifically we can show that r8c2<>9 thus leaving a Type 1 UR(24) which does solve the puzzle.

Code: Select all

9r8c2-(9=13)r13c2-3r3c56...
                                               \
                                                  =(3-5)r2c5=5r8c5-(5=9)r8c4 Contradiction => r8c2<>9
                                               /
9r8c2-(9=3)r7c3-r7c5=r9c6-3r23c6

Ted