.
- Code: Select all
Resolution state after Singles (and whips[1]):
+-------------------------+-------------------------+-------------------------+
! 12468 346 12368 ! 345679 4569 3456789 ! 123457 4579 123579 !
! 148 34 9 ! 2 45 34578 ! 6 457 1357 !
! 5 7 236 ! 3469 1 3469 ! 234 8 239 !
+-------------------------+-------------------------+-------------------------+
! 3 2 56 ! 8 7 4569 ! 45 1 59 !
! 14679 4569 1567 ! 4569 2 4569 ! 34578 4579 35789 !
! 479 8 57 ! 459 3 1 ! 457 2 6 !
+-------------------------+-------------------------+-------------------------+
! 2679 1 2567 ! 5679 8 5679 ! 257 3 4 !
! 678 356 4 ! 13567 56 2 ! 9 567 1578 !
! 26789 3569 235678 ! 1345679 4569 345679 ! 12578 567 12578 !
+-------------------------+-------------------------+-------------------------+
222 candidates, 1533 csp-links and 1533 links. Density = 6.25%
A very elementary solution with nothing more complex than z-chains[3]:
hidden-pairs-in-a-row: r5{n3 n8}{c7 c9} ==> r5c9≠9, r5c9≠7, r5c9≠5, r5c7≠7, r5c7≠5, r5c7≠4
finned-x-wing-in-rows: n9{r6 r7}{c1 c4} ==> r9c4≠9
finned-x-wing-in-rows: n9{r4 r3}{c9 c6} ==> r1c6≠9
finned-x-wing-in-rows: n4{r4 r3}{c7 c6} ==> r2c6≠4, r1c6≠4
finned-x-wing-in-rows: n6{r4 r3}{c3 c6} ==> r1c6≠6
swordfish-in-columns: n9{c2 c5 c8}{r5 r9 r1} ==> r9c6≠9, r9c1≠9, r5c6≠9, r5c4≠9, r5c1≠9, r1c9≠9, r1c4≠9
biv-chain[2]: b5n9{r6c4 r4c6} - c9n9{r4 r3} ==> r3c4≠9
x-wing-in-columns: n9{c1 c4}{r6 r7} ==> r7c6≠9
finned-swordfish-in-rows: n6{r3 r4 r7}{c4 c6 c3} ==> r9c3≠6
biv-chain[3]: r4c3{n6 n5} - r4c9{n5 n9} - r5n9{c8 c2} ==> r5c2≠6
swordfish-in-columns: n6{c2 c5 c8}{r8 r1 r9} ==> r9c6≠6, r9c4≠6, r9c1≠6, r8c4≠6, r8c1≠6, r1c4≠6, r1c3≠6, r1c1≠6
biv-chain[2]: c1n6{r7 r5} - r4n6{c3 c6} ==> r7c6≠6
biv-chain[3]: r6c3{n5 n7} - b6n7{r6c7 r5c8} - r5n9{c8 c2} ==> r5c2≠5
whip[1]: c2n5{r9 .} ==> r7c3≠5, r9c3≠5
biv-chain[3]: r8c5{n6 n5} - b7n5{r8c2 r9c2} - r9n9{c2 c5} ==> r9c5≠6
biv-chain[3]: r9n6{c8 c2} - b7n5{r9c2 r8c2} - r8c5{n5 n6} ==> r8c8≠6
hidden-single-in-a-block ==> r9c8=6
biv-chain[3]: b7n5{r9c2 r8c2} - r8n3{c2 c4} - b8n1{r8c4 r9c4} ==> r9c4≠5
biv-chain[3]: r5c2{n4 n9} - c1n9{r6 r7} - c1n6{r7 r5} ==> r5c1≠4
hidden-pairs-in-a-block: b4{n4 n9}{r5c2 r6c1} ==> r6c1≠7
biv-chain[3]: b4n4{r6c1 r5c2} - r5n9{c2 c8} - b6n7{r5c8 r6c7} ==> r6c7≠4
naked-pairs-in-a-row: r6{c3 c7}{n5 n7} ==> r6c4≠5
z-chain[3]: r6c4{n4 n9} - b8n9{r7c4 r9c5} - c5n4{r9 .} ==> r3c4≠4
x-wing-in-rows: n4{r3 r4}{c6 c7} ==> r9c6≠4, r5c6≠4, r1c7≠4
hidden-pairs-in-a-column: c6{n4 n9}{r3 r4} ==> r4c6≠6, r4c6≠5, r3c6≠6, r3c6≠3
stte