The New Sudoku Players' Forum

[Mauriès Robert]

Hi all,
I propose you this puzzle to solve.
Good resolution.
Robert

.471.6...2.38.........7.9...8.....724...8...657.....9...8.5.........27.8...4.862.

puzzle: Show

[denis_berthier]

Solution in W5. Typical resolution path for a non pre-digested puzzle. I found nothing noticeable:

Hidden Text: Show

***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r779
***********************************************************************************************
9 singles
164 candidates, 862 csp-links and 862 links. Density = 6.45%
whip[1]: c4n5{r5 .} ==> r5c6 ≠ 5, r4c6 ≠ 5
whip[1]: r1n5{c9 .} ==> r3c9 ≠ 5, r2c7 ≠ 5, r2c8 ≠ 5, r3c8 ≠ 5
whip[1]: c7n5{r5 .} ==> r5c8 ≠ 5
finned-x-wing-in-rows: n6{r7 r6}{c4 c1} ==> r4c1 ≠ 6
whip[1]: b4n6{r6c3 .} ==> r3c3 ≠ 6
z-chain[3]: r4n5{c4 c7} - b6n4{r4c7 r6c9} - r6n3{c9 .} ==> r4c4 ≠ 3
z-chain[3]: b4n3{r4c1 r5c2} - r9n3{c2 c9} - r6n3{c9 .} ==> r4c5 ≠ 3
z-chain[4]: c3n9{r4 r9} - c3n5{r9 r3} - r2n5{c2 c6} - b2n9{r2c6 .} ==> r4c5 ≠ 9
whip[4]: b4n3{r4c1 r5c2} - c7n3{r5 r7} - c1n3{r7 r8} - c4n3{r8 .} ==> r4c6 ≠ 3
whip-cn[5]: c3n9{r4 r9} - c3n5{r9 r3} - c6n5{r3 r2} - c6n9{r2 r7} - c9n9{r7 .} ==> r4c4 ≠ 9
whip-rc[5]: r6c4{n3 n6} - r6c3{n6 n1} - r6c6{n1 n4} - r3c6{n4 n5} - r3c3{n5 .} ==> r5c6 ≠ 3
whip[5]: r6c4{n3 n6} - r4n6{c5 c3} - c3n9{r4 r9} - r8n9{c2 c5} - c5n6{r8 .} ==> r8c4 ≠ 3
whip[5]: r1n3{c9 c5} - r9n3{c5 c2} - r8n3{c2 c8} - b9n5{r8c8 r9c9} - r1c9{n5 .} ==> r3c9 ≠ 3
naked-pairs-in-a-block: b3{r2c7 r3c9}{n1 n4} ==> r3c8 ≠ 4, r3c8 ≠ 1, r2c8 ≠ 4, r2c8 ≠ 1
singles ==> r2c8 = 6, r7c8 = 4
x-wing-in-columns: n4{c5 c7}{r2 r4} ==> r4c6 ≠ 4, r2c6 ≠ 4
z-chain-rc[3]: r4c6{n1 n9} - r4c3{n9 n6} - r6c3{n6 .} ==> r4c1 ≠ 1
biv-chain[4]: r4c1{n3 n9} - b1n9{r1c1 r2c2} - r2c5{n9 n4} - c7n4{r2 r4} ==> r4c7 ≠ 3
hidden-single-in-a-row ==> r4c1 = 3
biv-chain[3]: r5c2{n9 n1} - c8n1{r5 r8} - r8n5{c8 c2} ==> r8c2 ≠ 9
finned-x-wing-in-rows: n9{r1 r8}{c1 c5} ==> r9c5 ≠ 9
biv-chain[3]: c7n3{r7 r5} - r5n5{c7 c4} - c4n7{r5 r7} ==> r7c4 ≠ 3
whip[1]: c4n3{r6 .} ==> r6c6 ≠ 3
finned-x-wing-in-rows: n3{r3 r7}{c6 c8} ==> r8c8 ≠ 3
z-chain-rc[3]: r5c2{n1 n9} - r2c2{n9 n5} - r3c3{n5 .} ==> r3c2 ≠ 1
biv-chain[4]: r8n5{c2 c8} - c8n1{r8 r5} - r5c2{n1 n9} - c3n9{r4 r9} ==> r9c3 ≠ 5
singles ==> r3c3 = 5, r3c2 = 6, r2c6 = 5
whip[1]: b2n9{r2c5 .} ==> r8c5 ≠ 9
naked-pairs-in-a-column: c2{r2 r5}{n1 n9} ==> r9c2 ≠ 9, r9c2 ≠ 1, r8c2 ≠ 1
t-whip[2]: r3n1{c9 c1} - b7n1{r8c1 .} ==> r9c9 ≠ 1
biv-chain[3]: r9n1{c5 c3} - c3n9{r9 r4} - r4c6{n9 n1} ==> r7c6 ≠ 1, r4c5 ≠ 1
biv-chain-rc[3]: r4c5{n6 n4} - r6c6{n4 n1} - r6c3{n1 n6} ==> r6c4 ≠ 6, r4c3 ≠ 6
singles ==> r6c4 = 3, r6c3 = 6
naked-pairs-in-a-column: c9{r3 r6}{n1 n4} ==> r7c9 ≠ 1
naked-pairs-in-a-row: r4{c3 c6}{n1 n9} ==> r4c7 ≠ 1
finned-x-wing-in-rows: n1{r7 r2}{c7 c1} ==> r3c1 ≠ 1
stte

[DEFISE]

My resolution with 8 whips of length between 2 and 5

Hidden Text: Show

Singles: 7r2c9, 2r3c4, 2r1c7, 8r6c7, 2r7c2, 2r5c3, 2r6c5, 7r9c1, 4r8c3
Alignment: 5r1b3 => -5r2c7 -5r2c8 -5r3c8 -5r3c9
Alignment: 5c4b5 => -5r4c6 -5r5c6
Alignment: 5c7b6 => -5r5c8
whip[2]: b5n6{r4c4 r6c4}- r7n6{c4 .} => -6L4C1
Alignment: 6b4c3 => -6r3c3
whip[5]: r6c4{n3 n6}- r4n6{c4 c3}- c3n9{r4 r9}- r8n9{c1 c5}- c5n6{r8 .} => -3L8C4
whip[5]: r1n3{c8 c5}- r9n3{c5 c2}- r8n3{c1 c8}- c8n5{r8 r1}- r1c9{n5 .} => -3L3C9
Naked pair: 14b3p49 => -1r2c8 -4r2c8 -1r3c8 -4r3c8
Singles: 6r2c8, 4r7c8
Xwing: 4r36c69 => -4r2c6 -4r4c6
whip[5]: r7c7{n3 n1}- r2c7{n1 n4}- r2c5{n4 n9}- r1c5{n9 n3}- b8n3{r8c5 .} => -3L7C9
whip[5]: c9n5{r9 r1}- c9n3{r1 r6}- r6c4{n3 n6}- r4n6{c4 c3}- c3n9{r4 .} => -9L9C9
Singles: 9r7c9
whip[5]: b3n3{r1c8 r1c9}- r1c5{n3 n9}- b8n9{r8c5 r8c4}- c1n9{r8 r4}- b4n3{r4c1 .} => -3L5C8
Single: 1r5c8
whip[3]: r4n4{c5 c7}- r6c9{n4 n3}- r6c4{n3 .} => -6L4C5
Singles: 6r8c5, 9r8c4, 6r7c1, 6r3c2
Alignment: 1r8b7 => -1r9c2 -1r9c3
whip[4]: r2n1{c2 c7}- r7n1{c7 c6}- c6n7{r7 r5}- r5n9{c6 .} => -9L2C2
STTE