The New Sudoku Players' Forum

[P.O.]

Code: Select all

5  .  .  .  .  .  3  7  1
.  3  .  .  .  .  2  6  4
.  .  6  .  .  .  8  9  5
.  .  .  4  .  .  6  8  7
.  .  .  .  9  .  4  2  3
.  .  .  .  .  8  1  5  9
1  9  5  3  6  2  7  4  8
4  8  2  5  1  7  9  3  6
3  6  7  8  4  9  5  1  2

5.....371.3....264..6...895...4..687....9.423.....8159195362748482517936367849512

5     24    489   269   28    46    3     7     1             
789   3     189   179   578   15    2     6     4             
27    1247  6     127   237   134   8     9     5             
29    125   139   4     235   135   6     8     7             
678   157   18    167   9     156   4     2     3             
267   247   34    267   237   8     1     5     9             
1     9     5     3     6     2     7     4     8             
4     8     2     5     1     7     9     3     6             
3     6     7     8     4     9     5     1     2       


[SteveG48]

Code: Select all

 *------------------------------------------------------------*
 |  5    e24    48-9  |e269   28   e46    | 3     7     1     |
 | c789   3    a189   | 179   578  b15    | 2     6     4     |
 |cd27    1247  6     | 127   237   134   | 8     9     5     |
 *--------------------+-------------------+-------------------|
 |  29    125  a139   | 4     235  b135   | 6     8     7     |
 | c678   157  a18    | 167   9    b156   | 4     2     3     |
 |  267   247   34    | 267   237   8     | 1     5     9     |
 *--------------------+-------------------+-------------------|
 |  1     9     5     | 3     6     2     | 7     4     8     |
 |  4     8     2     | 5     1     7     | 9     3     6     |
 |  3     6     7     | 8     4     9     | 5     1     2     |
 *------------------------------------------------------------*


[(9=183)r245c3 - (3=156)r245c6 - (6=789)r235c1] = 2r3c1 - (2=469)r1c246 => -9 r1c3 ; ste

[storm_norm22]

Code: Select all

+------------------+-------------------+---------+
| 5    2-4   89(4) | 269  28     (46)  | 3  7  1 |
| 789  3     189   | 179  578    (15)  | 2  6  4 |
| 27   1247  6     | 127  237    34-1  | 8  9  5 |
+------------------+-------------------+---------+
| 29   125   139   | 4    25-3   (135) | 6  8  7 |
| 678  157   18    | 167  9      (156) | 4  2  3 |
| 267  247   (34)  | 267  27(3)  8     | 1  5  9 |
+------------------+-------------------+---------+
| 1    9     5     | 3    6      2     | 7  4  8 |
| 4    8     2     | 5    1      7     | 9  3  6 |
| 3    6     7     | 8    4      9     | 5  1  2 |
+------------------+-------------------+---------+

(4=6)r1c6 - ALS(15)r245c6[(6)r5c6 = (3)r4c6] - (3)r4c3 = (3-4)r6c3 = (4)r1c3; r1c2 <> 4;



places the 2 in r1c2 and with some eliminations
leads to

Code: Select all

+-----------------+----------------+---------+
| 5     2    (49) | 69   8    (46) | 3  7  1 |
| (89)  3    189  | 179  57   15   | 2  6  4 |
| 7     14   6    | 12   23   134  | 8  9  5 |
+-----------------+----------------+---------+
| 29    15   139  | 4    235  135  | 6  8  7 |
| (68)  157  18   | 167  9    15-6 | 4  2  3 |
| 26    47   34   | 267  237  8    | 1  5  9 |
+-----------------+----------------+---------+
| 1     9    5    | 3    6    2    | 7  4  8 |
| 4     8    2    | 5    1    7    | 9  3  6 |
| 3     6    7    | 8    4    9    | 5  1  2 |
+-----------------+----------------+---------+

(6=4)r1c6 - (4=9)r1c3 - (9=8)r2c1 - (8=6)r5c1; r5c6 <> 6

singles to end



I see some solvers say something like "r245c6 cannot be (15)" to establish a strong inference on 3 and 6 in r45c6... its difficult to show that relationship in a chain AND have it make sense. hopefully my implementation makes sense.

[Cenoman]

Code: Select all

 +----------------------+--------------------+-----------------+
 |   5     24     489   |  269   28   c46    |  3    7    1    |
 |  B789   3     y189   |  179   578   15    |  2    6    4    |
 |  B27  zC127-4  6     |  127   237  d134   |  8    9    5    |
 +----------------------+--------------------+-----------------+
 |   29    125    139   |  4     235   135   |  6    8    7    |
 |wAa678   157   x18    |  167   9    b156   |  4    2    3    |
 |   267   247    34    |  267   237   8     |  1    5    9    |
 +----------------------+--------------------+-----------------+
 |   1     9      5     |  3     6     2     |  7    4    8    |
 |   4     8      2     |  5     1     7     |  9    3    6    |
 |   3     6      7     |  8     4     9     |  5    1    2    |
 +----------------------+--------------------+-----------------+

Kraken cell (678)r5c1
(6)r5c1 - r5c6 = (6-4)r1c6 = (4)r3c6
(7)r5c1 - r23c1 = (7)r3c2
(8)r5c1 - (8=1)r5c3 - r2c3 = (1)r3c2
=> -4 r3c2; ste

[P.O.]

thank you for your answers, my solution:

Code: Select all

2r346c1 => r1c4 <> 6
 r3c1=2 - r1c2{n2 n4} - r1c6{n4 n6}
 r4c1=2 - c1n9{r4 r2} - r1n9{c3 c4}
 r6c1=2 - r6n6{c1 c4}
 
ste.


hi Norm, your implementation makes perfect sense to me, with the notation i use i would have written the chain in one of these two ways:

Code: Select all

r1c6{n4 n6} - 153r245c6 - c3n3{r4 r6} - r6n4{c3 c2} => r1c2 <> 4

or decomposing the second link:

r1c6{n4 n6} - 15r25c6 - r4c6{n15 n3} - c3n3{r4 r6} - r6n4{c3 c2} => r1c2 <> 4