The New Sudoku Players' Forum

[daj95376]

_

I'm always impressed that a puzzle can be reduced considerably and still need more than an AIC to crack it.

Code: Select all

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

 +-----------------------------------------------------+
 |  3    8    49   |  67   67   24   |  29   5    1    |
 |  1    5    67   |  9    3    28   |  68   4    27   |
 |  679  467  2    |  5    1    48   |  68   79   3    |
 |-----------------+-----------------+-----------------|
 |  8    1    3    |  4    2    67   |  5    67   9    |
 |  567  9    567  |  3    8    1    |  4    267  27   |
 |  2    467  467  |  67   5    9    |  3    1    8    |
 |-----------------+-----------------+-----------------|
 |  59   3    59   |  2    67   67   |  1    8    4    |
 |  4    2    8    |  1    9    5    |  7    3    6    |
 |  67   67   1    |  8    4    3    |  29   29   5    |
 +-----------------------------------------------------+
 # 38 eliminations remain


_

[ArkieTech]

Code: Select all

 *--------------------------------------------------*
 | 3    8   a49   | 67   67   24   |a29   5    1    |
 | 1    5   c67   | 9    3   c28   |c68   4    7-2  |
 | 679  467  2    | 5    1    48   | 68   79   3    |
 |----------------+----------------+----------------|
 | 8    1    3    | 4    2    67   | 5    67   9    |
 |b567  9   b567  | 3    8    1    | 4    267 b27   |
 | 2    467 *467  | 67   5    9    | 3    1    8    |
 |----------------+----------------+----------------|
 | 59   3    59   | 2    67   67   | 1    8    4    |
 | 4    2    8    | 1    9    5    | 7    3    6    |
 | 67   67   1    | 8    4    3    | 29   29   5    |
 *--------------------------------------------------*
4r6c3-(4=2)r1c37
6r6c3-(6=2)r5c139
7r6c3-(7=2)r2c367 => -2r2c9

[JC Van Hay]

Code: Select all

+--------------------+----------------+----------------+
| 3      8    (49)   | 67    67  24   | 29  5     1    |
| 1      5    6(7)   | 9     3   28   | 68  4     2(7) |
| 67(9)  467  2      | 5     1   48   | 68  (79)  3    |
+--------------------+----------------+----------------+
| 8      1    3      | 4     2   6(7) | 5   6(7)  9    |
| 567    9    567    | 3     8   1    | 4   267   27   |
| 2      467  -67(4) | (67)  5   9    | 3   1     8    |
+--------------------+----------------+----------------+
| 59     3    59     | 2     67  67   | 1   8     4    |
| 4      2    8      | 1     9   5    | 7   3     6    |
| 67     67   1      | 8     4   3    | 29  29    5    |
+--------------------+----------------+----------------+


4r6c3=(4-9)r1c3=9r1c7-(9=7)r3c8-[7r4c8=7r4c6-(7=6)r6c4 AND 7r2c9=7r2c3] :=> -67r6c3; ste

[SteveG48]

Code: Select all

 *--------------------------------------------------*
 | 3    8   e49   | 67   67   24   |d29   5    1    |
 | 1    5   F67   | 9    3    28   | 68   4   G7-2  |
 | 679  467  2    | 5    1    48   | 68  c79   3    |
 *----------------+----------------+----------------|
 | 8    1    3    | 4    2   C67   | 5   b67   9    |
 | 567  9    567  | 3    8    1    | 4   b267 a2-7  |
 | 2    467Ef467  |D67   5    9    | 3    1    8    |
 *----------------+----------------+----------------|
 | 59   3    59   | 2    67   67   | 1    8    4    |
 | 4    2    8    | 1    9    5    | 7    3    6    |
 | 67   67   1    | 8    4    3    | 29   29   5    |
 *--------------------------------------------------*

(2=7)r5c9 - r45c8 = (7-9)r3c8 = r1c7 - (9=4)r1c3 -
                  = (7)r4c6 - (7=6)r6c4          - (46=7)r6c3 - r2c3 = (7)r2c9 => -2 r2c9, -7 r5c9 ; stte


[Leren]

Code: Select all

*--------------------------------------------------------------*
| 3     8   Fc9-4f   | 67    67    24     | 29    5     1      |
| 1     5    B67     | 9     3     28     | 68    4    C27     |
|E679e b467   2      | 5     1     48     | 68   D79d   3      |
|--------------------+--------------------+--------------------|
| 8     1     3      | 4     2     67b    | 5     67c   9      |
| 567   9     567    | 3     8     1      | 4     267   27     |
| 2    a467  A467    | 67a   5     9      | 3     1     8      |
|--------------------+--------------------+--------------------|
| 59    3     59     | 2     67    67     | 1     8     4      |
| 4     2     8      | 1     9     5      | 7     3     6      |
| 67    67    1      | 8     4     3      | 29    29    5      |
*--------------------------------------------------------------*

Kraken Row 6 digit 7:

7 r6c2 - 4 r6c2 = r3c2                       -4  r1c3;
7 r6c3 - r2c3 = r2c9 - (7=9) r3c8 - r3c1 = (9-4) r1c3;
7 r6c4 - r4c6 = r4c8 - (7=9) r3c8 - r3c1 = (9-4) r1c3; => - 4 r1c3; stte

Leren

[pjb]

Code: Select all

 3      8      49     | 67     67     24     | 29     5      1     
 1      5     a67     | 9      3      28     | 68     4     b27     
f79-6   467    2      | 5      1      48     | 68    e79     3     
 ---------------------+----------------------+---------------------
 8      1      3      | 4      2      67     | 5     d67     9     
h567    9      57-6   | 3      8      1      | 4     d267   c27     
 2      467    47-6   | 67     5      9      | 3      1      8     
 ---------------------+----------------------+---------------------
g59     3      59     | 2      67     67     | 1      8      4     
 4      2      8      | 1      9      5      | 7      3      6     
 67     67     1      | 8      4      3      | 29     29     5     

(6=7)r2c3 - (7=2)r2c9 - (2=7)r5c9* - r45c8 = (7-9)r3c8 = r3c1 - (9=5)r7c1 - (57=6)r5c1* => -6 r3c1, r56c3; stte



Phil

[SteveG48]

Code: Select all

 3      8      49     | 67     67     24     | 29     5      1     
 1      5     a67     | 9      3      28     | 68     4     b27     
f79-6   467    2      | 5      1      48     | 68    e79     3     
 ---------------------+----------------------+---------------------
 8      1      3      | 4      2      67     | 5     d67     9     
h567    9      57-6   | 3      8      1      | 4      267   c27     
 2      467    47-6   | 67     5      9      | 3      1      8     
 ---------------------+----------------------+---------------------
g59     3      59     | 2      67     67     | 1      8      4     
 4      2      8      | 1      9      5      | 7      3      6     
 67     67     1      | 8      4      3      | 29     29     5     

(6=7)r2c3 - (7=2)r2c9 - (2=7)r5c9* - r4c8 = (7-9)r3c8 = r3c1 - (9=5)r7c1 - (57=6)r5c1* => -6 r3c1, r56c3; stte



Phil

Phil, did you want term d to be -r45c8 rather than just -r4c8?

[pjb]

SteveG48 wrote:

Phil, did you want term d to be -r45c8 rather than just -r4c8?

Thanks, quite right, corrected on my post
Phil

[daj95376]

_

Reworking a SIN found by my solver => discontinuous network loop.

Code: Select all

 +-----------------------------------------------------+
 |  3    8    9-4  |  67   67   24   |  29   5    1    |
 |  1    5    67   |  9    3    28   |  68   4    27   |
 |  679  467  2    |  5    1    48   |  68   79   3    |
 |-----------------+-----------------+-----------------|
 |  8    1    3    |  4    2    67   |  5    67   9    |
 |  567  9    567  |  3    8    1    |  4    267  27   |
 |  2    467  467  |  67   5    9    |  3    1    8    |
 |-----------------+-----------------+-----------------|
 |  59   3    59   |  2    67   67   |  1    8    4    |
 |  4    2    8    |  1    9    5    |  7    3    6    |
 |  67   67   1    |  8    4    3    |  29   29   5    |
 +-----------------------------------------------------+
 # 38 eliminations remain

 9r1c3 = r1c7 - (9=7*)r3c8 - r2c9 = r5c7 - *r35c1 = r9c1 - (7=6)r9c2 - (*76=4)r3c2 - (4=9)r1c3


Note: =7r3c8 is used to perform -7r3c1 and -7r3c2.

_

[blue]

Code: Select all

+-----------------+----------------+-----------------+
| 3    8    4(9)  | 67    67  24   | 2(9) 5     1    |
| 1    5    (67)  | 9     3   28   | 68   4     2(7) |
| 679  467  2     | 5     1   48   | 68   (79)  3    |
+-----------------+----------------+-----------------+
| 8    1    3     | 4     2   6(7) | 5    6(7)  9    |
| 567  9    7(56) | 3     8   1    | 4    267   27   |
| 2    467  47(6) | (67)  5   9    | 3    1     8    |
+-----------------+----------------+-----------------+
| 59   3    (59)  | 2     67  67   | 1    8     4    |
| 4    2    8     | 1     9   5    | 7    3     6    |
| 67   67   1     | 8     4   3    | 29   29    5    |
+-----------------+----------------+-----------------+


For laughs:

Code: Select all

                                    r2c9 = 7r2c3 ------------ 6r2c3
                                   /                            ||
(5=9)r7c3 - r1c3 = r1c7 - (9=7)r3c8                           6r5c3         => r5c3<>5; stte
                                   \                            ||
                                    r4c8 = r4c6 - (7=6)r6c4 - 6r6c3


                         r2c9 = 7r2c3 ------------ 6r2c3
                        /                            ||
9r1c3 = r1c7 - (9=7)r3c8                           6r5c3 - 5r5c3 = 5r7c3    => r7c3<>9; stte
                        \                            ||
                         r4c8 = r4c6 - (7=6)r6c4 - 6r6c3


          r2c9 = 7r2c3 ------------ 6r2c3
         /                            ||
(9=7)r3c8                           6r5c3 - 5r5c3 = (5-9)r7c3 = 9r1c3       => r1c7<>9; stte
         \                            ||
          r4c8 = r4c6 - (7=6)r6c4 - 6r6c3


7r2c9 = 7r2c3 ------------ 6r2c3
                             ||
                           6r5c3 - 5r5c3 = (5-9)r7c3 = r1c3 - r1c7 = 9r3c8  => r3c8<>7; stte
                             ||
7r4c8 = r4c6 - (7=6)r6c4 - 6r6c3


[daj95376]

_

I spotted the following while preparing my previous solution.

Code: Select all

 potential oddagon(*) for <7> with (g)uardian cells
 +-----------------------------------------------------+
 |  3    8    49   |  67   67   24   |  29   5    1    |
 |  1    5    67   |  9    3    28   |  68   4   *27   |
 | *679 g467  2    |  5    1    48   |  68  *79   3    |
 |-----------------+-----------------+-----------------|
 |  8    1    3    |  4    2    67   |  5    67   9    |
 | *567  9   g567  |  3    8    1    |  4   g267 *27   |
 |  2    467  467  |  67   5    9    |  3    1    8    |
 |-----------------+-----------------+-----------------|
 |  59   3    59   |  2    67   67   |  1    8    4    |
 |  4    2    8    |  1    9    5    |  7    3    6    |
 | g67   67   1    |  8    4    3    |  29   29   5    |
 +-----------------------------------------------------+
 # 38 eliminations remain

 7r3c2                                                -7 r3c8
   ||
 7r5c38 - r5c9 = r2c9                                 -7 r3c8
   ||
 7r9c1 - (7=6)r9c2 - (6=7)r3c2                        -7 r3c8
                       ||
                     (6=4)r3c2 - (4=9)r1c3 - r1c7 = (9-7)r3c8


blue: If you combine your first and second networks, you get a discontinuous network loop => =5r7c3. (typo corrected)

Code: Select all

                                      r2c9 = 7r2c3 ------------ 6r2c3
                                     /                            ||
(5=9)r7c3 - r1c3 = r1c7 - (9=7)r3c8 -                           6r5c3 - 5r5c3 = 5r7c3 ; stte
                                     \                            ||
                                      r4c8 = r4c6 - (7=6)r6c4 - 6r6c3


Note: it appears that all of your networks could be described as Kraken Column [c3] for <6>. BTW, I think your last network truncated too much from the previous network.

_

[blue]

blue: If you combine your first and second networks, you get a discontinuous network loop => =5r7c3. (typo corrected)

Code: Select all

                                      r2c9 = 7r2c3 ------------ 6r2c3
                                     /                            ||
(5=9)r7c3 - r1c3 = r1c7 - (9=7)r3c8 -                           6r5c3 - 5r5c3 = 5r7c3 ; stte
                                     \                            ||
                                      r4c8 = r4c6 - (7=6)r6c4 - 6r6c3


The middle two and last two as well, for r1c3 = 9 or r3c8 = 9 ... neat.
(Thanks for spotting my typo.)

Note: it appears that all of your networks could be described as Kraken Column [c3] for <6>. BTW, I think your last network truncated too much from the previous network.

Absolutely ... Kraken column, 6c3.
The last one, too, is just a flip-flopped Kraken thing ... missing the weak links to the elimination target, like the others.
[ Or (?) is it something showing that "if neither leading candidate is true, then the trailing candidate must be true" -- i.e. that at least one must be true ]

[daj95376]

The last one, too, is just a flip-flopped Kraken thing ... missing the weak links to the elimination target, like the others.
[ Or (?) is it something showing that "if neither leading candidate is true, then the trailing candidate must be true" -- i.e. that at least one must be true ]

I was tired when I wrote that the last network seemed incomplete. However, even then, I had a feeling that maybe I was incorrect. Now that I've slept, I know that your network is correct. Any candidate that forces both ends of the network to be false must itself be false. Basic AIC stuff that I was too tired to see clearly. Sorry!!!

[Marty R.]

Code: Select all

+-------------+----------+-----------+
| 3   8   49  | 67 67 24 | 29 5   1  |
| 1   5   67  | 9  3  28 | 68 4   27 |
| 679 467 2   | 5  1  48 | 68 79  3  |
+-------------+----------+-----------+
| 8   1   3   | 4  2  67 | 5  67  9  |
| 567 9   567 | 3  8  1  | 4  267 27 |
| 2   467 467 | 67 5  9  | 3  1   8  |
+-------------+----------+-----------+
| 59  3   59  | 2  67 67 | 1  8   4  |
| 4   2   8   | 1  9  5  | 7  3   6  |
| 67  67  1   | 8  4  3  | 29 29  5  |
+-------------+----------+-----------+


Play this puzzle online at the Daily Sudoku site

Without bothering with the notation:

1) UR (67) r39c12, using externals of 6 and 7 in r3c78 yields common outcome of r9c2=7
2) XYZ-Wing (467), pivot r6c3=>r5c3<>6