The New Sudoku Players' Forum

[daj95376]

Code: Select all

 +-----------------------+
 | 3 . 4 | 9 . . | 2 . . |
 | . 5 2 | . . 7 | . . . |
 | 7 1 . | . 2 . | . 9 . |
 |-------+-------+-------|
 | 6 . . | 7 . 4 | . . . |
 | . . 3 | . 6 2 | . . . |
 | . 4 . | 1 3 8 | 6 7 . |
 |-------+-------+-------|
 | . . . | . . 1 | 7 . . |
 | . . 1 | . . 3 | . 6 . |
 | . . . | . . . | . . 4 |
 +-----------------------+

 +-----------------------------------------------------------------------+
 |  3      68     4      |  9      18     56     |  2      158    7      |
 |  9      5      2      |  348    148    7      |  1348   1348   6      |
 |  7      1      68     |  348    2      56     |  3458   9      358    |
 |-----------------------+-----------------------+-----------------------|
 |  6      28     58     |  7      9      4      |  35     235    1      |
 |  1      7      3      |  5      6      2      |  489    48     89     |
 |  25     4      9      |  1      3      8      |  6      7      25     |
 |-----------------------+-----------------------+-----------------------|
 |  2458   2369   56     |  2468   458    1      |  7      2358   23589  |
 |  2458   29     1      |  248    7      3      |  589    6      2589   |
 |  258    236    7      |  268    58     9      |  1358   12358  4      |
 +-----------------------------------------------------------------------+
 # 79 eliminations remain


Play this puzzle online at the Daily Sudoku site

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 3     8-6   4      | 9     18    56     | 2     158   7      |
| 9     5     2      | 348   148   7      | 1348  1348  6      |
| 7     1     68     | 348   2     56     | 3458  9     358    |
|--------------------+--------------------+--------------------|
| 6     28    58     | 7     9     4      | 35    235   1      |
| 1     7     3      | 5     6     2      | 489   48    89     |
| 25    4     9      | 1     3     8      | 6     7     25     |
|--------------------+--------------------+--------------------|
| 2458  2369  56     | 2468  458   1      | 7     2358  23589  |
| 2458  29    1      | 248   7     3      | 589   6     2589   |
| 258   236   7      | 268   58    9      | 1358  12358 4      |
*--------------------------------------------------------------*

Kraken Row 8 digit 4:

4 r8c4 - r3c4    = 4 r3c7 - 5 r3c7

4 r8c1 - 5 r8c1 =  5 r8c7 - 5 r3c7 = r3c6 - (5=6) r1c6                            - 6 r1c2;
                |                  |
                |                  | r3c9 - (5=2) r6c9 - r4c8 = (2-8) r4c2 = r1c2 - 6 r1c2;
                |
                |  5 r8c9 - r6c9 = r6c1 - r4c3 = (5-6) r7c3 = r3c3                - 6 r1c2; => - 6 r1c2; stte

Leren

[storm_norm22]

without specifically trying to find a particular network, this solution is quite lengthy

Code: Select all

+------------------+---------------+---------------------+
| 3     68    4    | 9     18   56 | 2      158    7     |
| 9     5     2    | 348   148  7  | 1348   1348   6     |
| 7     1     6(8) | 348   2    56 | 3458   9      35-8  |
+------------------+---------------+---------------------+
| 6     (28)  5(8) | 7     9    4  | 35     235    1     |
| 1     7     3    | 5     6    2  | 48(9)  48     (89)  |
| 25    4     9    | 1     3    8  | 6      7      25    |
+------------------+---------------+---------------------+
| 2458  2369  56   | 2468  458  1  | 7      2358   23589 |
| 2458  (29)  1    | 248   7    3  | 58(9)  6      2589  |
| 258   236   7    | 268   58   9  | 1358   12358  4     |
+------------------+---------------+---------------------+

#1...(8=9)r5c9 - (9)r5c7 = (9)r8c7 - (9=2)r8c2 - (2=8)r4c2 - (8)r4c3 = (8)r3c3; r3c9 <> 8

---------------------

Code: Select all

+-------------------+------------------+---------------------+
| 3      (68)  4    | 9     18    (56) | 2     18(5)   7     |
| 9      5     2    | 348   148   7    | 1348  1348    6     |
| 7      1     6(8) | 348   2     56   | 3458  9       35    |
+-------------------+------------------+---------------------+
| 6      28    (58) | 7     9     4    | 35    23-5    1     |
| 1      7     3    | 5     6     2    | 489   48      89    |
| (25)   4     9    | 1     3     8    | 6     7       25    |
+-------------------+------------------+---------------------+
| 2458   2369  56   | 2468  458   1    | 7     2358    23589 |
| 2458   29    1    | 248   7     3    | 589   6       2589  |
| (258)  236   7    | 268   (58)  9    | 1358  1238-5  4     |
+-------------------+------------------+---------------------+

#2...(58=2)r9c15 - (2=5)r6c1 - (5=8)r4c3 - (8)r3c3 = (8-6)r1c2 = (6-5)r1c6 = (5)r1c8; r4c8 <> 5 and r9c8 <>5

-----------------------
this is a continuos loop

Code: Select all

+-------------------+------------------+----------------------+
| 3      8(6)  4    | 9     18    (56) | 2     18(5)   7      |
| 9      5     2    | 348   148   7    | 1348  1348    6      |
| 7      1     8(6) | 348   2     56   | 3458  9       35     |
+-------------------+------------------+----------------------+
| 6      28    58   | 7     9     4    | 35    23      1      |
| 1      7     3    | 5     6     2    | 489   48      89     |
| 25     4     9    | 1     3     8    | 6     7       25     |
+-------------------+------------------+----------------------+
| 248-5  2369  (56) | 2468  48-5  1    | 7     238(5)  2389-5 |
| 2458   29    1    | 248   7     3    | 589   6       2589   |
| 258    236   7    | 268   58    9    | 1358  1238    4      |
+-------------------+------------------+----------------------+

#3...(5=6)r7c3 - (6)r3c3 = (6)r1c2 - (6=5)r1c6 - (5)r1c8 = (5)r7c7; r7c159 <> 5

------------------------------
leads to this grid

Code: Select all

+----------------+---------------+------------------+
| 3     68    4  | 9     18   56 | 2     158   7    |
| 9     5     2  | 348   148  7  | 1348  1348  6    |
| 7     1     68 | 348   2    56 | 3458  9     35   |
+----------------+---------------+------------------+
| 6     28    58 | 7     9    4  | 35    23    1    |
| 1     7     3  | 5     6    2  | 489   48    89   |
| 25    4     9  | 1     3    8  | 6     7     25   |
+----------------+---------------+------------------+
| 248   2369  56 | 2468  48   1  | 7     2358  2389 |
| 2458  29    1  | 248   7    3  | 589   6     2589 |
| 28    236   7  | 268   5    9  | 138   1238  4    |
+----------------+---------------+------------------+

from here its #4...xy wing (235)r346c89; r2c8 <>3
#5... skyscraper on candidate 5... r4c7 = r4c3 - r7c3 = r7c8; r8c8 <> 5
#6... xy-wing (289)r89c127; r8c1 and r9c78 <> 8
#7... xyz-wing (123)r479c78; r9c8 <> 3
#8... xy-wing (123)r49c78; r4c7 <> 3
then singles to end.

[DonM]

Norm, good to see you!

[storm_norm22]

Norm, good to see you!

thank you. been way too long

[JC Van Hay]

Code: Select all

+---------------------+------------------+-----------------------+
| 3       68    4     | 9      18   56   | 2       158    7      |
| 9       5     2     | 348    148  7    | 1348    1348   6      |
| 7       1     -8(6) | 38(4)  2    (56) | 38(45)  9      38(5)  |
+---------------------+------------------+-----------------------+
| 6       28    (58)  | 7      9    4    | 35      235    1      |
| 1       7     3     | 5      6    2    | 489     48     89     |
| 2(5)    4     9     | 1      3    8    | 6       7      2(5)   |
+---------------------+------------------+-----------------------+
| 2458    2369  56    | 2468   458  1    | 7       2358   23589  |
| 28(45)  29    1     | 28(4)  7    3    | 89(5)   6      289(5) |
| 258     236   7     | 268    58   9    | 1358    12358  4      |
+---------------------+------------------+-----------------------+
8r3c3
6r3c3 6r3c6
8r4c3       5r4c3
            5r6c1 5r6c9
      5r3c6       5r3c9 5r3c7
                  5r8c9 5r8c7 5r8c1
                              4r8c1 4r8c4
                        4r3c7       4r3c4

[daj95376]

_

My solver found a SIN that ended in the same contradiction that JC encountered.

Code: Select all

 +-----------------------------------------------------------------------+
 |  3      68     4      |  9      18     56     |  2      158    7      |
 |  9      5      2      |  348    148    7      |  1348   1348   6      |
 |  7      1      68     |  348    2      56     |  3458   9      358    |
 |-----------------------+-----------------------+-----------------------|
 |  6      28     58     |  7      9      4      |  35     235    1      |
 |  1      7      3      |  5      6      2      |  489    48     89     |
 |  25     4      9      |  1      3      8      |  6      7      25     |
 |-----------------------+-----------------------+-----------------------|
 |  2458   2369   56     |  2468   458    1      |  7      2358   23589  |
 |  2458   29     1      |  248    7      3      |  589    6      2589   |
 |  258    236    7      |  268    58     9      |  1358   12358  4      |
 +-----------------------------------------------------------------------+
 # 79 eliminations remain

  5r6c9  5r4c3  6r7c3  6r3c6  5r3c7  5r8c1  4r8c4  [r3]-4

 =5r6c9
 -5r6c1 =5r4c3
        -5r6c3 =6r6c3
               -6r3c3 =6r3c6
 -5r3c9               -5r3c6 =5r3c7
 -5r8c9                      -5r8c7 =5r8c1
                                    -4r8c1 =4r8c4
                             -4r3c7        -4r3c4  [r3]-4


I tried reworking it to get around the contradiction, but I failed -- except for a gross lasso. So, I decided to reverse the expression into a Kraken Row so that no one would notice that my network had a contradiction. _ _

Code: Select all

 5r38c9 = Kraken Row 3 on <4> ...

 [ 4r3c7 -                         \                                                   ]
 [   ||                             \                                                  ]
 [ 4r3c4 - r8c4 = (4-5)r8c1 = r8c7 - r3c7 = (5-6)r3c6 = r3c3 - (6=5)r6c3 - r4c3 = r6c1 ] ...

  =>  -5 r6c9


I've taken to using an old-style notation that pulls troublesome candidates outside of the main body through a strong link implication.

_

[pjb]

Code: Select all

 3      68     4      | 9      18     56     | 2      158    7     
 9      5      2      | 348    148    7      | 1348   1348   6     
 7      1     c68     |g348    2     d56     |e3458   9     f358   
 ---------------------+----------------------+---------------------
 6      28    b58     | 7      9      4      | 35     235    1     
 1      7      3      | 5      6      2      | 489    48     89     
a25     4      9      | 1      3      8      | 6      7      25     
 ---------------------+----------------------+---------------------
 2458   2369   56     | 2468   458    1      | 7      2358   23589 
i2458   29     1      |h248    7      3      | 589    6     j2589   
 258    236    7      | 268    58     9      | 1358   12358  4     

(5)r6c1=(5-8)r4c3=(8-6)r3c3*=(6-5)r3c6=r3c7-(58=3)r3c9*-(38=4)r3c4-r8c4=(4-5)r8c1=r8c9 => -5 r6c9, r8c1; stte
(5)r6c1= r6c9                                  -5 r3c9
                                    (5)r3c7                               -5 r8c7


Phil