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