.
- Code: Select all
Resolution state after Singles and whips[1]:
+-------------------+-------------------+-------------------+
! 159 135 7 ! 4 189 6 ! 35 2 358 !
! 8 45 56 ! 7 2 3 ! 1 456 9 !
! 1269 1234 1236 ! 18 189 5 ! 346 7 38 !
+-------------------+-------------------+-------------------+
! 15 9 4 ! 6 3 18 ! 2 158 7 !
! 156 7 1568 ! 2 158 4 ! 9 3 15 !
! 125 1235 12358 ! 9 1578 178 ! 56 1568 4 !
+-------------------+-------------------+-------------------+
! 7 6 15 ! 135 4 2 ! 8 9 135 !
! 4 125 1259 ! 1358 178 1789 ! 357 15 6 !
! 3 8 159 ! 15 6 179 ! 457 145 2 !
+-------------------+-------------------+-------------------+
===> There are 10 W1-anti-backdoors:
n3r1c2 n3r1c7 n8r1c9 n8r3c4 n3r3c9 n7r6c5 n3r7c9 n3r8c4 n7r8c7 n7r9c6
3 of which give 1-step solutions with a bivalue-chain[3]:
- Code: Select all
biv-chain[3]: r3c9{n3 n8} - c4n8{r3 r8} - r8n3{c4 c7} ==> r1c7 ≠ 3, r3c7 ≠ 3, r7c9 ≠ 3
stte
- Code: Select all
biv-chain[3]: r3c9{n3 n8} - c4n8{r3 r8} - b8n3{r8c4 r7c4} ==> r7c9 ≠ 3
stte
- Code: Select all
biv-chain[3]: r7n3{c4 c9} - r3c9{n3 n8} - c4n8{r3 r8} ==> r8c4 ≠ 3
stte