The New Sudoku Players' Forum

[P.O.]

Code: Select all

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

.2.4..7..54..7...1....2346.78....9..41293......97....4...3..5...3..6...2..8..1.4.

13689  2      136    4      1589   5689   7      3589   3589           
5      4      36     68     7      689    238    2389   1               
189    79     17     158    2      3      4      6      589             
7      8      356    1256   145    2456   9      1235   356             
4      1      2      9      3      568    68     578    5678           
36     56     9      7      158    2568   12368  12358  4               
1269   679    1467   3      489    24789  5      1789   6789           
19     3      1457   58     6      45789  18     1789   2               
269    5679   8      25     59     1      36     4      3679   


[Leren]

Code: Select all

*-----------------------------------------------------------------*
| 13689  2       136    | 4    1589  5689  | 7     3589   3589    |
| 5      4       36     | 68   7     689   | 238   2389   1       |
| 189    79      17     | 158  2     3     | 4     6      589     |
|-----------------------+------------------+----------------------|
| 7      8       356    | 1256 145   2456  | 9     1235   356     |
| 4      1       2      | 9    3     568   | 68    578   a568-7aA |
| 36     56      9      | 7    158   2568  | 12368 12358  4       |
|-----------------------+------------------+----------------------|
|g1269   679     1467e  | 3    489  f24789 | 5     1789G  6789    |
| 19     3      d1457dD | 58E  6    e45789 | 18F   1789   2       |
| 269   c5679cC  8      | 25   59    1     | 36    4     b3679bB  |
*-----------------------------------------------------------------*

Kraken Row 7 Digit 1:

7 r5c9 - r9c9 = (7-5) r9c2 = (5-4) r8c3 = (4-7) r8c6 = (7-2) r7c6 = 2r7c1 - 1 r7c1;

7 r5c9 - r9c9 = (7-5) r9c2 = (5-4) r8c3 = 4 r7c3                          - 1 r7c3;

7 r5c9 - r9c9 = (7-5) r9c2 = r8c3 - (5=8) r8c4 - (8=1) r8c7               - 1 r7c8 => - 7 r5c9; lclste

Leren

[yzfwsf]

Whip[7]: Supposing 8r8c4 will result in 2 to disappear in Box 8 => r8c4<>8
8%r8c4 - r8c7(8=1$) - r8c1(1=9#) - r8c8(1$8%9=7) - 7c6(r8=r7@) - r7c2(9#7=6) - r9c1(9#6=2) - 2b8(p3@7=.);stte

[SteveG48]

Code: Select all

 *-----------------------------------------------------------------------*
 |  13689  2      136    | 4      1589   5689   |  7      3589    3589   |
 |  5      4      36     | 68     7      689    |  238    2389    1      |
 |  189    79     17     | 158    2      3      |  4      6       589    |
 *-----------------------+----------------------+------------------------|
 |  7      8      356    | 1256   145    2456   |  9      1235    356    |
 |  4      1      2      | 9      3      568    |  68     578     5678   |
 |  36     56     9      | 7      158    2568   |  12368  12358   4      |
 *-----------------------+----------------------+------------------------|
 | d1269 cd679   d1467   | 3     c489   c24789  |  5    bc179-8 bc679-8  |
 |ae19     3      1457   | 5-8    6     b4579-8 |ae18    a1789    2      |
 | d269    5679   8      | 25     59     1      |  36     4       3679   |
 *-----------------------------------------------------------------------*


(8=917)r8c178 - (1|7)r7c89,r8c6 = 7r7c6&(6894)r7c2589 - (7|4=1269)b7p1237 - (9=18)r8c17 => -8 r7c89,r8c46 ; ste

[P.O.]

thank you for your answers, my solution is the same as yzfwsf, it proves the contradiction of r8c4=8 with a slight difference after the link r7c6=7:

Code: Select all

8r8c4 => r9c1 <> 2,6,9
let A be:
r8c4=8 - r8c7{n8 n1} - r8c1{n1 n9} - r8c8{n189 n7} - c6n7{r8 r7}
                            |
                        r9c1<>9
A - r7c2{n79 n6}                       
A - r7n2{c6 c1}         

=> r8c4 <> 8
ste.