.
- Code: Select all
- Resolution state after Singles and whips[1]:
 +----------------------+----------------------+----------------------+
 ! 1579   1279   4      ! 25679  8      2567   ! 129    3      79     !
 ! 3      26789  2679   ! 1      29     4      ! 29     789    5      !
 ! 15789  12789  2579   ! 2579   2359   2357   ! 6      1789   4      !
 +----------------------+----------------------+----------------------+
 ! 5679   23679  25679  ! 245789 2459   1      ! 349    479    36789  !
 ! 179    12379  8      ! 2479   6      27     ! 5      1479   379    !
 ! 4      1679   5679   ! 3      59     578    ! 19     2      6789   !
 +----------------------+----------------------+----------------------+
 ! 68     468    1      ! 246    234    9      ! 7      5      23     !
 ! 79     479    3      ! 245    1      25     ! 8      6      29     !
 ! 2      5      69     ! 68     7      368    ! 349    49     1      !
 +----------------------+----------------------+----------------------+
===> There are 11 W1-anti-backdoors: 
n3r3c6 n4r4c7 n4r5c4 n3r7c5 n4r7c5 n2r7c9 n4r8c2 n9r8c9 n9r9c3 n3r9c7 n4r9c8 
all of which give rise to 1-step solutions with at most whips[7].
The simplest 3 require only a bivalue-chains[3]:
- Code: Select all
- biv-chain[3]: c5n4{r4 r7} - b8n3{r7c5 r9c6} - c7n3{r9 r4} ==> r4c7 ≠ 4
 stte
- Code: Select all
- biv-chain[3]: r9n3{c6 c7} - c7n4{r9 r4} - c5n4{r4 r7} ==> r7c5 ≠ 3
 stte
- Code: Select all
- biv-chain[3]: r7n3{c9 c5} - c5n4{r7 r4} - c7n4{r4 r9} ==> r9c7 ≠ 3
 stte