The New Sudoku Players' Forum

[denis_berthier]

Lockdowned. Dreaming of waves.

Code: Select all

+-------+-------+-------+
! . . 6 ! 7 . . ! . . 1 !
! . 2 . ! . 3 . ! . 7 . !
! 5 . . ! . . 8 ! 3 . . !
+-------+-------+-------+
! . . 4 ! 1 . . ! . . 3 !
! . 9 . ! . 5 . ! . 4 . !
! 7 . . ! . . 9 ! 1 . . !
+-------+-------+-------+
! . . 2 ! 9 . . ! . . 8 !
! . 8 . ! . 2 . ! . 1 . !
! 4 . . ! . . 3 ! 7 . . !
+-------+-------+-------+

..67....1.2..3..7.5....83....41....3.9..5..4.7....91....29....8.8..2..1.4....37..
SER 7.2


[DEFISE]

Singles: 3L7C8, 7L5C9
whip[4]: r3n7{c3 c2}- c2n4{r3 r1}- r1n3{c2 c1}- r8n3{c1 .} => -7L8C3
Singles: 7L8C6, 7L4C5, 7L7C2, 7L3C3
Naked pair: 26-L4C6-L5C6 => -2L1C6 -6L2C6 -6L7C6
Single: 2L3C4
Alignment: 2-L6-B6 => -2L4C7 -2L4C8 -2L5C7
Single: 2L1C7
Alignment: 6-C6-B5 => -6L5C4 -6L6C4 -6L6C5
whip[4]: r1c6{n5 n4}- c2n4{r1 r3}- r3n1{c2 c5}- r2c6{n1 .} => -5L7C6
Single: 5L7C7
Alignment: 4-L7-B8 => -4L8C4
Alignment: 5-C6-B2 => -5L2C4
whip[4]: c4n3{r5 r6}- c4n4{r6 r2}- r1n4{c5 c2}- c2n3{r1 .} => -8L5C4
Single: 3L5C4
Alignment: 8-B5-L6 => -8L6C3 -8L6C8
Naked triplet: 356-L4C2-L6C2-L6C3 => -6L4C1 -6L5C1
Alignment: 6-C1-B7 => -6L9C2
whip[3]: r1c5{n9 n4}- c2n4{r1 r3}- r3n1{c2 .} => -9L3C5
Single: 9L1C5
Alignment: 9-L3-B3 => -9L2C7 -9L2C9
whip[4]: r1c8{n5 n8}- r1c1{n8 n3}- c2n3{r1 r6}- r6c3{n3 .} => -5L6C8
Hidden pair: 58-L1C8-L4C8 => -6L4C8 -9L4C8
Single: 9L4C7
whip[4]: c3n8{r2 r5}- r5n1{c3 c1}- r2c1{n1 n8}- c7n8{r2 .} => -9L2C3
Single: 9L2C1
Naked pair: 18-L2C3-L5C3 => -1L9C3
whip[4]: r9n1{c5 c2}- r3n1{c2 c5}- c5n6{r3 r7}- r7c1{n6 .} => -8L9C5
Singles: 8L9C4, 4L6C4, 6L2C4, 8L6C5, 5L8C4
Naked pair: 14-L3C2-L3C5 => -4L3C9
Alignment: 4-B3-L2 => -4L2C6
whip[4]: r8n9{c3 c9}- c9n4{r8 r2}- c9n5{r2 r6}- c3n5{r6 .} => -9L9C3

stte

[denis_berthier]

Hi Defise
Excellent solution, with fewer steps than SudoRules and none of them longer than necessary.

[DEFISE]

Thank’s Denis,
I spent more than a day programming the exact format of the whips !

[denis_berthier]

I spent more than a day programming the exact format of the whips !

Good
I don't remember how long it took me. That was too long ago.
Could you try your semi-optimisation technique on the Waves 9.3 ?

[Mauriès Robert]

Hi François,
Congratulations for your programming and the resolution that follows.
Obviously as you know, the same resolution can be done with tracks or anti-tracks, but here is a different resolution based on the only exploitation of the two tracks from the 4B1 pair. It is here a progressive construction of the two tracks, but we could make a global construction which would allow us to note that P(4r1c2) is invalid and that P(4r3c2) covers the puzzle which is thus of level 1 TDP.
-Step 1)

puzzle1: Show

Reduction of the puzzle by TB.
-Step 2)

puzzle2: Show

P(4r1c2) : 4r1c2->(9r1c5 and 3r1c1->3r8c3->7r7c2->...)
P(4r3c2) : 4r3c2->7r3c3->(7r7c2 and 1r3c5->9r1c5)->...
=> r1c5=9, r7c2=7 and reduction of the puzzle by TB.
So we continue the construction of the two tracks like this:
-Step3)

puzzle3: Show

P(4r1c2) : ...->(5r1c6 and 3r5c4)->...
P(4r3c2) : ...->(1r7c6->6r7c1)->4r7c5->8r6c5->3r5c4->...
=> r5c4=3, -5r7c6 donc r7c7=5 and reduction of the puzzle by TB.
So we continue the construction of the two tracks like this:
-Step4)

puzzle4: Show

P(4r1c2) : ...->(1r3c2 and 5r6c3->24r6c89->8r5c7->1r5c3)->1r9c5->...
P(4r3c2) : ...->8r6c5->...
=> -8r9c5 donc r9c4=8 and reduction of the puzzle by TB.
So we continue the construction of the two tracks like this:
-Step5)

puzzle5: Show

P(4r1c2) : ...->8r2c3->9r2c1->...
P(4r3c2) : ...->3r1c2->3r6c3->3r8c8->9r2c1->...
=> r2c1=9 and reduction of the puzzle by TB.
So we continue the construction of the two tracks like this:
-Step6)

puzzle6: Show

P(4r1c2) : ...->(6r8c1 and 5r4c8->9r4c7)->4r8c7->...
P(4r3c2) : ...->5r2c6->4r2c9->4r8c7->...
=> r8c7=4, stte.
Friendly
Robert

[denis_berthier]

Here's SusoRules full resolution path, in W4.

***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r779
***********************************************************************************************
singles ==> r7c8 = 3, r5c9 = 7
182 candidates, 993 csp-links and 993 links. Density = 6.03%
swordfish-in-columns: n2{c1 c6 c7}{r5 r4 r1} ==> r5c4 ≠ 2, r4c8 ≠ 2, r1c8 ≠ 2
z-chain-rc[3]: r4c2{n6 n5} - r9c2{n5 n1} - r7c1{n1 .} ==> r7c2 ≠ 6
z-chain[3]: c3n7{r3 r8} - r8n3{c3 c1} - c1n9{r8 .} ==> r3c3 ≠ 9
biv-chain-bn[4]: b1n4{r3c2 r1c2} - b1n3{r1c2 r1c1} - b7n3{r8c1 r8c3} - b7n7{r8c3 r7c2} ==> r3c2 ≠ 7
singles ==> r3c3 = 7, r7c2 = 7, r8c6 = 7, r4c5 = 7
naked-pairs-in-a-block: b5{r4c6 r5c6}{n2 n6} ==> r6c5 ≠ 6, r6c4 ≠ 6, r6c4 ≠ 2, r5c4 ≠ 6
singles ==> r3c4 = 2, r1c7 = 2
whip[1]: b5n6{r5c6 .} ==> r2c6 ≠ 6, r7c6 ≠ 6
finned-x-wing-in-rows: n5{r1 r7}{c6 c8} ==> r9c8 ≠ 5
finned-x-wing-in-rows: n8{r1 r4}{c1 c8} ==> r6c8 ≠ 8
finned-x-wing-in-rows: n5{r7 r1}{c6 c7} ==> r2c7 ≠ 5
biv-chain[3]: c2n4{r1 r3} - r3n1{c2 c5} - b2n9{r3c5 r1c5} ==> r1c5 ≠ 4
naked-single ==> r1c5 = 9
whip[1]: b1n9{r2c3 .} ==> r2c7 ≠ 9, r2c9 ≠ 9
biv-chain[3]: r1n4{c6 c2} - r3c2{n4 n1} - b2n1{r3c5 r2c6} ==> r2c6 ≠ 4
z-chain[3]: r4n9{c7 c8} - c8n8{r4 r1} - c8n5{r1 .} ==> r4c7 ≠ 5
whip[1]: c7n5{r8 .} ==> r8c9 ≠ 5, r9c9 ≠ 5
t-whip[3]: r5c7{n6 n8} - r4n8{c8 c1} - c1n2{r4 .} ==> r5c1 ≠ 6
t-whip[3]: c6n6{r4 r5} - r5c7{n6 n8} - r4n8{c7 .} ==> r4c1 ≠ 6
whip[1]: c1n6{r8 .} ==> r9c2 ≠ 6
biv-chain[4]: c2n3{r6 r1} - r1c1{n3 n8} - r1c8{n8 n5} - r4n5{c8 c2} ==> r6c2 ≠ 5
biv-chain[4]: c8n8{r4 r1} - r1c1{n8 n3} - c2n3{r1 r6} - b4n6{r6c2 r4c2} ==> r4c8 ≠ 6
biv-chain[4]: r2c6{n5 n1} - r3n1{c5 c2} - b1n4{r3c2 r1c2} - c6n4{r1 r7} ==> r7c6 ≠ 5
hidden-single-in-a-row ==> r7c7 = 5
whip[1]: b9n4{r8c9 .} ==> r8c4 ≠ 4
whip[1]: b8n5{r9c4 .} ==> r2c4 ≠ 5
biv-chain[3]: r2n5{c9 c6} - r1c6{n5 n4} - r2c4{n4 n6} ==> r2c9 ≠ 6
biv-chain[3]: c4n4{r6 r2} - r1n4{c6 c2} - c2n3{r1 r6} ==> r6c4 ≠ 3
hidden-single-in-a-block ==> r5c4 = 3
whip[1]: b5n8{r6c5 .} ==> r6c3 ≠ 8
biv-chain[3]: b1n9{r2c1 r2c3} - c3n8{r2 r5} - b4n1{r5c3 r5c1} ==> r2c1 ≠ 1
biv-chain[4]: b8n5{r8c4 r9c4} - r9c2{n5 n1} - r3n1{c2 c5} - b2n6{r3c5 r2c4} ==> r8c4 ≠ 6
naked-single ==> r8c4 = 5
biv-chain[4]: r4n5{c8 c2} - r6c3{n5 n3} - r8c3{n3 n9} - c7n9{r8 r4} ==> r4c8 ≠ 9
hidden-single-in-a-block ==> r4c7 = 9
naked-pairs-in-a-column: c8{r1 r4}{n5 n8} ==> r6c8 ≠ 5
x-wing-in-columns: n8{c3 c7}{r2 r5} ==> r5c1 ≠ 8, r2c1 ≠ 8
naked-single ==> r2c1 = 9
naked-pairs-in-a-column: c3{r2 r5}{n1 n8} ==> r9c3 ≠ 1
x-wing-in-rows: n1{r3 r9}{c2 c5} ==> r7c5 ≠ 1
biv-chain-rc[3]: r6c5{n8 n4} - r7c5{n4 n6} - r9c4{n6 n8} ==> r6c4 ≠ 8, r9c5 ≠ 8
singles ==> r6c4 = 4, r2c4 = 6, r9c4 = 8, r6c5 = 8
whip[1]: r2n4{c9 .} ==> r3c9 ≠ 4
biv-chain[3]: r3c9{n6 n9} - c8n9{r3 r9} - b9n2{r9c8 r9c9} ==> r9c9 ≠ 6
biv-chain[3]: r9c9{n2 n9} - r9c3{n9 n5} - r6n5{c3 c9} ==> r6c9 ≠ 2
singles ==> r6c8 = 2, r9c9 = 2
biv-chain-rc[4]: r8c3{n9 n3} - r6c3{n3 n5} - r6c9{n5 n6} - r3c9{n6 n9} ==> r8c9 ≠ 9
stte

[DEFISE]

Hi François,
Congratulations for your programming and the resolution that follows.

Thank's, Robert, congratulations too, I don't have your facility as a manual solver.