The New Sudoku Players' Forum

[P.O.]

Code: Select all

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

1357...6.4.2.1..3..9...3..1....54.72.4..8.3....63.9.8.8.94...1.......5.7.2...18..

1     3     5     7     249   28    249   6     489           
4     678   2     5689  1     568   79    3     589           
67    9     78    2568  246   3     247   245   1             
39    18    138   16    5     4     169   7     2             
2579  4     17    126   8     267   3     59    569           
257   157   6     3     27    9     14    8     45             
8     567   9     4     2367  2567  26    1     36             
36    16    134   2689  2369  268   5     249   7             
3567  2     347   569   3679  1     8     49    3469         


[SteveG48]

Code: Select all

 *------------------------------------------------------------*
 | 1     3     5     | 7     249   28    |  249   6     489   |
 | 4     678   2     | 5689  1     568   |  79    3   ah5-89  |
 | 67    9     78    | 2568  246   3     |  247  b245   1     |
 *-------------------+-------------------+--------------------|
 | 39   d18   d138   |d16    5     4     |cd169   7     2     |
 | 2579  4    e17    | 126   8     267   |  3    b59   h569   |
 |f257  f157   6     | 3    f27    9     |  14    8    g45    |
 *-------------------+-------------------+--------------------|
 | 8     567   9     | 4     2367  2567  | d26    1    g36    |
 | 36    16    134   | 2689  2369  268   |  5   cd249   7     |
 | 3567  2    e347   | 569   3679  1     |  8   cd49   g3469  |
 *------------------------------------------------------------*


5r2c9 = (59)r35c8 - 9r4c7,r89c8 = (246*)b9p158&(1683)r4c2347 - (3|4=71)r59c3 - (1=275)r6c125 - (5*6)r679c9 = (65)r25c9 => -89 r2c9 ; ste

[Leren]

Code: Select all

*------------------------------------------------------*
| 1     3      5    | 7     249  28    | 249  6   489  |
| 4     678    2    | 5689  1    568   | 79   3   589  |
| 67    9      78   | 2568  246  3     | 247  245 1    |
|-------------------+------------------+---------------|
| 39    18     138  |a1-6aA 5    4     |b169  7   2    |
| 2579  4      17cC | 126bB 8    267d  | 3    59  569  |
| 257  g157gD  6    | 3     27   9     | 14   8   45   |
|-------------------+------------------+---------------|
| 8     567f   9    | 4     2367 2567e |c26   1   36   |
| 36   f16    e134  | 2689  2369 268   | 5   d249 7    |
| 3567  2      347  | 569   3679 1     | 8    49  3469 |
*------------------------------------------------------*

Kraken Cell r6c2:

6 r4c4 - r4c7 = (6-2) r7c7 = (2-4) r8c8 = (4-1) r8c3 = r8c2     - 1 r6c2;

6 r4c4 - 1 r4c4 = r5c4 - (1=7) r5c3 - 7r5c6 = (7-5) r7c6 = r7c2 - 5 r6c2;

6 r4c4 - 1 r4c4 = r5c4 - (1=7) r5c3                             - 7 r6c2; => - 6 r4c4; stte

Leren

[yzfwsf]

Whip[6]: Supposing 6r4c4 will result in 7 to disappear in Column 2 => r4c4<>6
6$r4c4 - 1c4(r4=r5) - r5c3(1=7@) - 7c6(r5=r7#) - 5c6(r7=r2) - 6r2(c4$6=c2) - 7c2(r6@7#2=.)
stte

[eleven]

Code: Select all

*-------------------------------------------------------------------*
 |  1      3     5     |  7      249   d28     |  249   6     489    |
 |  4      678   2     |  5689   1      568    |  79    3     589    |
 |  67     9     78    |  2568   246    3      |  247   245   1      |
 |---------------------+-----------------------+---------------------|
 |  39     18    38-1  | a16     5      4      |  169   7     2      |
 |  2579   4   fc17    | b26-1   8     c267    |  3     59    569    |
 |  257    157   6     |  3      27     9      |  14    8     45     |
 |---------------------+-----------------------+---------------------|
 |  8      567   9     |  4      2367   2567   |  26    1     36     |
 | e36    e16   e134   |  2689   2369  d268    |  5     249   7      |
 |  3567   2    e347   |  569    3679   1      |  8     49    3469   |
 *-------------------------------------------------------------------*

1r4c4 = r5c4 - (1=67)r4c4,r5c3 - (6|7=2)r5c6 - (2=86)r18c6 - (6=1347)b7p5469 - (7=1)r5c3 => -1r5c4,r3c3; stte

[pjb]

Code: Select all

 1       3       5      |  7      249    28     | 249    6      489   
 4       678     2      |  5689   1      568    | 79     3      589   
 67      9       78     |  2568   246    3      | 247    245    1     
------------------------+-----------------------+---------------------
 39      18     g138    | b16     5      4      |c169    7      2     
 2579    4      B17     |Aa126    8     C267    | 3      59     569   
 257   Fh157     6      |  3      27     9      | 14     8      45     
------------------------+-----------------------+---------------------
 8      E567     9      |  4      2367  D2567   |d26     1      36     
 36      16     f134    |  2689   2369   268    | 5     e249    7     
 3567    2       347    |  569    3679   1      | 8      49     3469   


Contradiction: If 1 at r5c4 is true, 1 at r6c2 is both true and false:
(1)r5c4 - (1=6)r4c4 - r4c7 = (6-2)r7c7 = (2-4)r8c8 = (4-1)r8c3 = r4c3 - (1)r6c2
(1)r5c4 - (1=7*)r5c3 - r5c6 = (7- 5)r7c6 = r7c2 - (5|7 = 1)r6c2
=>-1 r5c4; stte

Phil

[P.O.]

thank you for your answers, my solution:

Code: Select all

1r5c4 => r2c246 <> 6
 r5c4=1 - r4c4{n1 n6}
 r5c4=1 - r5c3{n1 n7} - c6n7{r5 r7} - c2n7{r7 r2}
 r5c4=1 - r5c3{n1 n7} - c6n7{r5 r7} - c7n5{r7 r2}
 
=> r5c4 <> 1
ste.