.
- Code: Select all
Resolution state after Singles and whips[1]:
+----------------+----------------+----------------+
! 129 129 128 ! 36 4 36 ! 189 5 7 !
! 7 369 68 ! 5 1 2 ! 689 34 346 !
! 5 136 4 ! 7 9 8 ! 16 123 236 !
+----------------+----------------+----------------+
! 2469 2469 26 ! 8 3 19 ! 16 7 5 !
! 3 15 15 ! 4 6 7 ! 2 9 8 !
! 69 8 7 ! 19 2 5 ! 3 14 46 !
+----------------+----------------+----------------+
! 246 2456 256 ! 369 8 369 ! 7 23 1 !
! 16 7 3 ! 2 5 16 ! 4 8 9 !
! 8 12 9 ! 13 7 4 ! 5 6 23 !
+----------------+----------------+----------------+
===> There are 23 W1-anti-backdoors:
n1r1c1 n3r2c8 n4r2c9 n3r3c2 n6r3c7 n1r3c8 n2r3c8 n9r4c6 n1r4c7 n5r5c2 n1r5c3 n9r6c1 n1r6c4 n4r6c8 n6r6c9 n5r7c3 n9r7c4 n3r7c8 n6r8c1 n1r8c6 n1r9c2 n3r9c4 n2r9c9
19 of which give rise to a 1-step solution with of whip of length ≤ 5
The simplest few require only a bivalue-chain[4], and one even requires only a bivalue-chain[4] in rn-space:
- Code: Select all
biv-chain-rn[4]: r3n2{c8 c9} - r9n2{c9 c2} - r9n1{c2 c4} - r6n1{c4 c8} ==> r3c8 ≠ 1
stte
- Code: Select all
biv-chain[4]: r7c8{n2 n3} - r9n3{c9 c4} - c4n1{r9 r6} - c8n1{r6 r3} ==> r3c8 ≠ 2
stte
- Code: Select all
biv-chain[4]: c8n4{r2 r6} - r6n1{c8 c4} - r9c4{n1 n3} - b9n3{r9c9 r7c8} ==> r2c8 ≠ 3
stte
- Code: Select all
biv-chain[4]: r6c8{n1 n4} - r2c8{n4 n3} - b9n3{r7c8 r9c9} - r9c4{n3 n1} ==> r6c4 ≠ 1
stte
- Code: Select all
biv-chain[4]: r2c8{n4 n3} - b9n3{r7c8 r9c9} - r9c4{n3 n1} - r6n1{c4 c8} ==> r6c8 ≠ 4
stte
- Code: Select all
biv-chain[4]: r2c8{n3 n4} - r6c8{n4 n1} - c4n1{r6 r9} - r9n3{c4 c9} ==> r7c8 ≠ 3, r2c9 ≠ 3, r3c9 ≠ 3
stte
- Code: Select all
biv-chain[4]: r9n2{c2 c9} - b3n2{r3c9 r3c8} - c8n1{r3 r6} - c4n1{r6 r9} ==> r9c2 ≠ 1
stte
- Code: Select all
biv-chain[4]: r9c9{n3 n2} - b3n2{r3c9 r3c8} - c8n1{r3 r6} - c4n1{r6 r9} ==> r9c4 ≠ 3
stte
- Code: Select all
biv-chain[4]: r9c2{n2 n1} - c4n1{r9 r6} - c8n1{r6 r3} - b3n2{r3c8 r3c9} ==> r9c9 ≠ 2
stte