The New Sudoku Players' Forum

[Yogi]

000007061050200000000000000002040500000006080030010000000700200604000000100000000

17Feb21.png (14.3 KiB) Viewed 363 times

[RSW]

Code: Select all

 +----------------------+---------------------+---------------------+
 | 2      489    389    | 3489   5     7      | 3489   6     1      |
 | 34789  5      136789 | 2      3689  13489  | 34789  3479  34789  |
 | 34789 b146789 136789 |c134689 3689  13489  | 34789  2     5      |
 +----------------------+---------------------+---------------------+
 | 789   a16789  2      | 389    4     389    | 5      1379 *379-6  |
 | 459    149    159    | 359    7     6      | 1349   8     2      |
 | 45789  3     *5789-6 | 589    1     2      |f4679   479   4679   |
 +----------------------+---------------------+---------------------+
 | 3589   89     3589   | 7      3689  134589 | 2      13459 34689  |
 | 6      2789   4      | 1389   2389  13589  | 13789  13579 3789   |
 | 1      2789   35789  |d34689  23689 34589  |e346789 34579 346789 |
 +----------------------+---------------------+---------------------+
 

(6)r4c2=r3c2-r3c4=r9c4-r9c7=r6c7 => -6r6c3, -6r4c9; btte

[denis_berthier]

***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r770
*** Download from: https://github.com/denis-berthier/CSP-Rules-V2.1
***********************************************************************************************
6 Singles
265 candidates, 2076 csp-links and 2076 links. Density = 5.93%

Code: Select all

RESOLUTION STATE:
   2         489       389       34589     3589      7         3489      6         1         
   34789     5         136789    2         3689      13489     34789     3479      34789     
   34789     146789    136789    134689    3689      13489     34789     2         5         
   789       16789     2         389       4         389       5         1379      3679     
   459       149       159       359       7         6         1349      8         2         
   45789     3         56789     589       1         2         4679      479       4679     
   3589      89        3589      7         35689     134589    2         13459     34689     
   6         2789      4         13589     23589     13589     13789     13579     3789     
   1         2789      35789     345689    235689    34589     346789    34579     346789   


whip[1]: c6n5{r9 .} ==> r9c5 ≠ 5, r7c5 ≠ 5, r8c4 ≠ 5, r8c5 ≠ 5, r9c4 ≠ 5
hidden-single-in-a-column ==> r1c5 = 5

Code: Select all

RESOLUTION STATE:
   2         489       389       34589     5         7         3489      6         1         
   34789     5         136789    2         3689      13489     34789     3479      34789     
   34789     146789    136789    134689    3689      13489     34789     2         5         
   789       16789     2         389       4         389       5         1379      3679     
   459       149       159       359       7         6         1349      8         2         
   45789     3         56789     589       1         2         4679      479       4679     
   3589      89        3589      7         3689      134589    2         13459     34689     
   6         2789      4         1389      2389      13589     13789     13579     3789     
   1         2789      35789     34689     23689     34589     346789    34579     346789   


finned-swordfish-in-columns: n6{c4 c7 c2}{r3 r9 r6} ==> r6c3 ≠ 6
Singles and whip[1] to the end

[Leren]

Code: Select all

*----------------------------------------------------------------------*
| 2      489      389    | 3489    5     7      | 3489   6      1      |
| 34789  5       a136789 | 2      b3689  13489  | 34789  3479   34789  |
| 34789  14789-6  136789 | 134689  3689  13489  | 34789  2      5      |
|------------------------+----------------------+----------------------|
| 789   f16789    2      | 389     4     389    | 5      1379  e3679   |
| 459    149      159    | 359     7     6      | 1349   8      2      |
| 45789  3        5789-6 | 589     1     2      | 4679   479    4679   |
|------------------------+----------------------+----------------------|
| 3589   89       3589   | 7      c3689  134589 | 2      13459 d34689  |
| 6      2789     4      | 1389    2389  13589  | 13789  13579  3789   |
| 1      2789     35789  | 34689   23689 34589  | 346789 34579  346789 |
*----------------------------------------------------------------------*

(6) r2c3 = r2c5 - r7c5 = r7c9 - r4c9 = r4c2 => - 6 r3c2, r6c3; btte

Leren