.
Thanks for the solutions. They are in essence what I expected.
- Code: Select all
Resolution state after Singles and whips[1]:
+-------------------+-------------------+-------------------+
! 79 369 5 ! 2367 8 1 ! 4 69 269 !
! 489 2 3468 ! 346 5 346 ! 1 7 689 !
! 1 68 4678 ! 2467 9 2467 ! 25 568 3 !
+-------------------+-------------------+-------------------+
! 278 358 378 ! 1 24 68 ! 359 34569 4679 !
! 6 4 9 ! 57 3 57 ! 8 2 1 !
! 278 358 1 ! 68 24 9 ! 35 3456 467 !
+-------------------+-------------------+-------------------+
! 3 689 468 ! 2489 1 248 ! 7 489 5 !
! 4589 7 48 ! 34589 6 3458 ! 239 1 2489 !
! 4589 1 2 ! 34589 7 3458 ! 6 3489 489 !
+-------------------+-------------------+-------------------+
155 candidates.
The puzzle is in BC4. It has several 2-step solutions in BC4, e.g.
biv-chain[4]: r1n7{c4 c1} - c3n7{r3 r4} - c3n3{r4 r2} - r1n3{c2 c4} ==> r1c4≠2, r1c4≠6singles ==> r1c9=2, r3c7=5, r6c7=3, r4c7=9, r8c7=2, r9c8=3
x-wing-in-columns: n9{c2 c8}{r1 r7} ==> r1c1≠9, r7c4≠9w1-tte
(same eliminations as eleven, but with the first step slightly different)
It also has a 1-step solution in W7:
whip[7]: r2n9{c1 c9} - r1c8{n9 n6} - r1c9{n6 n2} - c7n2{r3 r8} - r8n9{c7 c4} - r9n9{c4 c8} - b9n3{r9c8 .} ==> r1c1≠9w1-tte
(same elimination as P.O., but slightly different pattern, with no inner Pair)
BTW, Cenoman, I don't think your Kraken AALS is a Eureka "translation" of P.O.'s solution. I see two main structural differences (independent of notation): it doesn't have the linear structure and it starts with a big OR branching.
