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