The New Sudoku Players' Forum

[mith]

Code: Select all

+-------+-------+-------+
| . . . | . . . | . . . |
| . . 9 | 8 . . | . . 7 |
| . 6 . | . 5 . | . 4 . |
+-------+-------+-------+
| . 3 . | . 4 . | . 2 . |
| . . 8 | 7 . . | . . 9 |
| . . . | . . . | . . . |
+-------+-------+-------+
| . . 2 | . . 9 | . . . |
| . 4 . | . 3 . | . 6 . |
| . . 7 | 1 6 . | . . 8 |
+-------+-------+-------+
...........98....7.6..5..4..3..4..2...87....9...........2..9....4..3..6...716...8

[Leren]

Code: Select all

*-------------------------------------------------------------*
| 124578 12578 1345 |g2369-4 79  123467 | 1235689 13589 12356 |
|b1245   125   9    | 8      12 a1234-6 | 12356   135   7     |
| 1278   6     13   | 239    5   1237   | 12389   4     123   |
|-------------------+-------------------+---------------------|
| 1579   3     156  |f69     4   1568   | 15678   2     156   |
|c1245   125   8    | 7      12 e12356  |d13456   135   9     |
| 124579 12579 1456 |f2369   89  123568 | 1345678 13578 13456 |
|-------------------+-------------------+---------------------|
| 6      158   2    | 45     78  9      | 13457   1357  1345  |
| 89     4     15   | 25     3   78     | 79      6     125   |
| 3      59    7    | 1      6   24     | 24      59    8     |
*-------------------------------------------------------------*

(4) r2c6 = r2c1 - r5c1 = (4-6) r5c7 = r5c6 - r46c4 = (6) r1c4 => - 4 r1c4, - 6 r2c6; stte

Leren

[denis_berthier]

...........98....7.6..5..4..3..4..2...87....9...........2..9....4..3..6...716...8

A lot of Subsets (24) and no chain appearing, although they were activated:

***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r779
***********************************************************************************************
singles ==> r7c1 = 6, r9c1 = 3
234 candidates, 1671 csp-links and 1671 links. Density = 6.13%
naked-pairs-in-a-row: r9{c2 c8}{n5 n9} ==> r9c7 ≠ 9, r9c7 ≠ 5, r9c6 ≠ 5
naked-pairs-in-a-column: c5{r2 r5}{n1 n2} ==> r6c5 ≠ 2, r6c5 ≠ 1, r1c5 ≠ 2, r1c5 ≠ 1
hidden-pairs-in-a-block: b8{r7c5 r8c6}{n7 n8} ==> r8c6 ≠ 5, r8c6 ≠ 2
whip[1]: c6n5{r6 .} ==> r4c4 ≠ 5, r6c4 ≠ 5
x-wing-in-rows: n6{r2 r5}{c6 c7} ==> r6c7 ≠ 6, r6c6 ≠ 6, r4c7 ≠ 6, r4c6 ≠ 6, r1c7 ≠ 6, r1c6 ≠ 6
naked-triplets-in-a-row: r8{c3 c4 c9}{n1 n5 n2} ==> r8c7 ≠ 5, r8c7 ≠ 2, r8c7 ≠ 1, r8c1 ≠ 5, r8c1 ≠ 1
swordfish-in-columns: n9{c2 c5 c8}{r9 r6 r1} ==> r6c4 ≠ 9, r6c1 ≠ 9, r1c7 ≠ 9, r1c4 ≠ 9
swordfish-in-columns: n4{c3 c4 c9}{r6 r1 r7} ==> r7c7 ≠ 4, r6c7 ≠ 4, r6c1 ≠ 4, r1c6 ≠ 4, r1c1 ≠ 4
hidden-pairs-in-a-block: b2{r1c4 r2c6}{n4 n6} ==> r2c6 ≠ 3, r2c6 ≠ 2, r2c6 ≠ 1, r1c4 ≠ 3, r1c4 ≠ 2
whip[1]: r2n3{c8 .} ==> r1c7 ≠ 3, r1c8 ≠ 3, r1c9 ≠ 3, r3c7 ≠ 3, r3c9 ≠ 3
hidden-pairs-in-a-column: c9{n3 n4}{r6 r7} ==> r7c9 ≠ 5, r7c9 ≠ 1, r6c9 ≠ 6, r6c9 ≠ 5, r6c9 ≠ 1
swordfish-in-columns: n7{c2 c5 c8}{r6 r1 r7} ==> r7c7 ≠ 7, r6c7 ≠ 7, r6c1 ≠ 7, r1c6 ≠ 7, r1c1 ≠ 7
hidden-pairs-in-a-block: b4{r4c1 r6c2}{n7 n9} ==> r6c2 ≠ 5, r6c2 ≠ 2, r6c2 ≠ 1, r4c1 ≠ 5, r4c1 ≠ 1
finned-x-wing-in-columns: n2{c5 c2}{r5 r2} ==> r2c1 ≠ 2
swordfish-in-rows: n8{r3 r4 r8}{c1 c7 c6} ==> r6c7 ≠ 8, r6c6 ≠ 8, r1c7 ≠ 8, r1c1 ≠ 8
hidden-pairs-in-a-block: b1{r1c2 r3c1}{n7 n8} ==> r3c1 ≠ 2, r3c1 ≠ 1, r1c2 ≠ 5, r1c2 ≠ 2, r1c2 ≠ 1
hidden-pairs-in-a-block: b3{r1c8 r3c7}{n8 n9} ==> r3c7 ≠ 2, r3c7 ≠ 1, r1c8 ≠ 5, r1c8 ≠ 1
hidden-pairs-in-a-block: b6{r4c7 r6c8}{n7 n8} ==> r6c8 ≠ 5, r6c8 ≠ 3, r6c8 ≠ 1, r4c7 ≠ 5, r4c7 ≠ 1
x-wing-in-columns: n2{c2 c5}{r2 r5} ==> r5c6 ≠ 2, r5c1 ≠ 2, r2c7 ≠ 2
swordfish-in-rows: n1{r3 r4 r8}{c3 c6 c9} ==> r6c6 ≠ 1, r6c3 ≠ 1, r5c6 ≠ 1, r1c9 ≠ 1, r1c6 ≠ 1, r1c3 ≠ 1
x-wing-in-rows: n1{r1 r6}{c1 c7} ==> r7c7 ≠ 1, r5c7 ≠ 1, r5c1 ≠ 1, r2c7 ≠ 1, r2c1 ≠ 1
naked-pairs-in-a-column: c1{r2 r5}{n4 n5} ==> r6c1 ≠ 5, r1c1 ≠ 5
naked-triplets-in-a-row: r7{c4 c7 c9}{n4 n5 n3} ==> r7c8 ≠ 5, r7c8 ≠ 3, r7c2 ≠ 5
hidden-triplets-in-a-column: c6{n1 n7 n8}{r4 r3 r8} ==> r4c6 ≠ 5, r3c6 ≠ 3, r3c6 ≠ 2
x-wing-in-rows: n2{r3 r8}{c4 c9} ==> r6c4 ≠ 2, r1c9 ≠ 2
swordfish-in-columns: n5{c1 c2 c8}{r5 r2 r9} ==> r5c7 ≠ 5, r5c6 ≠ 5, r2c7 ≠ 5
stte

[SteveG48]

Code: Select all

 *--------------------------------------------------------------------------------------*
 | 124578   12578   d1345     |e23469    9-7     e123467   | 1235689  13589    12356    |
 | 1245     125      9        | 8        12      f12346    | 12356    135      7        |
 | 1278     6       i13       | 239      5       i1237     | 12389    4       i123      |
 *----------------------------+----------------------------+----------------------------|
 | 1579     3       c156      |b69       4        1568     | 15678    2        156      |
 | 1245     125      8        | 7        12       12356    | 13456    135      9        |
 | 124579   12579   d1456     | 2369    a89       123568   | 1345678  13578    13456    |
 *----------------------------+----------------------------+----------------------------|
 | 6        158      2        | 45      a78       9        | 13457    1357    h1345     |
 | 89       4        15       | 25       3        8-7      | 79       6        125      |
 | 3        59       7        | 1        6      fh24       |g24       59       8        |
 *--------------------------------------------------------------------------------------*


(7=89)r67c5 - (9=6)r4c4 - r4c3 = (64)r16c3 - 4r1c46 = (42)r29c6 - 2r9c7 = r8c9&r9c6 - (2=137)r3c369 => -7 r1c5 ; stte