.
- Code: Select all
Resolution state after Singles and whips[1]:
+----------------+----------------+----------------+
! 2567 26 57 ! 8 3 79 ! 1 69 4 !
! 678 68 3 ! 4 1 79 ! 269 5 29 !
! 1 9 4 ! 2 5 6 ! 78 37 378 !
+----------------+----------------+----------------+
! 2678 2468 78 ! 1 9 5 ! 3 467 27 !
! 67 5 17 ! 3 4 2 ! 679 8 179 !
! 3 124 9 ! 7 6 8 ! 25 14 125 !
+----------------+----------------+----------------+
! 58 18 158 ! 9 7 3 ! 4 2 6 !
! 9 3 2 ! 6 8 4 ! 57 17 157 !
! 4 7 6 ! 5 2 1 ! 89 39 389 !
+----------------+----------------+----------------+
===> There are 24 W1-anti-backdoors:
n5r1c3 n7r1c6 n9r1c8 n7r2c1 n9r2c6 n2r2c7 n6r2c7 n9r2c9 n8r3c7 n7r3c8 n3r3c9 n4r4c2 n6r4c8 n6r5c1 n9r5c7 n5r6c7 n4r6c8 n5r7c1 n7r8c7 n1r8c8 n5r8c9 n9r9c7 n3r9c8 n8r9c9
most of which lead to a 1-step solution with whips.
The simplest two require only bivalue-chains[3]:
- Code: Select all
biv-chain[3]: r2c9{n2 n9} - b6n9{r5c9 r5c7} - c7n6{r5 r2} ==> r2c7 ≠ 2
stte
- Code: Select all
biv-chain[3]: r1c8{n9 n6} - b6n6{r4c8 r5c7} - b6n9{r5c7 r5c9} ==> r2c9 ≠ 9
stte