.
- Code: Select all
 Resolution state after Singles and whips[1]:
   +----------------+----------------+----------------+ 
   ! 369  7    369  ! 2    5    36   ! 1    4    8    ! 
   ! 5    36   1    ! 8    4    7    ! 236  9    236  ! 
   ! 8    2    4    ! 9    1    36   ! 356  56   7    ! 
   +----------------+----------------+----------------+ 
   ! 36   1    8    ! 5    36   2    ! 9    7    4    ! 
   ! 4    569  2    ! 7    69   8    ! 56   3    1    ! 
   ! 7    3569 36   ! 1    369  4    ! 8    256  256  ! 
   +----------------+----------------+----------------+ 
   ! 239  4    39   ! 6    8    1    ! 7    25   235  ! 
   ! 1    36   7    ! 34   2    5    ! 346  8    9    ! 
   ! 236  8    5    ! 34   7    9    ! 2346 1    236  ! 
   +----------------+----------------+----------------+
===> There are 25 W1-anti-backdoors: 
n6r1c6 n6r2c2 n3r3c6 n5r3c7 n6r3c8 n3r4c1 n6r4c5 n5r5c2 n9r5c5 n6r5c7 n9r6c2 n6r6c3 n3r6c5 n2r6c8 n5r6c9 n2r7c1 n5r7c8 n3r7c9 n3r8c2 n4r8c4 n6r8c7 n6r9c1 n3r9c4 n4r9c7 n6r9c9
The simplest two 1-step solutions are:
- Code: Select all
 z-chain[3]: b7n6{r8c2 r9c1} - c9n6{r9 r6} - c3n6{r6 .} ==> r2c2 ≠ 6
stte
- Code: Select all
 z-chain[3]: r8n6{c7 c2} - r2n6{c2 c9} - b9n6{r9c9 .} ==> r5c7 ≠ 6
stte
Upon seeing Sudtyro2's solution, I tried to activate only  oddagons, but starting from the PM after whips[1], I need 2 oddagons:
- Code: Select all
 oddagon[5]: r4c1{n3 n6},b4n6{r4c1 r6c2},r6n6{c2 c3},r6c3{n6 n3},b4n3{r6c3 r4c1} ==> r6c2 ≠ 6
oddagon[5]: r2n6{c2 c9},c9n6{r2 r9},r9n6{c9 c1},b7n6{r9c1 r8c2},c2n6{r8 r2} ==> r5c7 ≠ 6
stte
The first eliminates a candidate that is already supposed to be eliminated in Studtyro2's starting point; he second is (unsurprisingly) the same as Sudtyro2's.