.
- 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