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