.
SER = 4.2
- Code: Select all
Resolution state after Singles and whips[1]:
+----------------+----------------+----------------+
! 68 46 24 ! 1 9 3 ! 7 258 25 !
! 19 5 3 ! 67 8 267 ! 169 129 4 !
! 189 7 129 ! 5 24 246 ! 169 1289 3 !
+----------------+----------------+----------------+
! 5 139 19 ! 346 7 146 ! 8 124 12 !
! 2 8 6 ! 9 5 14 ! 3 147 17 !
! 4 13 7 ! 38 12 128 ! 5 6 9 !
+----------------+----------------+----------------+
! 3 14 8 ! 2 6 9 ! 14 157 157 !
! 17 2 5 ! 478 3 1478 ! 149 19 6 !
! 1679 1469 149 ! 47 14 5 ! 2 3 8 !
+----------------+----------------+----------------+
113 candidates
===> There are 25 W1-anti-backdoors:
n8r1c1 n6r1c2 n4r1c3 n9r2c1 n7r2c4 n2r2c6 n1r3c3 n2r3c3 n8r3c8 n3r4c2 n9r4c3 n6r4c4 n1r6c2 n3r6c4 n8r6c6 n4r7c2 n1r7c7 n1r8c1 n8r8c4 n7r8c6 n4r8c7 n6r9c1 n7r9c1 n9r9c2 n4r9c4
24 of which give rise to a 1-step solution in W7.
The simplest three require only a bivalue-chain[4]:
- Code: Select all
biv-chain[4]: r7c2{n1 n4} - r1c2{n4 n6} - b7n6{r9c2 r9c1} - b7n7{r9c1 r8c1} ==> r8c1≠1
stte
- Code: Select all
biv-chain[4]: r8c1{n7 n1} - r7c2{n1 n4} - r1c2{n4 n6} - b7n6{r9c2 r9c1} ==> r9c1≠7
stte
- Code: Select all
biv-chain[4]: r9n7{c4 c1} - b7n6{r9c1 r9c2} - r1c2{n6 n4} - c3n4{r1 r9} ==> r9c4≠4
stte