.
- Code: Select all
Resolution state after Singles:
+----------------+----------------+----------------+
! 2 18 16 ! 3 689 5 ! 7 689 4 !
! 5 4 67 ! 79 6789 1 ! 2 689 3 !
! 9 38 367 ! 47 2 478 ! 5 68 1 !
+----------------+----------------+----------------+
! 6 13 5 ! 179 179 37 ! 8 4 2 !
! 8 7 9 ! 6 4 2 ! 1 3 5 !
! 4 2 13 ! 5 18 38 ! 6 7 9 !
+----------------+----------------+----------------+
! 3 6 2 ! 147 17 47 ! 9 5 8 !
! 7 5 8 ! 2 3 9 ! 4 1 6 !
! 1 9 4 ! 8 5 6 ! 3 2 7 !
+----------------+----------------+----------------+
88 candidates, 175 csp-links and 175 links. Density = 4.57%
15 W1-ANTI-BACKDOORS FOUND:
n3r6c6 n8r6c5 n1r6c3 n7r4c6 n3r4c2 n6r3c8 n8r3c6 n7r3c3 n3r3c3 n8r3c2 n8r2c8 n6r2c5 n6r2c3 n6r1c3 n1r1c2
13 of which give rise to a single-step solution.
Here are the simplest ones:
biv-chain[3]: r3c2{n3 n8} - c6n8{r3 r6} - b5n3{r6c6 r4c6} ==> r4c2 ≠ 3
stte
OR:
biv-chain[3]: r3c2{n8 n3} - b4n3{r4c2 r6c3} - r6c6{n3 n8} ==> r3c6 ≠ 8
stte
OR:
biv-chain[3]: r3c2{n3 n8} - c6n8{r3 r6} - r6n3{c6 c3} ==> r3c3 ≠ 3, r4c2 ≠ 3
stte
OR:
biv-chain[3]: r3n3{c2 c3} - r6n3{c3 c6} - c6n8{r6 r3} ==> r3c2 ≠ 8
stte