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