.
- Code: Select all
 Resolution state after Singles and whips[1]:
   +-------------------+-------------------+-------------------+ 
   ! 2579  579   2579  ! 4     267   2679  ! 1     8     3     ! 
   ! 8     3     6     ! 5     1     79    ! 4     79    2     ! 
   ! 4     1     279   ! 29    3     8     ! 79    6     5     ! 
   +-------------------+-------------------+-------------------+ 
   ! 1     4567  2457  ! 3     9     26    ! 278   2457  48    ! 
   ! 2679  8     279   ! 26    5     4     ! 237   237   1     ! 
   ! 3     45    245   ! 7     8     1     ! 6     245   9     ! 
   +-------------------+-------------------+-------------------+ 
   ! 679   2     3789  ! 169   4     5     ! 389   139   68    ! 
   ! 69    469   1     ! 8     26    2369  ! 5     2349  7     ! 
   ! 569   4569  34589 ! 1269  267   23679 ! 2389  12349 468   ! 
   +-------------------+-------------------+-------------------+
===> There are 10 W1-anti-backdoors: 
n9r1c2 n2r3c3 n9r3c4 n7r4c2 n6r4c6 n2r5c1 n6r5c1 n9r5c3 n2r5c4 n9r8c1 
The simplest two 1-step solutions are;
- Code: Select all
 biv-chain[2]: r3n2{c4 c3} - c1n2{r1 r5} ==> r5c4 ≠ 2
w1tte
- Code: Select all
 biv-chain[3]: r5c4{n6 n2} - r3n2{c4 c3} - c1n2{r1 r5} ==> r5c1 ≠ 6, r5c4 ≠ 2
w1tte