The New Sudoku Players' Forum

[P.O.]

Code: Select all

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

.19.7.....4.3.....6....1.8..8.7....6..2.6..5.4...28.731...3..92..5.4..3193...27..

2358   1      9      24568  7      456    23456  246    45             
2578   4      78     3      589    569    12569  126    579             
6      257    37     2459   59     1      23459  8      4579           
35     8      13     7      159    3459   1249   124    6               
37     79     2      149    6      349    1489   5      489             
4      569    16     159    2      8      19     7      3               
1      67     4678   568    3      567    4568   9      2               
278    267    5      689    4      679    68     3      1               
9      3      468    1568   158    2      7      46     458       


[pjb]

Code: Select all

 2358    1       9      | 24568  7     a456    | 23456  246   b45     
 2578    4       78     | 3     a589   a569    | 12569  126    579   
 6       257     37     | 2459  a59     1      | 23459  8      4579   
------------------------+----------------------+---------------------
 35      8       13     | 7      159    3459   | 1249   124    6     
 37      79      2      | 149    6      349    | 1489   5      489   
 4       569     16     | 159    2      8      | 19     7      3     
------------------------+----------------------+---------------------
 1       67      4678   | 568    3      567    | 4568   9      2     
 278     267     5      | 689    4      679    | 68     3      1     
 9       3      c468    | 1568   15-8   2      | 7     c46    c458   


(8=4)r1c6, r2c56, r3c5 - (4=5)r1c9 - (5=8)r9c389 => -8 r9c5;

Code: Select all

 8       1       9      | 2456   7      456    | 3      246    45     
a25      4       7      | 3      8      569    | 2569   1      59     
 6      b25      3      | 2459  c59     1      | 2459   8      7     
------------------------+----------------------+---------------------
 3-5     8       1      | 7     d59     3459   | 249    24     6     
 37      79      2      | 149    6      349    | 1489   5      489   
 4       59      6      | 159    2      8      | 19     7      3     
------------------------+----------------------+---------------------
 1       67      48     | 568    3      567    | 4568   9      2     
 27      267     5      | 689    4      679    | 68     3      1     
 9       3       48     | 568    1      2      | 7      46     458   


(5=2)r2c1 - (2=5)r3c2 - (5=9)r3c5 - (9=5)r4c5 => -5 r4c1; stte

Phil

[yzfwsf]

Whip[9]: Supposing 5r4c1 will result in all candidates in cell r5c1 being impossible => r4c1,r6c4<>5
5$r4c1 - 5c2(r6=r3) - r3c5(5=9#) - r4c5(5$9=1) - r4c3(1=3@) - r3c3(3=7) - 7r2(c31=c9) - 9c9(r3#2=r5) - r5c2(9=7) - r5c1(3@7=.);stte

[SteveG48]

Code: Select all

 *-------------------------------------------------------------------------*
 |   2358   1      9      |   24568   7     g456    |h23456 h246   h45     |
 |   2578   4      78     |   3       589    569    |h12569 h126    579    |
 |   6     b27-5 df37     |  a2459 bmn59     1      |g23459  8      4579   |
 *------------------------+-------------------------+----------------------|
 | bm35     8   cek13     |   7     cL159   f3459   | 1249   124    6      |
 | de37    e79     2      | de149     6     f349    | 1489   5      489    |
 |   4    an569   j16     |   159     2      8      |i19     7      3      |
 *------------------------+-------------------------+----------------------|
 |   1      67     4678   |   568     3      567    | 4568   9      2      |
 |   278    267    5      |   689     4      679    | 68     3      1      |
 |   9      3      468    |   1568    158    2      | 7      46     458    |
 *-------------------------------------------------------------------------*


5r3c5,r6c2 = (59)r3c5,r4c1 - (5|9=13)r4c35 - (1|3)r3c3,r5c14 = 3r4c3&(794)r5c124 - 3r3c3|4r45c6 = (34)r1c6,r3c7 - (3|4=12569)b3p12345 - (9=1)r6c7 - 1r6c3 = 1r4c3 - (1=5|9)r4c5 - 9r3c5&5r4c1 = 5r3c5,r6c2 => -5 r3c2 ; ste

[P.O.]

thank you for your answers, two solutions
the usual method:

Code: Select all

5r4c1 => r235c9 <> 9
 r4c1=5 - c2n5{r6 r3} - r3c5{n5 n9}
 r4c1=5 - c2n5{r6 r3} - r3c5{n5 n9} - r4c5{n59 n1} - c3n1{r4 r6} - r6c7{n1 n9}
 r4c1=5 - c2n5{r6 r3} - r3c5{n5 n9} - r4c5{n59 n1} - r4c3{n1 n3} - r3c3{n3 n7} - c9n7{r3 r2}
=> r4c1 <> 5
ste.


the D+DFC method:
n7r2c9 OR n7r2c13 => r4c1 <> 5
ste.

n7r2c9 context:

Hidden Text: Show

Code: Select all

((7 0) (2 9 3) (5 7 9))                                                     n7r2c9
   ((7 1 1 2) ((3 2 1) (2 5 7)) ((3 3 1) (3 7)))                              n7r3c23

((7 1 1 2) ((3 2 1) (2 5 7)) ((3 3 1) (3 7)))                               n7r3c23
   ((8 2 20) (2 3 1) (7 8))                                                   n8r2c3


Code: Select all

235    1      9      24568  7      456    23456  246    45             
25     4      8      3      59     569    12569  126    7               
6      257    37     2459   59     1      23459  8      459             
35     8      13     7      159    3459   1249   124    6               
37     79     2      149    6      349    1489   5      489             
4      569    16     159    2      8      19     7      3               
1      67     467    568    3      567    4568   9      2               
278    267    5      689    4      679    68     3      1               
9      3      46     1568   158    2      7      46     458         

5r4c1 => r35c9 <> 9
 r4c1=5 - c2n5{r6 r3} - r3c5{n5 n9}
 r4c1=5 - 23r12c1 - 79r5c12
=> r4c1 <> 5


n7r2c13 context:

Hidden Text: Show

Code: Select all

((7 0 1 0) ((2 1 1) (2 5 7 8)) ((2 3 1) (7 8)))                             n7r2c13
   ((3 1 20) (3 3 1) (3 7))                                                   n3r3c3
   ((7 1 14) (3 9 3) (4 5 7 9))                                               n7r3c9

((3 1 20) (3 3 1) (3 7))                                                    n3r3c3
   ((6 2 22) (6 3 4) (1 6))                                                   n6r6c3
   ((1 2 9) (4 3 4) (1 3))                                                    n1r4c3
   ((3 2 1) (1 7 3) (2 3 4 5 6))                                              n3r1c7
   ((3 2 2 2) ((4 1 4) (3 5)) ((5 1 4) (3 7)))                                n3r45c1


Code: Select all

258    1      9      24568  7      456    3      246    45             
2578   4      78     3      589    569    12569  126    59             
6      25     3      2459   59     1      2459   8      7               
35     8      1      7      59     3459   249    24     6               
37     79     2      149    6      349    1489   5      489             
4      59     6      159    2      8      19     7      3               
1      67     478    568    3      567    4568   9      2               
278    267    5      689    4      679    68     3      1               
9      3      48     1568   158    2      7      46     458         

5r4c1 => r3c5 <> 5,9
 r4c1=5 - c2n5{r6 r3}
 r4c1=5 - r4c5{n5 n9}
=> r4c1 <> 5