The New Sudoku Players' Forum

[mith]

Code: Select all

+-------+-------+-------+
| . . . | . . . | . . 9 |
| . . 8 | 7 . . | 6 . . |
| . 9 5 | . 4 . | . . 3 |
+-------+-------+-------+
| . 2 . | . 3 . | . 9 . |
| . . 6 | 1 . . | 7 . . |
| 1 . . | . . 7 | . . . |
+-------+-------+-------+
| . . . | . . 4 | . . . |
| . . 1 | 6 . . | 8 . . |
| . 3 . | . . . | . 4 . |
+-------+-------+-------+
........9..87..6...95.4...3.2..3..9...61..7..1....7........4.....16..8...3.....4.

[Leren]

Code: Select all

*--------------------------------------------------------------------------------*
| 23467   1467    2347     | 2358    12568   123568   | 1245    78      9        |
| 234     14      8        | 7       1259    12359    | 6       125     1245     |
| 267     9       5        | 28      4      e128-6    |d12      78      3        |
|--------------------------+--------------------------+--------------------------|
| 4578    2       47       | 458     3      a568      |c145     9      b14568    |
| 39      458     6        | 1       2589    2589     | 7       235     2458     |
| 1       458     39       | 24589   25689   7        | 2345    2356    24568    |
|--------------------------+--------------------------+--------------------------|
| 256789  5678    279      | 23589   125789  4        | 12359   12356   12567    |
| 24579   457     1        | 6       2579    2359     | 8       235     257      |
| 256789  3       279      | 2589    125789  12589    | 1259    4       12567    |
*--------------------------------------------------------------------------------*

L2 Wing: (6) r4c6 = (6-1) r4c9 = r4c7 - r3c7 = (1) r3c6 => - 6 r3c6

Code: Select all

*--------------------------------------------------------------------------------*
| 2347    147     2347     | 235     6       1235     | 245-1     8     9        |
| 234     14      8        | 7       1259    12359    | 6       125     1245     |
| 6       9       5        |e28      4      d18-2     |c12      7       3        |
|--------------------------+--------------------------+--------------------------|
| 457     2       47       |f458     3       6        |b145     9     fa18-45    |
| 39      458     6        | 1       2589    2589     | 7       235     2458     |
| 1       458     39       | 2459-8  2589    7        | 2345    6       2458     |
|--------------------------+--------------------------+--------------------------|
| 25789   6       279      | 2359-8  125789  4        | 2359-1  1235    1257     |
| 24579   457     1        | 6       2579    2359     | 8       235     257      |
| 25789   3       279      | 259-8   125789  12589    | 259-1   4       6        |
*--------------------------------------------------------------------------------*

Double Skyscraper loop : (1) r4c9 = r4c7 - r3c7 = (1-8) r3c6 = r3c4 - r4c4 = (8) r4c9 loop => - 1 r179c7, - 2 r3c6, - 45 r4c9, - 8 r679c4

Code: Select all

*--------------------------------------------------------------------------------*
| 2347  ga17-4    2347     | 235     6      f1235     | 245     8       9        |
| 234     14      8        | 7      e1259    2359-1   | 6       125     1245     |
| 6       9       5        | 28      4       8-1      | 12      7       3        |
|--------------------------+--------------------------+--------------------------|
| 457     2       47       | 458     3       6        | 145     9       18       |
| 39      458     6        | 1       2589    2589     | 7       235     2458     |
| 1       458     39       | 2459    2589    7        | 2345    6       2458     |
|--------------------------+--------------------------+--------------------------|
| 2589-7  6       29-7     | 2359    25789   4        | 2359    1235    1257     |
| 2459-7 b457     1        | 6       2579    2359     | 8       235     257      |
|c25789   3      c279      | 259    d17-2589 12589    | 259     4       6        |
*--------------------------------------------------------------------------------*

Double Kite loop : (7) r1c2 = r8c2 - r9c13 = (7-1) r9c5 = r2c5 - r1c6 = (1) r1c2 loop => - 4 r2c2, - 1 r23c6, - 7 r7c13, r8c1, - 2589 r9c5; claiming intersection Box 8; stte

An alternative was 5 Swordfish, 2 Jellyfish and the L2 wing.

Leren

[denis_berthier]

Code: Select all

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

Solved with only Subsets and short bivalue-chains (length ≤ 3):

Code: Select all

***********************************************************************************************
***  SudoRules 20.1.s based on CSP-Rules 2.1.s, config = BC+SFin
***  Using CLIPS 6.32-r770
***********************************************************************************************
243 candidates, 1764 csp-links and 1764 links. Density = 6.0%
whip[1]: c9n7{r9 .} ==> r8c8 ≠ 7, r7c8 ≠ 7
whip[1]: c9n8{r6 .} ==> r6c8 ≠ 8, r5c8 ≠ 8
hidden-pairs-in-a-block: b4{r5c1 r6c3}{n3 n9} ==> r6c3 ≠ 4, r5c1 ≠ 8, r5c1 ≠ 5, r5c1 ≠ 4
hidden-pairs-in-a-column: c8{n7 n8}{r1 r3} ==> r3c8 ≠ 2, r3c8 ≠ 1, r1c8 ≠ 5, r1c8 ≠ 2, r1c8 ≠ 1
finned-x-wing-in-rows: n4{r5 r2}{c9 c2} ==> r1c2 ≠ 4
finned-x-wing-in-columns: n4{c3 c7}{r1 r4} ==> r4c9 ≠ 4
swordfish-in-columns: n9{c3 c4 c7}{r9 r6 r7} ==> r9c6 ≠ 9, r9c5 ≠ 9, r9c1 ≠ 9, r7c5 ≠ 9, r7c1 ≠ 9, r6c5 ≠ 9
swordfish-in-columns: n6{c2 c5 c8}{r7 r1 r6} ==> r7c9 ≠ 6, r7c1 ≠ 6, r6c9 ≠ 6, r1c6 ≠ 6, r1c1 ≠ 6
swordfish-in-columns: n3{c3 c4 c7}{r6 r1 r7} ==> r7c8 ≠ 3, r6c8 ≠ 3, r1c6 ≠ 3, r1c1 ≠ 3
swordfish-in-rows: n4{r2 r5 r8}{c1 c9 c2} ==> r6c9 ≠ 4, r6c2 ≠ 4, r4c1 ≠ 4, r1c1 ≠ 4
hidden-triplets-in-a-column: c1{n3 n4 n9}{r5 r2 r8} ==> r8c1 ≠ 7, r8c1 ≠ 5, r8c1 ≠ 2, r2c1 ≠ 2
hidden-triplets-in-a-row: r6{n3 n4 n9}{c3 c7 c4} ==> r6c7 ≠ 5, r6c7 ≠ 2, r6c4 ≠ 8, r6c4 ≠ 5, r6c4 ≠ 2
biv-chain[3]: r2n9{c5 c6} - r2n3{c6 c1} - r5c1{n3 n9} ==> r5c5 ≠ 9
biv-chain[3]: r5n9{c6 c1} - r5n3{c1 c8} - r8n3{c8 c6} ==> r8c6 ≠ 9
biv-chain[3]: c6n9{r2 r5} - r5c1{n9 n3} - r2n3{c1 c6} ==> r2c6 ≠ 1, r2c6 ≠ 2, r2c6 ≠ 5
finned-swordfish-in-rows: n2{r2 r6 r8}{c8 c9 c5} ==> r9c5 ≠ 2, r7c5 ≠ 2
biv-chain[3]: c4n3{r7 r1} - r2c6{n3 n9} - b5n9{r5c6 r6c4} ==> r7c4 ≠ 9
biv-chain[3]: r7n9{c3 c7} - c7n3{r7 r6} - r6c3{n3 n9} ==> r9c3 ≠ 9
biv-chain[3]: r9c3{n2 n7} - r4n7{c3 c1} - r1c1{n7 n2} ==> r7c1 ≠ 2, r9c1 ≠ 2, r1c3 ≠ 2
biv-chain[3]: c3n2{r9 r7} - r7n9{c3 c7} - r9n9{c7 c4} ==> r9c4 ≠ 2
finned-swordfish-in-columns: n2{c1 c4 c7}{r1 r3 r7} ==> r7c9 ≠ 2, r7c8 ≠ 2
hidden-triplets-in-a-row: r7{n2 n3 n9}{c3 c4 c7} ==> r7c7 ≠ 5, r7c7 ≠ 1, r7c4 ≠ 8, r7c4 ≠ 5, r7c3 ≠ 7
biv-chain[3]: r7c3{n2 n9} - r6c3{n9 n3} - c7n3{r6 r7} ==> r7c7 ≠ 2
finned-swordfish-in-columns: n2{c1 c7 c4}{r1 r3 r9} ==> r9c6 ≠ 2
biv-chain[3]: r4n6{c6 c9} - b6n1{r4c9 r4c7} - r3n1{c7 c6} ==> r3c6 ≠ 6
singles ==> r1c5 = 6, r3c1 = 6, r1c1 = 2, r3c8 = 7, r1c8 = 8, r7c2 = 6, r9c9 = 6, r6c8 = 6, r4c6 = 6, r4c1 ≠ 8
swordfish-in-columns: n2{c3 c4 c7}{r9 r7 r3} ==> r3c6 ≠ 2
biv-chain[2]: c6n2{r8 r5} - r6n2{c5 c9} ==> r8c9 ≠ 2
naked-triplets-in-a-block: b9{r7c8 r7c9 r8c9}{n5 n1 n7} ==> r9c7 ≠ 5, r9c7 ≠ 1, r8c8 ≠ 5
whip[1]: r9n1{c6 .} ==> r7c5 ≠ 1
naked-triplets-in-a-column: c6{r1 r3 r9}{n5 n1 n8} ==> r8c6 ≠ 5, r5c6 ≠ 8, r5c6 ≠ 5
naked-pairs-in-a-block: b8{r7c4 r8c6}{n2 n3} ==> r8c5 ≠ 2
swordfish-in-columns: n5{c4 c6 c7}{r4 r9 r1} ==> r9c5 ≠ 5, r9c1 ≠ 5, r4c9 ≠ 5, r4c1 ≠ 5
stte