The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |...|..6|153|
 |...|..8|..9|
 |..5|.21|8.7|
 |---+---+---|
 |..4|9.2|..6|
 |...|.7.|...|
 |7..|1.3|2..|
 |---+---+---|
 |8.2|46.|3..|
 |6..|8..|...|
 |537|2..|...|
 *-----------*


Play/Print this puzzle online

[Leren]

Code: Select all

*--------------------------------------------------------------------------------*
| 4       2       8        | 7       9       6        | 1       5       3        |
| 13      7       13       | 5       4       8        | 6       2       9        |
| 9       6       5        | 3       2       1        | 8       4       7        |
|--------------------------+--------------------------+--------------------------|
|E13      158b    4        | 9       58      2        | 57     D1378D   6        |
| 2       1589    139      | 6       7       4        | 59      1389    15C      |
| 7       589     6        | 1       58      3        | 2       89      4        |
|--------------------------+--------------------------+--------------------------|
| 8     Aa9-1aA   2        | 4       6       57       | 3     CB179     15B      |
| 6       4      b19       | 8       3       57       | 579   Cc179     2        |
| 5       3       7        | 2       1       9        | 4       6       8        |
*--------------------------------------------------------------------------------*

Forcing Chain Contradiction in Row 4 Digit 1: 

1r7c2 - 1r8c3 = 1r8c8;
1r7c2 - 9r7c2 = 9r7c8 *- 7r78c8 = (7-3) r4c8 = (3-1) r4c1;
1r7c2                                           - 1  r4c2;
1r7c2 - 1r7c9 = 1r5c9                           - 1  r4c8; => - 1 r7c2; stte

Leren

[SteveG48]

Code: Select all

 *-----------------------------------------------------------*
 | 4    2      8     | 7     9     6     | 1     5     3     |
 | 13   7      13    | 5     4     8     | 6     2     9     |
 | 9    6      5     | 3     2     1     | 8     4     7     |
 *-------------------+-------------------+-------------------|
 | 13   158    4     | 9     58    2     | 57    1378  6     |
 | 2    1589 af139   | 6     7     4     | 5-9  a1389 b15    |
 | 7    589    6     | 1     58    3     | 2     89    4     |
 *-------------------+-------------------+-------------------|
 | 8   d19     2     | 4     6     57    | 3     179  c15    |
 | 6    4     e19    | 8     3     57    | 579   179   2     |
 | 5    3      7     | 2     1     9     | 4     6     8     |
 *-----------------------------------------------------------*

Not sure about the writeup here:

(89=13)r5c38 - (1)r5c9 = r7c9 - r7c2 = (1-9)r8c3 = (9)r5c3 => r5c3=9           => -9 r5c7
                                                               ||
                                                              r5c8=9           => -9 r5c7
                                                               ||
                                                              r5c8=8 => r6c8=9 => -9 r5c7 ; stte


[7b53]

maybe someone should rewrite this... DP(13)r2c13, r4c18, r5c38.

(1=9)r8c3 -> 9r7c8 -> 8r6c8 -> DP(13) = 7r4c8 -> (58)r4c57 - (58=1)r4c2 => r7c2, r5c3 <> 1

[pjb]

Code: Select all

4      2      8      | 7      9      6      | 1      5      3     
13     7      13     | 5      4      8      | 6      2      9     
9      6      5      | 3      2      1      | 8      4      7     
---------------------+----------------------+---------------------
13    d158    4      | 9     d58     2      |c57     1378   6     
2      1589   39-1   | 6      7      4      | 59     1389   15     
7      589    6      | 1      58     3      | 2      89     4     
---------------------+----------------------+---------------------
8     B9-1    2      | 4      6      57     | 3      179   C15     
6      4    aA19     | 8      3      57     |b579    179    2     
5      3      7      | 2      1      9      | 4      6      8     


(1)r8c3 = r7c2 - (1=5)r7c9 - r8c7
(1=9)r8c3 - (59=7)r8c7 - (7=5)r4c7 - (5=18)r4c25 => -1 r5c3, r7c2; stte

Phil

[JC Van Hay]

Eventually simplified ...

Leren's solution :

Code: Select all

+-------------------+-----------+-----------------+
| 4     2      8    | 7  9   6  | 1    5       3  |
| 13    7      13   | 5  4   8  | 6    2       9  |
| 9     6      5    | 3  2   1  | 8    4       7  |
+-------------------+-----------+-----------------+
| (13)  58(1)  4    | 9  58  2  | 57   8(137)  6  |
| 2     1589   39-1 | 6  7   4  | 59   1389    15 |
| 7     589    6    | 1  58  3  | 2    89      4  |
+-------------------+-----------+-----------------+
| 8     -1(9)  2    | 4  6   57 | 3    1(79)   15 |
| 6     4      9(1) | 8  3   57 | 579  9(17)   2  |
| 5     3      7    | 2  1   9  | 4    6       8  |
+-------------------+-----------+-----------------+


1r4c2=HP(13-7)r4c18=*L3Wing[9r7c2=(9-7)r7c8=*(7-1)r8c8=1r8c3] :=> -1r5c3,r7c2; ste

Steve's solution :

Code: Select all

+------------------+-----------+-------------------+
| 4   2     8      | 7  9   6  | 1    5       3    |
| 13  7     13     | 5  4   8  | 6    2       9    |
| 9   6     5      | 3  2   1  | 8    4       7    |
+------------------+-----------+-------------------+
| 13  158   4      | 9  58  2  | 57   1378    6    |
| 2   1589  (39-1) | 6  7   4  | 5-9  (1389)  5(1) |
| 7   589   6      | 1  58  3  | 2    (89)    4    |
+------------------+-----------+-------------------+
| 8   9(1)  2      | 4  6   57 | 3    179     5(1) |
| 6   4     (19)   | 8  3   57 | 579  179     2    |
| 5   3     7      | 2  1   9  | 4    6       8    |
+------------------+-----------+-------------------+


(89)r56c8=*[9r5c3=9r8c3-ER(1r8c3=1r7c2-1r7c9=1r5c9)-(1=*39)r5c83] :=> -1r5c3,-9r5c7

7b53's solution :

Code: Select all

+--------------------+-------------+------------------+
| 4     2      8     | 7  9     6  | 1     5       3  |
| (13)  7      (13)  | 5  4     8  | 6     2       9  |
| 9     6      5     | 3  2     1  | 8     4       7  |
+--------------------+-------------+------------------+
| (13)  (158)  4     | 9  (58)  2  | (57)  (1378)  6  |
| 2     1589   (139) | 6  7     4  | 5-9   (1389)  15 |
| 7     589    6     | 1  58    3  | 2     (89)    4  |
+--------------------+-------------+------------------+
| 8     19     2     | 4  6     57 | 3     179     15 |
| 6     4      19    | 8  3     57 | 579   179     2  |
| 5     3      7     | 2  1     9  | 4     6       8  |
+--------------------+-------------+------------------+

UL(13)r2c13,r4c18,r5c38
||
9r5c3
||
QNP(89)r456c8
||
QNT(578)r4c578-(58=139)r4c21,r5c3 :=> -9r5c7; ste

Phil's solution :

Code: Select all

+-----------------+-------------+-------------------+
| 4   2      8    | 7  9     6  | 1      5     3    |
| 13  7      13   | 5  4     8  | 6      2     9    |
| 9   6      5    | 3  2     1  | 8      4     7    |
+-----------------+-------------+-------------------+
| 13  (158)  4    | 9  (58)  2  | (57)   1378  6    |
| 2   1589   139  | 6  7     4  | 59     1389  15   |
| 7   589    6    | 1  58    3  | 2      89    4    |
+-----------------+-------------+-------------------+
| 8   9-1    2    | 4  6     57 | 3      179   (15) |
| 6   4      (19) | 8  3     57 | (579)  179   2    |
| 5   3      7    | 2  1     9  | 4      6     8    |
+-----------------+-------------+-------------------+


(1=587)r4c257-7r8c7=*XYWing(-159)r8c37,r7c9 :=> -1r7c2; ste

[blue]

One more ...

Code: Select all

+-------------------+-----------+-----------------+
| 4     2      8    | 7  9   6  | 1    5       3  |
| 13    7      13   | 5  4   8  | 6    2       9  |
| 9     6      5    | 3  2   1  | 8    4       7  |
+-------------------+-----------+-----------------+
| (13)  58(1)  4    | 9  58  2  | 57   8(137)  6  |
| 2     1589   139  | 6  7   4  | 59   1389    15 |
| 7     589    6    | 1  58  3  | 2    89      4  |
+-------------------+-----------+-----------------+
| 8     -1(9)  2    | 4  6   57 | 3    1(79)   15 |
| 6     4      9(1) | 8  3   57 | 579  9(17)   2  |
| 5     3      7    | 2  1   9  | 4    6       8  |
+-------------------+-----------+-----------------+


+-----------------+
| HP: (13)r4c18   |
|                 |
| 1r4c8 - 3r4c8 ----- 7r4c8
|   ||      ||    |     ||
| 1r4c1 - 3r4c1   |   7r7c8 - 9r7c8 = 9r7c2 - 1r7c2
|   ||            |     ||
+-----------------+   7r8c8 - 1r8c8 = 1r8c3 - 1r7c2
    ||
  1r4c2 ------------------------------------- 1r7c2

=> r7c2<>1; stte


[ArkieTech]

I like:

Code: Select all

 *-----------------------------------------------------------*
 | 4     2     8     | 7     9     6     | 1     5     3     |
 | 13    7     13    | 5     4     8     | 6     2     9     |
 | 9     6     5     | 3     2     1     | 8     4     7     |
 |-------------------+-------------------+-------------------|
 | 13   b158   4     | 9    b58    2     |b57    1378  6     |
 | 2     1589  139   | 6     7     4     | 59    1389  15    |
 | 7     589   6     | 1     58    3     | 2     89    4     |
 |-------------------+-------------------+-------------------|
 | 8     9-1   2     | 4     6     57    | 3     179  a15    |
 | 6     4    c19    | 8     3     57    |*579   179   2     |
 | 5     3     7     | 2     1     9     | 4     6     8     |
 *-----------------------------------------------------------*
5r8c7-(5=1)r7c9
7r8c7-(7=1)r4c257
9r8c7-(9-1)r8c2 => -1r7c2; ste

[tlanglet]

maybe someone should rewrite this... DP(13)r2c13, r4c18, r5c38.

(1=9)r8c3 -> 9r7c8 -> 8r6c8 -> DP(13) = 7r4c8 -> (58)r4c57 - (58=1)r4c2 => r7c2, r5c3 <> 1

I am having an issue with your solution. How did you handle the inference of the 9r5c3? Your post deals with the extra internal digits in r45c8 but your deletions seem to ignore the 9r5c3. Considering the 9r5c3, the only common deletion that I note is r5c3<>1.

One view of the external inferences is simply 1r5c9 & 1r8c3 which directly deletes 1 in r5c3.

Ted

[daj95376]

maybe someone should rewrite this... DP(13)r2c13, r4c18, r5c38.

(1=9)r8c3 -> 9r7c8 -> 8r6c8 -> DP(13) = 7r4c8 -> (58)r4c57 - (58=1)r4c2 => r7c2, r5c3 <> 1

I am having an issue with your solution. How did you handle the inference of the 9r5c3? Your post deals with the extra internal digits in r45c8 but your deletions seem to ignore the 9r5c3. Considering the 9r5c3, the only common deletion that I note is r5c3<>1.

One view of the external inferences is simply 1r5c9 & 1r8c3 which directly deletes 1 in r5c3.

Code: Select all

 +--------------------------------------------------------------+
 |  4     2     8     |  7     9     6     |  1     5     3     |
 | *13    7    *13    |  5     4     8     |  6     2     9     |
 |  9     6     5     |  3     2     1     |  8     4     7     |
 |--------------------+--------------------+--------------------|
 | *13    158   4     |  9     58    2     |  57   *13+78 6     |
 |  2     1589 *13+9  |  6     7     4     |  59   *13+89 15    |
 |  7     589   6     |  1     58    3     |  2     89    4     |
 |--------------------+--------------------+--------------------|
 |  8     19    2     |  4     6     57    |  3     179   15    |
 |  6     4     19    |  8     3     57    |  579   179   2     |
 |  5     3     7     |  2     1     9     |  4     6     8     |
 +--------------------------------------------------------------+
 # 35 eliminations remain

 (1=9)r8c3 - 9r7c2 = 9r7c8 - (9=8)r6c8 \
          \               \             \
           - 9r5c3         - 9r5c8       - 8r45c8 =<13>DP= 7r4c8 - (7=1)r4c257  =>  -1 r5c3,r7c2


An alternate perpective:

Code: Select all

 (1=7)r4c257 - 7r4c8 =<13>DP= (89)r456c8 - 9r7c8 = 9r7c2 \
                                  ||                      \
                                9 r5c3                     - (9=1)r8c3  =>  -1 r5c3,r7c2


_

[7b53]

I am having an issue with your solution.....

sorry Ted, I know my notation is bad. and thanks daj for making it clear.

[tlanglet]

I am having an issue with your solution.....

sorry Ted, I know my notation is bad. and thanks daj for making it clear.

Notation is always an issue. What counts is the solution itself and this one is outstanding

Ted