The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |...|...|5.4|
 |7..|.3.|..8|
 |..9|1..|62.|
 |---+---+---|
 |..3|...|.17|
 |...|...|...|
 |68.|...|4..|
 |---+---+---|
 |.16|..3|7..|
 |5..|.4.|..9|
 |3.2|...|...|
 *-----------*


Play/Print this puzzle online

[pjb]

Code: Select all

2      3      1      | 689    689    689    | 5      7      4     
7      6      45     | 245    3      245    | 1      9      8     
8      45     9      | 1      57     457    | 6      2      3     
---------------------+----------------------+---------------------
49    *2459   3      | 24568 *2568   24568  | 9-2    1      7     
1     *2459   45     | 23457 *257    2457   | 39-2   8      6     
6      8      7      | 239    1      29     | 4      35     25     
---------------------+----------------------+---------------------
49     1      6      | 2589  a2589   3      | 7      45     25     
5      7      8      |b26     4      1      |c23     36     9     
3      49     2      | 5679   5679   5679   | 8      456    1     


Kraken X-wing of 2s at r45c25, fin at r7c5 with (2)r7c5 - r8c4 = r8c7 => -2 r45c7; stte

Phil

[SteveG48]

Code: Select all

 *--------------------------------------------------------------------*
 | 2      3      1      | 689    689    689    | 5      7      4      |
 | 7      6      45     | 245    3      245    | 1      9      8      |
 | 8      45     9      | 1      57     457    | 6      2      3      |
 *----------------------+----------------------+----------------------|
 | 49     2459   3      | 24568 d2568   24568  | 29     1      7      |
 | 1      2459   45     | 23457 d257    2457   | 239    8      6      |
 | 6      8      7      | 39-2   1      9-2    | 4      35    a25     |
 *----------------------+----------------------+----------------------|
 | 49     1      6      | 2589  c2589   3      | 7      45    b25     |
 | 5      7      8      | 26     4      1      | 23     36     9      |
 | 3      49     2      | 5679   5679   5679   | 8      456    1      |
 *--------------------------------------------------------------------*


(2)r6c9 = r7c9 - r7c5 = r45c5 => -2 r6c46 ; stte

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 2     3     1      | 689   689   689    | 5     7     4      |
| 7     6     45     |*245   3    *245    | 1     9     8      |
| 8     45    9      | 1     57    457    | 6     2     3      |
|--------------------+--------------------+--------------------|
| 49    2459  3      | 24568 2568  24568  | 29    1     7      |
| 1     2459  45     | 23457 257   2457   | 239   8     6      |
| 6     8     7      |*239   1    *29     | 4     35   @25a    |
|--------------------+--------------------+--------------------|
| 49    1     6      | 2589  2589  3      | 7     45    25b    |
| 5     7     8      | 6-2   4     1      | 23c   36    9      |
| 3     49    2      | 5679  5679  5679   | 8     456   1      |
*--------------------------------------------------------------*

Finned XWing (2) r26c46; fin transport r6c9 - r7c9 = r8c7 => - 2 r8c4; stte

Leren

[tlanglet]

Code: Select all

 *--------------------------------------------------------------------*
 | 2      3      1      | 689    689    689    | 5      7      4      |
 | 7      6      45     |c245    3     d245    | 1      9      8      |
 | 8      45     9      | 1      57     457    | 6      2      3      |
 |----------------------+----------------------+----------------------|
 | 49     2459   3      | 4568-2 568-2  4568-2 | 29     1      7      |
 | 1      29-45 *45     |*23457 *257   *2457   | 239    8      6      |
 | 6      8      7      |*23=9   1      -2     | 4     a35     25     |
 |----------------------+----------------------+----------------------|
 | 49     1      6      | 2589   2589   3      | 7      45     25     |
 | 5      7      8      |b26     4      1      | 23    b36     9      |
 | 3      49     2      | 5679   5679   5679   | 8      456    1      |
 *--------------------------------------------------------------------*


Almost Sue de Coq (23457)r5c456 with (45)r5c3, (23=9)r6c4
SdC => r4c456,r6c6<>2 r5c2<>45
||
(9-3)r6c4=3r6c8-(3=62)r8c84-2r2c4=2r2c6-(2=9)r6c6 Contradiction => r6c4<>9

Thus the SdC is true => r4c456,r6c6<>2 r5c2<>45

Such a find step, but sorry to state that simple coloring on (2) was required to complete the puzzle.

So, I looked into the situation with 2s and found an Almost oddagon: 2r6c49,2r7c9,2r8c47 with an extra 2 in r6c6.

Code: Select all

 *--------------------------------------------------------------------*
 | 2      3      1      | 689    689    689    | 5      7      4      |
 | 7      6      45     |d245    3     e245    | 1      9      8      |
 | 8      45     9      | 1      57     457    | 6      2      3      |
 |----------------------+----------------------+----------------------|
 | 49     2459   3      | 24568  2568   24568  | 29     1      7      |
 | 1      2459   45     | 23457  257    2457   | 239    8      6      |
 | 6      8      7      |*239    1     a29     | 4     b35   *b25     |
 |----------------------+----------------------+----------------------|
 | 49     1      6      | 2589   2589   3      | 7      45    *25     |
 | 5      7      8      |*c26    4      1      |*23    c36     9      |
 | 3      49     2      | 5679   5679   5679   | 8      456    1      |
 *--------------------------------------------------------------------*


oddagon(2) => r6c49,r7c9,r8c47<>2
||
2r6c6-(2=53)r6c98-(3=62)r8c84-2r2c4=2r2c6 Contradiction => r6c6<>2

Thus the oddogan(2) it true => r6c4,r7c9,r8c4<>2 to complete the puzzle.

Ted

[ArkieTech]

Code: Select all

 *--------------------------------------------------------------------*
 | 2      3      1      | 689    689    689    | 5      7      4      |
 | 7      6      45     | 245    3      245    | 1      9      8      |
 | 8      45     9      | 1      57     457    | 6      2      3      |
 |----------------------+----------------------+----------------------|
 | 49     2459   3      | 24568  2568   24568  | 29     1      7      |
 | 1      2459   45     | 23457  257    2457   | 239    8      6      |
 | 6      8      7      | 239    1      29     | 4      35     25     |
 |----------------------+----------------------+----------------------|
 | 49     1      6      | 2589   2589   3      | 7      45     25     |
 | 5      7      8      | 26     4      1      | 23     36     9      |
 | 3      49     2      | 5679   5679   5679   | 8      456    1      |
 *--------------------------------------------------------------------*
2r6c9=r6c46-r45c5=r7c5-r7c9=2r6c9 => 2r6c9; ste

[Marty R.]

Code: Select all

+------------+------------------+------------+
| 2  3    1  | 689   689  689   | 5   7   4  |
| 7  6    45 | 245   3    245   | 1   9   8  |
| 8  45   9  | 1     57   457   | 6   2   3  |
+------------+------------------+------------+
| 49 2459 3  | 24568 2568 24568 | 29  1   7  |
| 1  2459 45 | 23457 257  2457  | 239 8   6  |
| 6  8    7  | 239   1    29    | 4   35  25 |
+------------+------------------+------------+
| 49 1    6  | 2589  2589 3     | 7   45  25 |
| 5  7    8  | 26    4    1     | 23  36  9  |
| 3  49   2  | 5679  5679 5679  | 8   456 1  |
+------------+------------------+------------+


Play this puzzle online at the Daily Sudoku site

Same eliminations as Steve with longer and less efficient notation.

2r2c6=r2c4-(2=6)r8c4-(6=3)r8c8-(3=5)r6c8-(5=2)r6c9=>r6c46<>2

[DonM]

So, I looked into the situation with 2s and found an Almost oddagon: 2r6c49,2r7c9,2r8c47 with an extra 2 in r6c6.

Code: Select all

 *--------------------------------------------------------------------*
 | 2      3      1      | 689    689    689    | 5      7      4      |
 | 7      6      45     |d245    3     e245    | 1      9      8      |
 | 8      45     9      | 1      57     457    | 6      2      3      |
 |----------------------+----------------------+----------------------|
 | 49     2459   3      | 24568  2568   24568  | 29     1      7      |
 | 1      2459   45     | 23457  257    2457   | 239    8      6      |
 | 6      8      7      |*239    1     a29     | 4     b35   *b25     |
 |----------------------+----------------------+----------------------|
 | 49     1      6      | 2589   2589   3      | 7      45    *25     |
 | 5      7      8      |*c26    4      1      |*23    c36     9      |
 | 3      49     2      | 5679   5679   5679   | 8      456    1      |
 *--------------------------------------------------------------------*


oddagon(2) => r6c49,r7c9,r8c47<>2
||
2r6c6-(2=53)r6c98-(3=62)r8c84-2r2c4=2r2c6 Contradiction => r6c6<>2

Thus the oddogan(2) it true => r6c4,r7c9,r8c4<>2 to complete the puzzle.

Ted

Ted, I'm having trouble with the SIS between the oddagon and 2r6c6 (which I believe assumes just the one guardian). Don't all those other guardian 2s in c4 (2r2457) complicate things? Or is it too late at night for me to be indulging in eye-ball level logic?

Don

[daj95376]

_

Ted's Almost Oddagon from a slightly different perspective.

Code: Select all

 Almost Oddagon(2): r6c49,r7c9,r8c47 w/guardian cells r2457c4,r6c6
 +-----------------------------------------------------------------------+
 |  2      3      1      |  689    689    689    |  5      7      4      |
 |  7      6      45     | g245    3      245    |  1      9      8      |
 |  8      45     9      |  1      57     457    |  6      2      3      |
 |-----------------------+-----------------------+-----------------------|
 |  49     2459   3      | g24568  2568   24568  |  29     1      7      |
 |  1      2459   45     | g23457  257    2457   |  239    8      6      |
 |  6      8      7      | *239    1     g29     |  4      35    *25     |
 |-----------------------+-----------------------+-----------------------|
 |  49     1      6      | g2589   2589   3      |  7      45    *25     |
 |  5      7      8      | *26     4      1      | *23     36     9      |
 |  3      49     2      |  5679   5679   5679   |  8      456    1      |
 +-----------------------------------------------------------------------+
 # 75 eliminations remain


Now, all guardian cells directly see and lead to r6c4<>2, but this doesn't crack the puzzle. However, the first four guardian cells directly see r8c4 as well. All that's needed is to treat r6c6 as a remote/Kraken candidate:

Code: Select all

 (2): r6c6 - r2c6 = r2c4 - (2)r68c4   q.e.d.


[tlanglet]

Don, I do not understand all the ramifications of the term "guardian", and hope the input from Danny answers your question. I simply viewed the pattern as an "almost" condition and then determined that the extra digit, 2r6c6, was not valid thereby making the oddagon true.

Thanks Danny for your assistance.............

Ted

[ronk]

So, I looked into the situation with 2s and found an Almost oddagon: 2r6c49,2r7c9,2r8c47 with an extra 2 in r6c6.
oddagon(2) => r6c49,r7c9,r8c47<>2
||
2r6c6-(2=53)r6c98-(3=62)r8c84-2r2c4=2r2c6 Contradiction => r6c6<>2

Thus the oddogan(2) it true => r6c4,r7c9,r8c4<>2 to complete the puzzle.

Strictly speaking, an oddagon is always false. Following daj95376's description, at least one of guardians (2)r2457c4 and (2)r6c6 must be true.

oddagon (2)r6c49,r7c9,r8c47: at least one of which must be false
||
(2)r2457c4
||
(2)r6c6 - (2)r2c6 = (2)r2c4 => r68c4<>2