- Code: Select all
Resolution state after Singles (and whips[1]:
+----------------------+----------------------+----------------------+
! 59 1 3579 ! 2479 6 29 ! 2347 8 34579 !
! 5689 689 2 ! 479 789 3 ! 47 4579 1 !
! 4 389 3789 ! 5 1789 1289 ! 6 279 379 !
+----------------------+----------------------+----------------------+
! 1 689 5689 ! 379 2 4 ! 378 5679 356789 !
! 3 24689 45689 ! 179 1579 1569 ! 2478 245679 456789 !
! 2569 7 4569 ! 8 359 569 ! 1 24569 34569 !
+----------------------+----------------------+----------------------+
! 2689 24689 1 ! 29 89 7 ! 5 3 468 !
! 7 3489 3489 ! 6 13589 1589 ! 48 14 2 !
! 268 5 368 ! 123 4 128 ! 9 167 678 !
+----------------------+----------------------+----------------------+
200 candidates, 1215 csp-links and 1215 links. Density = 6.11%
Simplest-first solution, in W4:
- Code: Select all
z-chain[3]: r3n1{c5 c6} - b2n8{r3c6 r2c5} - r7c5{n8 .} ==> r3c5≠9
biv-chain[4]: r1c1{n5 n9} - r1c6{n9 n2} - b3n2{r1c7 r3c8} - r6n2{c8 c1} ==> r6c1≠5
whip[1]: b4n5{r6c3 .} ==> r1c3≠5
biv-chain[4]: r1c6{n9 n2} - c7n2{r1 r5} - c2n2{r5 r7} - r7c4{n2 n9} ==> r1c4≠9, r2c4≠9, r8c6≠9
naked-pairs-in-a-row: r2{c4 c7}{n4 n7} ==> r2c8≠7, r2c8≠4, r2c5≠7
naked-pairs-in-a-column: c5{r2 r7}{n8 n9} ==> r8c5≠9, r8c5≠8, r6c5≠9, r5c5≠9, r3c5≠8
whip[1]: r8n9{c3 .} ==> r7c1≠9, r7c2≠9
finned-x-wing-in-columns: n8{c5 c1}{r2 r7} ==> r7c2≠8
finned-x-wing-in-rows: n7{r2 r4}{c4 c7} ==> r5c7≠7
biv-chain[3]: r1c6{n2 n9} - c5n9{r2 r7} - r7c4{n9 n2} ==> r1c4≠2, r9c6≠2
naked-pairs-in-a-block: b2{r1c4 r2c4}{n4 n7} ==> r3c5≠7
singles ==> r3c5=1, r5c5=7
z-chain[3]: c7n7{r2 r4} - c7n3{r4 r1} - b3n2{r1c7 .} ==> r3c8≠7
z-chain[3]: r3c8{n9 n2} - r6n2{c8 c1} - c1n9{r6 .} ==> r3c3≠9, r3c2≠9
biv-chain[4]: r6c5{n5 n3} - c4n3{r4 r9} - r9n2{c4 c1} - r6n2{c1 c8} ==> r6c8≠5
z-chain[4]: c2n2{r5 r7} - r9n2{c1 c4} - r9n3{c4 c3} - c3n6{r9 .} ==> r5c2≠6
z-chain[4]: c1n9{r2 r6} - b4n2{r6c1 r5c2} - c7n2{r5 r1} - r1c6{n2 .} ==> r1c3≠9
naked-triplets-in-a-block: b1{r1c3 r3c2 r3c3}{n7 n3 n8} ==> r2c2≠8, r2c1≠8
stte
Simplest 1-step solution, in W6:
- Code: Select all
whip[6]: r7c4{n2 n9} - r7c5{n9 n8} - r7c1{n8 n6} - r9c1{n6 n8} - r2n8{c1 c2} - r2n6{c2 .} ==> r7c2≠2
stte
