The New Sudoku Players' Forum

[mith]

Code: Select all

+-------+-------+-------+
| . . . | . . . | . . . |
| . 1 2 | . . . | . 3 . |
| . 3 4 | 5 . . | . 1 . |
+-------+-------+-------+
| . . 5 | 1 . . | . 4 2 |
| . . . | . . . | 6 . . |
| . . . | . 4 6 | . . . |
+-------+-------+-------+
| . . . | . 6 7 | 8 . . |
| . 4 3 | 2 . . | . 5 . |
| . . . | . . . | . . . |
+-------+-------+-------+
..........12....3..345...1...51...42......6......46.......678...432...5..........

[denis_berthier]

Solvable using only (Naked, Hidden and Supper-Hidden) Subsets (even finned-fish are not necessary):

Hidden Text: Show

***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = SFin
*** Using CLIPS 6.32-r773
***********************************************************************************************
hidden-single-in-a-row ==> r5c1 = 4
261 candidates, 2074 csp-links and 2074 links. Density = 6.11%
whip[1]: r7n5{c2 .} ==> r9c2 ≠ 5, r9c1 ≠ 5
whip[1]: r6n5{c9 .} ==> r5c9 ≠ 5
whip[1]: r6n2{c2 .} ==> r5c2 ≠ 2
hidden-pairs-in-a-row: r7{n3 n4}{c4 c9} ==> r7c9 ≠ 9, r7c9 ≠ 1, r7c4 ≠ 9
whip[1]: r7n1{c3 .} ==> r8c1 ≠ 1, r9c1 ≠ 1, r9c3 ≠ 1
hidden-pairs-in-a-row: r5{n2 n5}{c5 c6} ==> r5c6 ≠ 9, r5c6 ≠ 8, r5c6 ≠ 3, r5c5 ≠ 9, r5c5 ≠ 8, r5c5 ≠ 7, r5c5 ≠ 3
x-wing-in-rows: n3{r5 r7}{c4 c9} ==> r9c9 ≠ 3, r9c4 ≠ 3, r6c9 ≠ 3, r6c4 ≠ 3, r1c4 ≠ 3
hidden-pairs-in-a-block: b2{r1c5 r1c6}{n1 n3} ==> r1c6 ≠ 9, r1c6 ≠ 8, r1c6 ≠ 4, r1c6 ≠ 2, r1c5 ≠ 9, r1c5 ≠ 8, r1c5 ≠ 7, r1c5 ≠ 2
whip[1]: r1n2{c8 .} ==> r3c7 ≠ 2
x-wing-in-rows: n6{r3 r8}{c1 c9} ==> r9c9 ≠ 6, r9c1 ≠ 6, r4c1 ≠ 6, r2c9 ≠ 6, r2c1 ≠ 6, r1c9 ≠ 6, r1c1 ≠ 6
singles ==> r2c4 = 6, r4c2 = 6
jellyfish-in-columns: n8{c2 c8 c3 c4}{r9 r6 r5 r1} ==> r9c6 ≠ 8, r9c5 ≠ 8, r9c1 ≠ 8, r6c9 ≠ 8, r6c1 ≠ 8, r5c9 ≠ 8, r1c9 ≠ 8, r1c1 ≠ 8
whip[1]: c9n8{r3 .} ==> r1c8 ≠ 8
jellyfish-in-columns: n7{c2 c4 c3 c8}{r9 r6 r5 r1} ==> r9c9 ≠ 7, r9c7 ≠ 7, r9c1 ≠ 7, r6c9 ≠ 7, r6c7 ≠ 7, r6c1 ≠ 7, r5c9 ≠ 7, r1c9 ≠ 7, r1c7 ≠ 7, r1c1 ≠ 7
hidden-triplets-in-a-column: c9{n6 n7 n8}{r3 r8 r2} ==> r8c9 ≠ 9, r8c9 ≠ 1, r3c9 ≠ 9, r2c9 ≠ 9, r2c9 ≠ 5, r2c9 ≠ 4
hidden-triplets-in-a-block: b7{r8c1 r9c3 r9c2}{n6 n7 n8} ==> r9c3 ≠ 9, r9c2 ≠ 9, r9c2 ≠ 2, r8c1 ≠ 9
jellyfish-in-rows: n9{r2 r3 r8 r4}{c1 c5 c6 c7} ==> r9c7 ≠ 9, r9c6 ≠ 9, r9c5 ≠ 9, r9c1 ≠ 9, r7c1 ≠ 9, r6c7 ≠ 9, r6c1 ≠ 9, r1c7 ≠ 9, r1c1 ≠ 9
stte