The New Sudoku Players' Forum

[mith]

Code: Select all

+-------+-------+-------+
| . . . | . . . | . . . |
| . . 9 | 8 . . | . . 7 |
| . 6 5 | . 4 . | . 8 . |
+-------+-------+-------+
| . 3 . | . 2 . | . 6 . |
| . . 1 | 7 . . | . . 9 |
| . . . | . . . | 2 . . |
+-------+-------+-------+
| . . 7 | 9 . . | . . 1 |
| . 4 . | . 6 . | . 2 . |
| 1 . . | . . . | . . . |
+-------+-------+-------+
...........98....7.65.4..8..3..2..6...17....9......2....79....1.4..6..2.1........

[pjb]

seven SF and one finned SF to this point:

Code: Select all

 348     17      2348   | 236    79     35     | 345    19     2346   
 234     12      9      | 8      135    2356   | 3456   345    7     
 37      6       5      | 123    4      79     | 19     8      23     
------------------------+----------------------+---------------------
 79      3       48     | 45     2      19     | 17     6      458   
 246     258     1      | 7      35     3456   | 3458   345    9     
 45      79      46     | 3456   19     8      | 2      17     345   
------------------------+----------------------+---------------------
 26      258     7      | 9      358    2345   | 34568  345    1     
 3589    4       38     | 135    6      17     | 79     2      358   
 1       589     236    | 234    3578   345    | 3458   79     346   


then two simple chains:
(6=2)r7c1 - (2=6)r1579c6 => -6 r5c1
(2=3)r3c9 - r6c9 = r6c4 - (3=2)r9c4 => -2 r3c4; stte

(it also has several MSLS's as alternate to SFs)

Phil

[denis_berthier]

Code: Select all

+-------+-------+-------+
| . . . | . . . | . . . |
| . . 9 | 8 . . | . . 7 |
| . 6 5 | . 4 . | . 8 . |
+-------+-------+-------+
| . 3 . | . 2 . | . 6 . |
| . . 1 | 7 . . | . . 9 |
| . . . | . . . | 2 . . |
+-------+-------+-------+
| . . 7 | 9 . . | . . 1 |
| . 4 . | . 6 . | . 2 . |
| 1 . . | . . . | . . . |
+-------+-------+-------+
...........98....7.65.4..8..3..2..6...17....9......2....79....1.4..6..2.1........

As Subsets alone are not enough, I also activated bivalue-chains:

Hidden Text: Show

***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = BC+SFin
*** Using CLIPS 6.32-r770
***********************************************************************************************
254 candidates, 1918 csp-links and 1918 links. Density = 5.97%
hidden-pairs-in-a-block: b6{r4c7 r6c8}{n1 n7} ==> r6c8 ≠ 5, r6c8 ≠ 4, r6c8 ≠ 3, r4c7 ≠ 8, r4c7 ≠ 5, r4c7 ≠ 4
finned-x-wing-in-columns: n2{c3 c4}{r9 r1} ==> r1c6 ≠ 2
swordfish-in-columns: n6{c3 c4 c9}{r9 r6 r1} ==> r9c7 ≠ 6, r6c6 ≠ 6, r6c1 ≠ 6, r1c7 ≠ 6, r1c6 ≠ 6
swordfish-in-columns: n9{c2 c5 c8}{r9 r6 r1} ==> r9c7 ≠ 9, r6c6 ≠ 9, r6c1 ≠ 9, r1c7 ≠ 9, r1c6 ≠ 9
swordfish-in-columns: n7{c2 c5 c8}{r6 r1 r9} ==> r9c7 ≠ 7, r9c6 ≠ 7, r6c1 ≠ 7, r1c6 ≠ 7, r1c1 ≠ 7
hidden-pairs-in-a-block: b2{r1c5 r3c6}{n7 n9} ==> r3c6 ≠ 3, r3c6 ≠ 2, r3c6 ≠ 1, r1c5 ≠ 5, r1c5 ≠ 3, r1c5 ≠ 1
hidden-pairs-in-a-block: b4{r4c1 r6c2}{n7 n9} ==> r6c2 ≠ 8, r6c2 ≠ 5, r4c1 ≠ 8, r4c1 ≠ 5, r4c1 ≠ 4
hidden-pairs-in-a-block: b9{r8c7 r9c8}{n7 n9} ==> r9c8 ≠ 5, r9c8 ≠ 4, r9c8 ≠ 3, r8c7 ≠ 8, r8c7 ≠ 5, r8c7 ≠ 3
finned-x-wing-in-columns: n1{c5 c8}{r6 r2} ==> r2c7 ≠ 1
finned-x-wing-in-rows: n1{r3 r4}{c7 c4} ==> r6c4 ≠ 1
swordfish-in-rows: n1{r3 r4 r8}{c4 c7 c6} ==> r6c6 ≠ 1, r2c6 ≠ 1, r1c7 ≠ 1, r1c6 ≠ 1, r1c4 ≠ 1
hidden-triplets-in-a-row: r1{n1 n7 n9}{c8 c2 c5} ==> r1c8 ≠ 5, r1c8 ≠ 4, r1c8 ≠ 3, r1c2 ≠ 8, r1c2 ≠ 2
naked-triplets-in-a-column: c8{r1 r6 r9}{n9 n1 n7} ==> r2c8 ≠ 1
hidden-pairs-in-a-block: b3{r1c8 r3c7}{n1 n9} ==> r3c7 ≠ 3
hidden-triplets-in-a-column: c6{n1 n7 n9}{r4 r8 r3} ==> r8c6 ≠ 8, r8c6 ≠ 5, r8c6 ≠ 3, r4c6 ≠ 8, r4c6 ≠ 5, r4c6 ≠ 4
finned-x-wing-in-rows: n8{r4 r8}{c9 c3} ==> r9c3 ≠ 8
naked-triplets-in-a-row: r4{c1 c6 c7}{n7 n9 n1} ==> r4c4 ≠ 1
hidden-pairs-in-a-block: b5{r4c6 r6c5}{n1 n9} ==> r6c5 ≠ 8, r6c5 ≠ 5, r6c5 ≠ 3
swordfish-in-columns: n8{c2 c5 c7}{r9 r7 r5} ==> r9c9 ≠ 8, r9c6 ≠ 8, r7c6 ≠ 8, r7c1 ≠ 8, r5c6 ≠ 8, r5c1 ≠ 8
hidden-single-in-a-column ==> r6c6 = 8
swordfish-in-rows: n5{r4 r6 r8}{c4 c9 c1} ==> r9c9 ≠ 5, r9c4 ≠ 5, r7c1 ≠ 5, r5c1 ≠ 5, r1c9 ≠ 5, r1c4 ≠ 5
swordfish-in-rows: n2{r2 r5 r7}{c6 c2 c1} ==> r9c6 ≠ 2, r9c2 ≠ 2, r3c1 ≠ 2, r1c1 ≠ 2
biv-chain[3]: r7n6{c1 c7} - r2n6{c7 c6} - c6n2{r2 r7} ==> r7c1 ≠ 2
biv-chain[3]: r5n2{c1 c2} - b7n2{r7c2 r9c3} - b7n6{r9c3 r7c1} ==> r5c1 ≠ 6
singles ==> r6c3 = 6, r5c6 = 6, r1c4 = 6, r2c7 = 6, r9c9 = 6,> r7c1 = 6
whip[1]: c6n4{r9 .} ==> r9c4 ≠ 4
naked-pairs-in-a-row: r9{c3 c4}{n2 n3} ==> r9c7 ≠ 3, r9c6 ≠ 3, r9c5 ≠ 3
swordfish-in-columns: n4{c3 c4 c9}{r1 r4 r6} ==> r6c1 ≠ 4, r1c7 ≠ 4, r1c1 ≠ 4
naked-single ==> r6c1 = 5
naked-pairs-in-a-row: r1{c6 c7}{n3 n5} ==> r1c9 ≠ 3, r1c3 ≠ 3, r1c1 ≠ 3
stte

[mith]

My solution is kinda a combination of the two above:

Hidden Text: Show

7 SF, 1 finned SF (r7c1 ≠ 3), a VWXYZ-wing (r5c1 ≠ 6), then basics and one more SF.