The New Sudoku Players' Forum

[mith]

Code: Select all

+-------+-------+-------+
| . . . | 3 . . | 1 . . |
| . 4 1 | . . 5 | . . . |
| . . . | 9 . . | . 2 . |
+-------+-------+-------+
| 6 . 5 | . . . | . . 3 |
| . . . | . 5 . | . . . |
| 8 . . | . . . | 9 . 7 |
+-------+-------+-------+
| . 9 . | . . 3 | . . . |
| . . . | 2 . . | 3 8 . |
| . . 4 | . . 6 | . . . |
+-------+-------+-------+
...3..1...41..5......9...2.6.5.....3....5....8.....9.7.9...3......2..38...4..6...

[Cenoman]

Code: Select all

 +----------------------+---------------------+------------------------+
 |  2579  a2568  A678   |  3    x2467   278   |  1     yx4679  X5689   |
 | Y279    4      1     | Y78    267    5     | Y678     3     Y689    |
 |  57     568    3     |  9     1467   178   |  45678   2      568    |
 +----------------------+---------------------+------------------------+
 |  6      7      5     |  18    29     289   |  248     14     3      |
 |  4      3      9     |  178   5      278   |  268     16     1268   |
 |  8      1      2     |  6     3      4     |  9       5      7      |
 +----------------------+---------------------+------------------------+
 | Z127    9     c8-7   |  4     178    3     |  2567   z167    1256   |
 | Z157   Z56   ZB67    |  2     179    179   |  3       8      4      |
 |  3     b28     4     |  5     178    6     |  27     y179    129    |
 +----------------------+---------------------+------------------------+

Kraken row (6)r1c23589
(6-2)r1c2 = (2-8)r9c2 = (8)r7c3
(6)r1c3 - (6=7)r8c3
(64)r1c58 - (97)r19c8 = (7)r7c7
(6)r1c9 - (6=7892)r2c1479 - (2=1567)b7p1456
=> -7 r7c3; ste

[denis_berthier]

Starting from the same resolution state as Cenoman (obtained by singles and whips[1], a few bivalue-chains do the job. Even if more complex rules are activated (z-chains, ... whips), yet do not appear in the resolution path.

Hidden Text: Show

***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r779
***********************************************************************************************
biv-chain-rc[3]: r7c3{n7 n8} - r9c2{n8 n2} - r9c7{n2 n7} ==> r7c7 ≠ 7, r7c8 ≠ 7
whip[1]: b9n7{r9c8 .} ==> r9c5 ≠ 7
naked-pairs-in-a-column: c8{r5 r7}{n1 n6} ==> r9c8 ≠ 1, r4c8 ≠ 1, r1c8 ≠ 6
singles ==> r4c8 = 4, r3c7 = 4, r1c5 = 4, r7c7 = 5, r4c4 = 1
finned-x-wing-in-columns: n8{c4 c7}{r2 r5} ==> r5c9 ≠ 8
whip[1]: c9n8{r3 .} ==> r2c7 ≠ 8
biv-chain[4]: r7c3{n7 n8} - r9c2{n8 n2} - r9c7{n2 n7} - b3n7{r2c7 r1c8} ==> r1c3 ≠ 7
whip[1]: c3n7{r8 .} ==> r7c1 ≠ 7, r8c1 ≠ 7
hidden-pairs-in-a-row: r7{n7 n8}{c3 c5} ==> r7c5 ≠ 1
biv-chain[3]: c6n1{r3 r8} - r8c1{n1 n5} - r3c1{n5 n7} ==> r3c6 ≠ 7
biv-chain[3]: r3n7{c1 c5} - c5n6{r3 r2} - r2n2{c5 c1} ==> r2c1 ≠ 7
biv-chain[3]: r1c3{n6 n8} - b7n8{r7c3 r9c2} - c2n2{r9 r1} ==> r1c2 ≠ 6
biv-chain[4]: r7c5{n7 n8} - b7n8{r7c3 r9c2} - c2n2{r9 r1} - b2n2{r1c6 r2c5} ==> r2c5 ≠ 7
biv-chain[3]: r2n8{c9 c4} - r2n7{c4 c7} - r1c8{n7 n9} ==> r2c9 ≠ 9
stte