The New Sudoku Players' Forum

by **mith** » Mon Oct 05, 2020 7:05 pm

Code: Select all: +-------+-------+-------+ | . . . | . 3 . | 1 . . | | . 4 . | . . 1 | . 5 . | | . . 9 | 2 . 6 | . . . | +-------+-------+-------+ | . 5 3 | . . . | . . . | | . . . | 5 . 8 | . . . | | . . . | . . . | 9 7 . | +-------+-------+-------+ | . . . | 9 . 3 | 2 . . | | . 3 . | 8 . . | . 4 . | | . . 6 | . 2 . | . . . | +-------+-------+-------+ ....3.1...4...1.5...92.6....53.........5.8.........97....9.32...3.8...4...6.2....

by **Leren** » Mon Oct 05, 2020 7:38 pm

Code: Select all: *------------------------------------------------------* | 25678 2678 2578 | 4 3 59 | 1 2689 26789 | | 2368 4 b28 | 7 a89 1 | 368 5 2368-9 | | 13578 178 9 | 2 58 6 | 3478 38 3478 | |-------------------+--------------+-------------------| | 12479 5 3 | 6 1479 2479 | 48 128 1248 | | 12479 1279 1247 | 5 1479 8 | 346 1236 12346 | | 12468 1268 1248 | 3 14 24 | 9 7 5 | |-------------------+--------------+-------------------| | 14578 178 14578 | 9 4567 3 | 2 168 1678 | |d129 3 c12 | 8 567 57 | 567 4 e19 | | 45789 789 6 | 1 2 457 | 3578 389 3789 | *------------------------------------------------------*

(9=8) r2c5 - (8=2) r2c3 - r8c3 = (2-9) r8c1 = (9) r8c9 => - 9 r2c9; stte

Leren

Website · by **denis_berthier** » Tue Oct 06, 2020 4:01 am

Code: Select all: (solve-sudoku-grid +-------+-------+-------+ ! . . . ! . 3 . ! 1 . . ! ! . 4 . ! . . 1 ! . 5 . ! ! . . 9 ! 2 . 6 ! . . . ! +-------+-------+-------+ ! . 5 3 ! . . . ! . . . ! ! . . . ! 5 . 8 ! . . . ! ! . . . ! . . . ! 9 7 . ! +-------+-------+-------+ ! . . . ! 9 . 3 ! 2 . . ! ! . 3 . ! 8 . . ! . 4 . ! ! . . 6 ! . 2 . ! . . . ! +-------+-------+-------+ )

Using only Subsets and xy-chains:

Code: Select all: *********************************************************************************************** *** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = TyBC+SFin *** Using CLIPS 6.32-r770 *********************************************************************************************** singles ==> r2c4 = 7, r1c4 = 4, r9c4 = 1, r4c4 = 6, r6c4 = 3, r6c9 = 5 204 candidates, 1248 csp-links and 1248 links. Density = 6.03% whip[1]: r6n6{c2 .} ==> r5c2 ≠ 6, r5c1 ≠ 6 whip[1]: r6n8{c3 .} ==> r4c1 ≠ 8 finned-x-wing-in-rows: n5{r3 r7}{c5 c1} ==> r9c1 ≠ 5, r8c1 ≠ 5 naked-triplets-in-a-row: r8{c5 c6 c7}{n6 n7 n5} ==> r8c9 ≠ 7, r8c9 ≠ 6, r8c3 ≠ 7, r8c3 ≠ 5, r8c1 ≠ 7 whip[1]: b7n5{r7c3 .} ==> r7c5 ≠ 5 finned-swordfish-in-rows: n9{r2 r8 r5}{c5 c9 c1} ==> r4c1 ≠ 9 whip[1]: r4n9{c6 .} ==> r5c5 ≠ 9 biv-chain-rc[4]: r2c5{n9 n8} - r2c3{n8 n2} - r8c3{n2 n1} - r8c9{n1 n9} ==> r2c9 ≠ 9 stte

by **SteveG48** » Tue Oct 06, 2020 6:52 pm

Code: Select all: *--------------------------------------------------------------------* | 25678 2678 2578 | 4 3 59 | 1 2689 26789 | | 2368 4 a28 | 7 a89 1 | 368 5 2368-9 | | 13578 178 9 | 2 58 6 | 3478 38 3478 | *----------------------+----------------------+----------------------| | 12479 5 3 | 6 1479 2479 | 48 128 1248 | | 12479 1279 1247 | 5 1479 8 | 346 1236 12346 | | 12468 1268 1248 | 3 14 24 | 9 7 5 | *----------------------+----------------------+----------------------| | 14578 178 14578 | 9 4567 3 | 2 168 1678 | | 129 3 b12 | 8 567 57 | 567 4 b19 | | 45789 789 6 | 1 2 457 | 3578 389 3789 | *--------------------------------------------------------------------*

Almost the same as Leren:

(9=82)r2c35 - (2=19)r8c29 => -9 r2c9 ; stte

by **pjb** » Tue Oct 06, 2020 10:55 pm

Code: Select all: 25678 2678 2578 | 4 3 f59 | 1 2689 26789 2368 4 a28 | 7 e9-8 1 | 368 5 d23689 1357-8 17-8 9 | 2 g58 6 | 3478 38 3478 ------------------------+----------------------+--------------------- 12479 5 3 | 6 1479 2479 | 48 128 1248 12479 1279 1247 | 5 1479 8 | 346 1236 12346 12468 1268 1248 | 3 14 24 | 9 7 5 ------------------------+----------------------+--------------------- 14578 178 14578 | 9 4567 3 | 2 168 1678 129 3 b12 | 8 567 57 | 567 4 c19 45789 789 6 | 1 2 457 | 3578 389 3789

(8=2)r2c3 - (2=1)r8c3 - (1=9)r8c9 - (9)r2c9 = (9)r2c5 - (9=5)r1c6 - (5=8)r3c5 => -8 r2c5, r3c12; stte

Phil

22/7 3