The New Sudoku Players' Forum

by **urhegyi** » Thu Dec 10, 2020 11:24 pm

Code: Select all: ...3.9.....5.2.8...63...14..56...39...........84.5371..18...95...9.7.2.....8.6...

Code: Select all: +-------+-------+-------+ | . . . | 3 . 9 | . . . | | . . 5 | . 2 . | 8 . . | | . 6 3 | . . . | 1 4 . | +-------+-------+-------+ | . 5 6 | . . . | 3 9 . | | . . . | . . . | . . . | | . 8 4 | . 5 3 | 7 1 . | +-------+-------+-------+ | . 1 8 | . . . | 9 5 . | | . . 9 | . 7 . | 2 . . | | . . . | 8 . 6 | . . . | +-------+-------+-------+

by **Leren** » Fri Dec 11, 2020 12:22 am

Code: Select all: *--------------------------------------------------* | 8 247 127 | 3 146 9 | 56 267 2567 | |c147 479 5 |c146 2 c14 | 8 367 369-7 | | 29 6 3 | 57 8 57 | 1 4 29 | |--------------+-------------------+---------------| | 17 5 6 | 1247 14 12478 | 3 9 248 | | 137 2379 127 | 124679 146 12478 | 56 268 24568 | |b29 8 4 |b269 5 3 | 7 1 a26 | |--------------+-------------------+---------------| | 6-7 1 8 | 24 3 24 | 9 5 a67 | | 346 34 9 | 15 7 15 | 2 368 368 | | 5 237 27 | 8 9 6 | 4 37 1 | *--------------------------------------------------*

(7=2) r67c9 - (2=6) r6c14 - (6=7) r2c146 => - 7 r2c8, r7c1; btte

Leren

by **SteveG48** » Mon Dec 14, 2020 1:55 pm

Code: Select all: *-----------------------------------------------------------------------------* | 8 247 127 | 3 b146 9 | 56 267 c2567 | | 147 479 5 | 146 2 14 | 8 367 3679 | | 29 6 3 | 57 8 57 | 1 4 29 | *-------------------------+-------------------------+-------------------------| |f17 5 6 | 1247 f14 12478 | 3 9 bg248 | | 137 2379 127 | 124679 a146 12478 | 5-6 abg268 ab24568 | | 29 8 4 | 269 5 3 | 7 1 abg26 | *-------------------------+-------------------------+-------------------------| |e67 1 8 | 24 3 24 | 9 5 d67 | | 346 34 9 | 15 7 15 | 2 368 368 | | 5 237 27 | 8 9 6 | 4 37 1 | *-----------------------------------------------------------------------------*

6r5c589,r6c9 = (6r1c5)&((4825)b6p3569) - (2|5|6=7)r1c9 - r7c9 = r7c1 - (7=14)r4c15 - (4=286)b6p359 => -6 r5c7 ; stte

Website · by **denis_berthier** » Mon Dec 14, 2020 3:03 pm

Starting from Leren's PM

Code: Select all: (solve-sukaku-grid *--------------------------------------------------* ! 8 247 127 ! 3 146 9 ! 56 267 2567 ! ! 147 479 5 ! 146 2 14 ! 8 367 3697 ! ! 29 6 3 ! 57 8 57 ! 1 4 29 ! !--------------+-------------------+---------------! ! 17 5 6 ! 1247 14 12478 ! 3 9 248 ! ! 137 2379 127 ! 124679 146 12478 ! 56 268 24568 ! ! 29 8 4 ! 269 5 3 ! 7 1 26 ! !--------------+-------------------+---------------! ! 67 1 8 ! 24 3 24 ! 9 5 67 ! ! 346 34 9 ! 15 7 15 ! 2 368 368 ! ! 5 237 27 ! 8 9 6 ! 4 37 1 ! *--------------------------------------------------* )

Code: Select all: *********************************************************************************************** *** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin *** Using CLIPS 6.32-r779 *********************************************************************************************** 131 candidates, 580 csp-links and 580 links. Density = 6.81% x-wing-in-columns: n6{c5 c7}{r1 r5} ==> r5c9 ≠ 6, r5c8 ≠ 6, r5c4 ≠ 6, r1c9 ≠ 6, r1c8 ≠ 6 finned-x-wing-in-columns: n1{c3 c5}{r1 r5} ==> r5c6 ≠ 1, r5c4 ≠ 1 z-chain[2]: b4n2{r5c3 r6c1} - r3n2{c1 .} ==> r5c9 ≠ 2 swordfish-in-columns: n2{c2 c3 c8}{r5 r9 r1} ==> r5c6 ≠ 2, r5c4 ≠ 2, r1c9 ≠ 2 biv-chain-rc[3]: r7c9{n6 n7} - r1c9{n7 n5} - r1c7{n5 n6} ==> r2c9 ≠ 6 biv-chain[3]: r6c9{n6 n2} - r5c8{n2 n8} - b9n8{r8c8 r8c9} ==> r8c9 ≠ 6 biv-chain[3]: r8c9{n8 n3} - r2n3{c9 c8} - c8n6{r2 r8} ==> r8c8 ≠ 8 singles ==> r8c9 = 8, r5c8 = 8, r4c6 = 8, r7c6 = 2, r7c4 = 4, r1c8 = 2, r3c9 = 9, r3c1 = 2, r6c1 = 9, r2c2 = 9, r5c4 = 9, r2c9 = 3 finned-x-wing-in-rows: n7{r2 r9}{c8 c1} ==> r7c1 ≠ 7 stte

Fish and wxyz-wing