.
- Code: Select all
Resolution state after Singles and whips[1]:
+----------------------+----------------------+----------------------+
! 1 4 7 ! 2689 3689 239 ! 2689 2689 5 !
! 8 6 39 ! 279 5 4 ! 279 129 12379 !
! 35 359 2 ! 1 689 79 ! 4 689 3789 !
+----------------------+----------------------+----------------------+
! 4 278 68 ! 3 169 1579 ! 2589 2589 289 !
! 267 278 1 ! 5679 69 579 ! 2589 3 4 !
! 35 359 359 ! 4 2 8 ! 1 7 6 !
+----------------------+----------------------+----------------------+
! 2567 12578 568 ! 2589 4 1259 ! 3 125689 12789 !
! 235 12358 4 ! 2589 7 6 ! 2589 12589 1289 !
! 9 12578 568 ! 258 138 1235 ! 25678 4 1278 !
+----------------------+----------------------+----------------------+
There are 21 W1-anti-backdoors: n6r1c7 n9r2c3 n7r2c4 n3r2c9 n3r3c1 n5r3c2 n6r3c5 n9r3c6 n7r3c9 n6r4c3 n1r4c5 n7r4c6 n7r5c1 n6r5c4 n5r6c1 n9r6c2 n3r6c3 n6r7c1 n6r7c8 n6r9c3 n7r9c7
14 of which give rise to a real (i.e. with no non-counted pairs) 1-step solution with with go length ≤ 6.
Here are the simplest 3
- Code: Select all
biv-chain-rn[3]: r3n6{c8 c5} - r4n6{c5 c3} - r9n6{c3 c7} ==> r1c7 ≠ 6, r7c8 ≠ 6
stte
- Code: Select all
biv-chain-cn[3]: c7n6{r9 r1} - c4n6{r1 r5} - c1n6{r5 r7} ==> r9c3 ≠ 6, r7c8 ≠ 6
stte
Notice that, in both cases, two candidates are eliminated by the same chain, but each of them is an anti-backdoor and its elimination would be enough for a 1-step solution.