The New Sudoku Players' Forum

[daj95376]

Code: Select all

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

 +--------------------------------------------------------------------------------+
 |  9       7       14      |  26      8       5       |  1246    3       126     |
 |  6       2       3       |  9       17      4       |  5       17      8       |
 |  14      8       5       |  26      17      3       |  124679  12479   12679   |
 |--------------------------+--------------------------+--------------------------|
 |  12      9       7       |  4       3       6       |  8       5       12      |
 |  8       3       12      |  5       9       7       |  12      6       4       |
 |  5       46      46      |  8       2       1       |  3       79      79      |
 |--------------------------+--------------------------+--------------------------|
 |  3       46      2469    |  1       5       8       |  24679   2479    2679    |
 |  7       1       2689    |  3       4       29      |  269     289     5       |
 |  24      5       2489    |  7       6       29      |  1249    12489   3       |
 +--------------------------------------------------------------------------------+
 # 67 eliminations remain


Play this puzzle online at the Daily Sudoku site

concurrently present eliminations crack puzzle: Show

Code: Select all

 finned mutant Swordfish r15c8\r9c3b3  -1  r 9c7
 finned        X-Wing    r57\c37       -2  r89c7
 finned        X-Wing    c18\r39       -4  r 9c7


_

[pjb]

Code: Select all

 9      7     b14     | 26     8      5      |c1246    3      126   
 6      2      3      | 9      17     4      | 5       17     8     
e14     8      5      | 26     17     3      |d124679 d12479  12679 
 ---------------------+----------------------+----------------------
 12     9      7      | 4      3      6      | 8       5      12     
 8      3     a12     | 5      9      7      | 2-1     6      4     
 5      46     46     | 8      2      1      | 3       79     79     
 ---------------------+----------------------+----------------------
 3      46     2469   | 1      5      8      | 24679   2479   2679   
 7      1      2689   | 3      4      29     | 269     289    5     
f24     5      2489   | 7      6     g29     |h1249    12489  3     


Ignoring the 2 type-1 DPs:
(1)r5c3 = (1-4)r1c3 = r1c7* - r3c78 = r3c1 - (4=2)r9c1^ - (2=9)r9c6 - (249=1)r9c7*^ => -1 r5c7; stte

Phil

[Leren]

Code: Select all

*--------------------------------------------------------------------------------*
| 9       7     Fc4-1cE    | 26      8       5        | 1246b   3       126      |
| 6       2       3        | 9       17      4        | 5       17      8        |
|b14      8       5        | 26      17      3        | 124679  12479   12679    |
|--------------------------+--------------------------+--------------------------|
| 12      9       7        | 4       3       6        | 8       5       12       |
| 8       3      E12D      | 5       9       7        |D12C     6       4        |
| 5       46      46       | 8       2       1        | 3       79      79       |
|--------------------------+--------------------------+--------------------------|
| 3       46      2469     | 1       5       8        | 24679   2479    2679     |
| 7       1       2689     | 3       4       29       | 269     289     5        |
|a24      5       A2489    | 7       6       29       |C1249aB B12489A  3        |
*--------------------------------------------------------------------------------*

Kraken Row 9 Digit 4:

4 r9c1 - r3c1 = r1c3                              - 1 r1c3;

4 r9c3 - 8 r9c3 = (8-1) r9c8 = r9c7 - r5c7 = r5c3 - 1 r1c3;

4 r9c7 - r1c7 = r1c3                              - 1 r1c3;

4 r9c8 - 1 r9c8 = r9c7 - r5c7 = r5c3              - 1 r1c3; => - 1 r1c3; stte

Leren

[tlanglet]

Still working on my "Oddagons", and hopefully I have identified all the guardians on this attempt...............

Code: Select all

 *-----------------------------------------------------------------------------*
 | 9       7      *14      | 26      8       5       |G1246    3      *126     |
 | 6       2       3       | 9       17      4       | 5       7-1     8       |
 |*14      8       5       | 26      17      3       | 24679-1 2479-1 G12679   |
 |-------------------------+-------------------------+-------------------------|
 |*12      9       7       | 4       3       6       | 8       5      *12      |
 | 8       3       12      | 5       9       7       | 12      6       4       |
 | 5       46      46      | 8       2       1       | 3       79      79      |
 |-------------------------+-------------------------+-------------------------|
 | 3       46      2469    | 1       5       8       | 24679   2479    2679    |
 | 7       1       2689    | 3       4       29      | 269     289     5       |
 | 24      5       2489    | 7       6       29      | 1249    12489   3       |
 *-----------------------------------------------------------------------------*


Oddagon(1) r1c39,r3c1, r4c19 with guardians 1r1c7 & 1r3c9
1r1c7 => r2c8,r3c78<>1
||
1r3c9 => r2c8r3c78<>1

The first Oddogan did not complete the puzzle, but I found a second Oddogon that killed the beast.

Code: Select all

*-----------------------------------------------------------*
 | 9     7    *14    | 26    8     5     |*1246  3     126   |
 | 6     2     3     | 9     1     4     | 5     7     8     |
 |$14    8     5     | 26    7     3     |G269=4 24    1269  |
 |-------------------+-------------------+-------------------|
 | 12    9     7     | 4     3     6     | 8     5     12    |
 | 8     3     12    | 5     9     7     | 12    6     4     |
 | 5     46    46    | 8     2     1     | 3     9     7     |
 |-------------------+-------------------+-------------------|
 | 3     46    2469  | 1     5     8     | 7     24    269   |
 | 7     1     269   | 3     4     29    | 269   8     5     |
 |*24    5     8     | 7     6     29    |*249   1     3     |
 *-----------------------------------------------------------*

Oddagon(4) r1c37, r3c1, r9c17 with single guardian 4r3c7 => r3c4=4

Ted

[daj95376]

Still working on my "Oddagons", and hopefully I have identified all the guardians on this attempt...............

Code: Select all

 *-----------------------------------------------------------------------------*
 | 9       7      *14      | 26      8       5       |G1246    3      *126     |
 | 6       2       3       | 9       17      4       | 5       7-1     8       |
 |*14      8       5       | 26      17      3       | 24679-1 2479-1 G12679   |
 |-------------------------+-------------------------+-------------------------|
 |*12      9       7       | 4       3       6       | 8       5      *12      |
 | 8       3       12      | 5       9       7       | 12      6       4       |
 | 5       46      46      | 8       2       1       | 3       79      79      |
 |-------------------------+-------------------------+-------------------------|
 | 3       46      2469    | 1       5       8       | 24679   2479    2679    |
 | 7       1       2689    | 3       4       29      | 269     289     5       |
 | 24      5       2489    | 7       6       29      | 1249    12489   3       |
 *-----------------------------------------------------------------------------*


Oddagon(1) r1c39,r3c1, r4c19 with guardians 1r1c7 & 1r3c9
1r1c7 => r2c8,r3c78<>1
||
1r3c9 => r2c8r3c78<>1

You found the guardian cells, but you missed the elimination -1r1c9. This results in a <26> Naked Pair in [r1] for -26r1c7 before stopping.

_

[JC Van Hay]

Solving C1 ...

Code: Select all

+----------------+--------------+----------------------+
| 9     7   1(4) | 26  8   5    | 126(4)  3      126   |
| 6     2   3    | 9   17  4    | 5       17     8     |
| (14)  8   5    | 26  17  3    | 124679  12479  12679 |
+----------------+--------------+----------------------+
| (12)  9   7    | 4   3   6    | 8       5      12    |
| 8     3   2(1) | 5   9   7    | 2(1)    6      4     |
| 5     46  46   | 8   2   1    | 3       79     79    |
+----------------+--------------+----------------------+
| 3     46  2469 | 1   5   8    | 24679   2479   2679  |
| 7     1   2689 | 3   4   29   | 269     289    5     |
| 4-2   5   2489 | 7   6   (29) | (1249)  12489  3     |
+----------------+--------------+----------------------+
2r9c1
2r4c1 1r4c1
      1r3c1 4r3c1
            4r1c3 4r1c7
      1r5c3             1r5c7
2r9c6                         9r9c6
2r9c7             4r9c7 1r9c7 9r9c7


-> AALS(29 14)r9c67 :=> (2)[r4c1==r9c6==r9c7]-(2=4)r9c1; stte

-> (29)r9c67=*[1r5c3=1r5c7-(1=*4)r9c7-4r1c7=4r1c3-(4=1)r3c1]-(1=2)r4c1 :=> -2r9c1; stte

[tlanglet]

You found the guardian cells, but you missed the elimination -1r1c9. This results in a <26> Naked Pair in [r1] for -26r1c7 before stopping.
_

Thanks for the comments Danny. I have no idea why I missed the deletion but at least it did not result in a one stepper,

Ted

[daj95376]

Solving C1 ...

Code: Select all

+----------------+--------------+----------------------+
| 9     7   1(4) | 26  8   5    | 126(4)  3      126   |
| 6     2   3    | 9   17  4    | 5       17     8     |
| (14)  8   5    | 26  17  3    | 124679  12479  12679 |
+----------------+--------------+----------------------+
| (12)  9   7    | 4   3   6    | 8       5      12    |
| 8     3   2(1) | 5   9   7    | 2(1)    6      4     |
| 5     46  46   | 8   2   1    | 3       79     79    |
+----------------+--------------+----------------------+
| 3     46  2469 | 1   5   8    | 24679   2479   2679  |
| 7     1   2689 | 3   4   29   | 269     289    5     |
| 4-2   5   2489 | 7   6   (29) | (1249)  12489  3     |
+----------------+--------------+----------------------+
2r9c1
2r4c1 1r4c1
      1r3c1 4r3c1
            4r1c3 4r1c7
      1r5c3             1r5c7
2r9c6                         9r9c6
2r9c7             4r9c7 1r9c7 9r9c7   <- Kraken Cell


-> AALS(29 14)r9c67

Hmmm!!!

It just hit me that your matrix has the benefit of having a contradiction, in its final column for <9>, and the elimination in the same unit. Thus, the AALS shortcut.

Code: Select all

 (29)r9c67 = 4r9c7 - r1c7 = r1c3 - (4=1)r3c1
               ||                            \
             1r9c7 - r5c7 = r5c3              - (1=2)r4c1  =>  -2 r9c1


_

[blue]

Solving C1 ...

Code: Select all

(...)

2r9c1
2r4c1 1r4c1
      1r3c1 4r3c1
            4r1c3 4r1c7
      1r5c3             1r5c7
2r9c6                         9r9c6
2r9c7             4r9c7 1r9c7 9r9c7   <- Kraken Cell


-> AALS(29 14)r9c67

Hmmm!!!

It just hit me that your matrix has the benefit of having a contradiction, in its final column for <9>, and the elimination in the same unit.

Interesting take on where the contradiction lies ! Now I understand why your "triangular/forbidding matrix" representations have an '=' in front of both candidates in the right hand column.

I always think of the contradiction as being in the bottom row, when there's no candidate left to hold a "truth", after the items along the diagonal have been forced.

Nothing wrong with either view ...

P.S.: This reminds me of a conversation from a few years back, on the Programmers Forum. Hello Mike Metcalf !

[daj95376]

Interesting take on where the contradiction lies ! Now I understand why your "triangular/forbidding matrix" representations have an '=' in front of both candidates in the right hand column.

I always think of the contradiction as being in the bottom row, when there's no candidate left to hold a "truth", after the items along the diagonal have been forced.

Nothing wrong with either view ...

P.S.: This reminds me of a conversation from a few years back, on the Programmers Forum. Hello Mike Metcalf !

Here's the grid after performing the assignments in JC's first five lines of the matrix:

Code: Select all

 *-----------------------------------------------------------------------*
 |  9      7      1      |  26     8      5      | =4      3      126    |
 |  6      2      3      |  9      17     4      |  5      17     8      |
 | =4      8      5      |  26     17     3      |  2679   1279   12679  |
 |-----------------------+-----------------------+-----------------------|
 | =1      9      7      |  4      3      6      |  8      5      2      |
 |  8      3      2      |  5      9      7      | =1      6      4      |
 |  5      46     46     |  8      2      1      |  3      79     79     |
 |-----------------------+-----------------------+-----------------------|
 |  3      46     469    |  1      5      8      |  2679   2479   2679   |
 |  7      1      689    |  3      4      29     |  269    289    5      |
 | =2      5      489    |  7      6     *9      | *9      1489   3      |
 *-----------------------------------------------------------------------*

 2r9c1
 2r4c1 1r4c1
       1r3c1 4r3c1
             4r1c3 4r1c7
       1r5c3             1r5c7


My solver would detect a contradiction in [r9] for <9> and return:

Code: Select all

 2r9c1 1r4c1 4r3c1 4r1c7 1r5c7 [r9]=+9


This can be written using JC's last two lines in the matrix:

Code: Select all

 2r9c1
 2r4c1 1r4c1
       1r3c1 4r3c1
             4r1c3 4r1c7
       1r5c3             1r5c7

 2r9c6                         9r9c6
 2r9c7             4r9c7 1r9c7 9r9c7


Or, using an alternate ordering on the last two lines:

Code: Select all

 2r9c1
 2r4c1 1r4c1
       1r3c1 4r3c1
             4r1c3 4r1c7
       1r5c3             1r5c7

 2r9c7             4r9c7 1r9c7 9r9c7
 2r9c6                         9r9c6


FWIW, the alternate version can be rewritten as:

Code: Select all

  2r9c7 = ...

[ 2r4c1 1r4c1                               ]
[       1r3c1 4r3c1                         ]
[             4r1c3 4r1c7                   ]
[       1r5c3             1r5c7             ]
[                   4r9c7 1r9c7 9r9c7       ]
[                               9r9c6 2r9c6 ]  ->  2r4c1 = 2r9c6

 => -2 r9c1


_