The New Sudoku Players' Forum

[daj95376]

Code: Select all

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

 +--------------------------------------------------------------+
 |  7     2     4     |  9     8     1     |  36    36    5     |
 |  8     3     5     |  6     7     4     |  1     9     2     |
 |  1     6     9     |  35    35    2     |  4     7     8     |
 |--------------------+--------------------+--------------------|
 |  4     9     368   |  7     356   568   |  2     56    1     |
 |  56    7     68    |  2     1     568   |  9     4     3     |
 |  356   1     2     |  345   3456  9     |  68    568   7     |
 |--------------------+--------------------+--------------------|
 |  9     58    36    |  1     2     56    |  7     38    4     |
 |  36    58    1     |  45    456   7     |  38    2     9     |
 |  2     4     7     |  8     9     3     |  5     1     6     |
 +--------------------------------------------------------------+
 # 35 eliminations remain


Play this puzzle online at the Daily Sudoku site

[ArkieTech]

Code: Select all

 *-----------------------------------------------------------*
 | 7     2     4     | 9     8     1     | 36    36    5     |
 | 8     3     5     | 6     7     4     | 1     9     2     |
 | 1     6     9     |*35   *35    2     | 4     7     8     |
 |-------------------+-------------------+-------------------|
 | 4     9     368   | 7     356   568   | 2     56    1     |
 | 56    7     68    | 2     1     568   | 9     4     3     |
 | 356   1     2     |*345  *3456  9     | 68    568   7     |
 |-------------------+-------------------+-------------------|
 | 9     58    36    | 1     2     56    | 7     38    4     |
 | 36    58    1     |*45   *456   7     | 38    2     9     |
 | 2     4     7     | 8     9     3     | 5     1     6     |
 *-----------------------------------------------------------*
dp:453r368c45 => 6r6c5

[SteveG48]

Code: Select all

 *-------------------------------------------------------------*
 |  7     2     4     | 9     8     1     |  36    36    5     |
 |  8     3     5     | 6     7     4     |  1     9     2     |
 |  1     6     9     | 35    35    2     |  4     7     8     |
 *--------------------+-------------------+--------------------|
 |  4     9     368   | 7     356   568   |  2     56    1     |
 | b56    7     68    | 2     1    c568   |  9     4     3     |
 |aA356   1     2     | 345   3456  9     | B68    568   7     |
 *--------------------+-------------------+--------------------|
 |  9    e58    36    | 1     2    d56    |  7     38    4     |
 |hD6-3  f58    1     | 45    456   7     |gC38    2     9     |
 |  2     4     7     | 8     9     3     |  5     1     6     |
 *-------------------------------------------------------------*

Kraken cell [356]r6c1 => -3 r8c1 ; stte

(3)r6c1                                                     - (3)r8c1
   ||
(5)r6c1 - r5c1 = r5c6 - r7c6 = r7c2 - (5=8)r8c2 - (8=3)r8c6 - (3)r8c1     (a)
   ||
(6)r6c1 - (6=8)r6c7                             - (8=3)r8c6 - (3)r8c1     (A)

Or as a chain:

          ---------------------------------(8=6)r6c7-
         /                                           \
(3=8)r8c7                                             (56=3)r6c1 => -3 r8c1
         \                                            /
          - (8=5)r8c2 - r7c2 = r7c6 - r5c6 = (5)r5c1 -



[Sudtyro2]

Code: Select all

 *-----------------------------------------------------------*
 | 7     2     4     | 9     8     1     | 36    36    5     |
 | 8     3     5     | 6     7     4     | 1     9     2     |
 | 1     6     9     |*35   *35    2     | 4     7     8     |
 |-------------------+-------------------+-------------------|
 | 4     9     368   | 7     356   568   | 2     56    1     |
 | 56    7     68    | 2     1     568   | 9     4     3     |
 | 356   1     2     |*345  *3456  9     | 68    568   7     |
 |-------------------+-------------------+-------------------|
 | 9     58    36    | 1     2     56    | 7     38    4     |
 | 36    58    1     |*45   *456   7     | 38    2     9     |
 | 2     4     7     | 8     9     3     | 5     1     6     |
 *-----------------------------------------------------------*
dp:453r268c45 => 6r6c6

Nice DP find, Dan!
I struggled a bit with the single internal 6r6c6 [6r6c5?] assignment, but I assume that's because an assignment of 6r8c5 would not kill the entire 6-cell pattern. IOW, there would still be AUR(35)r36c45 as a potential DP. BTW, minor typos in dp:453r268c45 => 6r6c6?

SteveC

[blue]

I'm confused too. This (below), seems to be valid (in terms of not containing an UA set), even if you stipulated that the pattern includes strong links for 4r6, 4r8, 4c4, 4c5, and 3c4.

Code: Select all

+--------------+----------------+------------+
| 7    2   4   | 9    8     1   | 36  36   5 |
| 8    3   5   | 6    7     4   | 1   9    2 |
| 1    6   9   | 3*   5*    2   | 4   7    8 |
+--------------+----------------+------------+
| 4    9   368 | 7    356   568 | 2   56   1 |
| 56   7   68  | 2    1     568 | 9   4    3 |
| 356  1   2   | 5*   4*    9   | 68  568  7 |
+--------------+----------------+------------+
| 9    58  36  | 1    2     56  | 7   38   4 |
| 36   58  1   | 4*   6*    7   | 38  2    9 |
| 2    4   7   | 8    9     3   | 5   1    6 |
+--------------+----------------+------------+

[ Since the values don't match the actual solution, it's clear that you'ld run into trouble, trying to extend it throughout the grid. ]

[daj95376]

Code: Select all

 +--------------------------------------------------------------+
 |  7     2     4     |  9     8     1     |  36    36    5     |
 |  8     3     5     |  6     7     4     |  1     9     2     |
 |  1     6     9     | *35   *35    2     |  4     7     8     |
 |--------------------+--------------------+--------------------|
 |  4     9    a68-3  |  7   Bg356   568   |  2    f56    1     |
 |  56    7     68    |  2     1     568   |  9     4     3     |
 |  356   1     2     | *345  *345+6 9     | e68    568   7     |
 |--------------------+--------------------+--------------------|
 |  9     58   b36    |  1     2     56    |  7     38    4     |
 | c36    58    1     | *45   *45+6  7     | d38    2     9     |
 |  2     4     7     |  8     9     3     |  5     1     6     |
 +--------------------------------------------------------------+


dp:453r368c45 => 6r6c5 ???

On it's own, Dan's DP seems to only eliminate -6r4c5. However, any assumption that leads to =6r4c5 must be false.

Code: Select all

 3*r4c3 - r7c3 = r8c1 - (3=8)r8c7 - (8=6)r6c7 - (6=5)r4c8 - (*35=6)r4c5 ; DP(345)  =>  -3 r4c3


I don't recall other's notational conventions, but I'm using lowercase letters to designate cells in the primary thread/chain/stream, and I'm using uppercase letters to designate cells where secondary eliminations are remembered. In this grid, <3> is remembered in cell "B" as a secondary elimination from cell "a".

_

[ArkieTech]

Code: Select all

 +--------------------------------------------------------------+
 |  7     2     4     |  9     8     1     |  36    36    5     |
 |  8     3     5     |  6     7     4     |  1     9     2     |
 |  1     6     9     | *35   *35    2     |  4     7     8     |
 |--------------------+--------------------+--------------------|
 |  4     9    a68-3  |  7   Bg356   568   |  2    f56    1     |
 |  56    7     68    |  2     1     568   |  9     4     3     |
 |  356   1     2     | *345  *345+6 9     | e68    568   7     |
 |--------------------+--------------------+--------------------|
 |  9     58   b36    |  1     2     56    |  7     38    4     |
 | c36    58    1     | *45   *45+6  7     | d38    2     9     |
 |  2     4     7     |  8     9     3     |  5     1     6     |
 +--------------------------------------------------------------+


dp:453r368c45 => 6r6c5 ???

On it's own, Dan's DP seems to only eliminate -6r4c5. However, any assumption that leads to =6r4c5 must be false.

Code: Select all

 3*r4c3 - r7c3 = r8c1 - (3=8)r8c7 - (8=6)r6c7 - (6=5)r4c8 - (*35=6)r4c5 ; DP(345)  =>  -3 r4c3


I don't recall other's notational conventions, but I'm using lowercase letters to designate cells in the primary thread/chain/stream, and I'm using uppercase letters to designate cells where secondary eliminations are remembered. In this grid, <3> is remembered in cell "B" as a secondary elimination from cell "a".

_

I saw something to remove the 6 from r8c5......Hallucination?

[blue]

Code: Select all

+-----------------+-----------------+--------------+
| 7     2   4     | 9    8      1   | 36  36     5 |
| 8     3   5     | 6    7      4   | 1   9      2 |
| 1     6   9     | 35   35     2   | 4   7      8 |
+-----------------+-----------------+--------------+
| 4     9   68(3) | 7    (356)  568 | 2   6(5)   1 |
| 56    7   68    | 2    1      568 | 9   4      3 |
| 356   1   2     | 345  3456   9   | 68  6(58)  7 |
+-----------------+-----------------+--------------+
| 9     58  6(+3) | 1    2      56  | 7   (38)   4 |
| (36)  58  1     | 45   45(6)  7   | 38  2      9 |
| 2     4   7     | 8    9      3   | 5   1      6 |
+-----------------+-----------------+--------------+

Code: Select all

3r4c5 - r4c3 ========================= 3r7c3
  ||
5r4c5 - r4c8 = (5-8)r6c8 = (8-3)r7c8 = 3r7c3
  ||
6r4c5 - r8c5 = (6-3)r8c1 ============= 3r7c3

=> r7c3=3; stte

[daj95376]

Code: Select all

 +--------------------------------------------------------------+
 |  7     2     4     |  9     8     1     |  36    36    5     |
 |  8     3     5     |  6     7     4     |  1     9     2     |
 |  1     6     9     | *35   *35    2     |  4     7     8     |
 |--------------------+--------------------+--------------------|
 |  4     9    a68-3  |  7   Bg356   568   |  2    f56    1     |
 |  56    7     68    |  2     1     568   |  9     4     3     |
 |  356   1     2     | *345  *345+6 9     | e68    568   7     |
 |--------------------+--------------------+--------------------|
 |  9     58   b36    |  1     2     56    |  7     38    4     |
 | c36    58    1     | *45   *45+6  7     | d38    2     9     |
 |  2     4     7     |  8     9     3     |  5     1     6     |
 +--------------------------------------------------------------+


dp:453r368c45 => 6r6c5 ???

On it's own, Dan's DP seems to only eliminate -6r4c5. However, any assumption that leads to =6r4c5 must be false.

Code: Select all

 3*r4c3 - r7c3 = r8c1 - (3=8)r8c7 - (8=6)r6c7 - (6=5)r4c8 - (*35=6)r4c5 ; DP(345)  =>  -3 r4c3


I don't recall other's notational conventions, but I'm using lowercase letters to designate cells in the primary thread/chain/stream, and I'm using uppercase letters to designate cells where secondary eliminations are remembered. In this grid, <3> is remembered in cell "B" as a secondary elimination from cell "a".

_

I saw something to remove the 6 from r8c5......Hallucination?

No, all you need is to use the same cells that I used ... plus one. You then turn them into a discontinuous (network) loop with a lasso.

Code: Select all

 6*r8c5 - (6=3)r8c1 - r7c3 = r4c3 - (*63=5)r4c5 - (5=6)r4c8 - (6=8)r6c7 - (8=3)r8c7 - (3=6)r8c1 - 6r8c5

 -or-

 6r4c5 = [(6=3)r8c1 - r7c3 = r4c3 - (3=5)r4c5 - (5=6)r4c8 - (6=8)r6c7 - (8=3)r8c7 - (3=6)r8c1]  =>  -6 r8c5


I never had any use for a lasso until I started working single-stepper network solutions. Here, the lasso occurs in/between cells r8c1 and r8c5.

_

[Sudtyro2]

Code: Select all

 +--------------------------------------------------------------+
 |  7     2     4     |  9     8     1     |  36    36    5     |
 |  8     3     5     |  6     7     4     |  1     9     2     |
 |  1     6     9     | *35   *35    2     |  4     7     8     |
 |--------------------+--------------------+--------------------|
 |  4     9     683   |  7    356    568   |  2     56    1     |
 |  56    7     68    |  2     1     568   |  9     4     3     |
 |  356   1     2     | *345  *345+6 9     |  68    568   7     |
 |--------------------+--------------------+--------------------|
 |  9     58    36    |  1     2     56    |  7     38    4     |
 |  36    58    1     | *45   *45+6  7     |  38    2     9     |
 |  2     4     7     |  8     9     3     |  5     1     6     |
 +--------------------------------------------------------------+

Based on postings above consider the following 3-element SIS:

Code: Select all

6r4c5 => DP(345) => -6r4c5
 ||
6r6c5 => avoids DP(345)
 ||
6r8c5 => r4c5[Empty] => -6r8c5

=> 6r6c5; ste

As a DP newbie there must be an obvious flaw in this logic.

SteveC