## More Pi 10 (SER 7.2)

Post puzzles for others to solve here.

### More Pi 10 (SER 7.2)

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...`
mith

Posts: 369
Joined: 14 July 2020

### Re: More Pi 10 (SER 7.2)

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
Cenoman
Cenoman

Posts: 1576
Joined: 21 November 2016
Location: Paris, France

### Re: More Pi 10 (SER 7.2)

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
denis_berthier
2010 Supporter

Posts: 1983
Joined: 19 June 2007
Location: Paris