ttt wrote:I present your elimination r8c9=4 by using dual Kraken - 3's on row 3 and cell r1c7 :
I can barely follow basic Eureka notation. Your original chains were at my limit for understanding. Sorry!
+-----------------------+
| 5 4 . | . 6 . | . . 3 |
| 2 . . | . . 9 | . . . |
| . . 9 | 4 5 . | . . 2 |
|-------+-------+-------|
| . . 6 | 9 . 3 | . . 1 |
| 1 . 4 | . . 7 | 9 . . |
| . 2 . | 1 4 5 | . . . |
|-------+-------+-------|
| . . . | . 1 . | . . . |
| . . . | . . . | . 7 . |
| 4 . 5 | 7 . . | . . 9 |
+-----------------------+
daj95376 wrote:My solver finds: Singles, a short Chain, and Singles. Does it have a more zippy solution?
Singles
Almost Locked Set XZ-Rule: A=r4c125 - {2578}, B=r5c59 - {258}, X=2, Z=5 => r4c78,r5c2<>5
Singles
hobiwan wrote:daj95376 wrote:My solver finds: Singles, a short Chain, and Singles. Does it have a more zippy solution?
My solver finds a few ALS to replace the chain, but nothing special. One possibility:
- Code: Select all
Singles
Almost Locked Set XZ-Rule: A=r4c125 - {2578}, B=r5c59 - {258}, X=2, Z=5 => r4c78,r5c2<>5
Singles
999_Springs wrote:Then I found an ALS xz
ALS A=r7c46r8c5r9c6
ALS B=r456c5r5c6
x=1 z=7 r8c6<>7
(It's not that necessary but I hardly ever find these things, so I might as well use it...)
+--------------------------------------------------------------------------------+
| 69 5 2 | 4 8 1 | 79 3679 367 |
| 4689 346 348 | 69 7 569 | 1 24569 24568 |
| 4689 17 17 | 3 2 569 | 4589 4569 4568 |
|--------------------------+--------------------------+--------------------------|
| 456 1467 1457 | 8 B1469 2 | 4579 134579 13457 |
| 3 124 1458 | 179 B149 B479 | 6 12459 12458 |
| 2468 9 1478 | 5 B146 3 | 2478 1247 12478 |
|--------------------------+--------------------------+--------------------------|
| 1 248 6 | A79 3 A4789 | 2457 2457 2457 |
| 245 234 345 | 167 A14 46-7 | 2347 8 9 |
| 7 348 9 | 2 5 A48 | 34 16 16 |
+--------------------------------------------------------------------------------+
# 136 eliminations remain
If we start with: [r8c6]-7-[r5c6]
There is a strong link on 7: [r5c6]=7=[r5c4]
There is a strong link on 1: [r5c4]=1=[r8c4]
There is a strong link on 6: [r8c4]=6=[r8c6]
999_Springs wrote:I was never able to find ALSs effectively. I will add a link to show that when I have the time.
9-[r6c1]-3-[r3c1]=3=[r3c5]-3-[r12c4]=3=[r8c4]-3-[r8c2]-9
daj95376 wrote:hobiwan wrote:daj95376 wrote:My solver finds: Singles, a short Chain, and Singles. Does it have a more zippy solution?
My solver finds a few ALS to replace the chain, but nothing special. One possibility:
- Code: Select all
Singles
Almost Locked Set XZ-Rule: A=r4c125 - {2578}, B=r5c59 - {258}, X=2, Z=5 => r4c78,r5c2<>5
Singles
Thanks for checking hobiwan! FWIW: your ALS produces the same eliminations as my short chain. Since there are plenty of backdoor singles to crack this PM, maybe there's an obscure UR/DP present as well. Heck, there may even be a Kraken fish -- something I forgot to check.
r5c2=3 r6c3=8 + r5c8=3 r5c5=2 r4c5=8 ==> r4c1<>8
ttt wrote:Hi Danny,
I don’t know why, but I like you… Perhaps, because of WE like SUDOKU…
Draco wrote:Weighing in waaay late... another simple forcing chain that cracks the puzzle (after the initial Singles pass):
- Code: Select all
r5c2=3 r6c3=8 + r5c8=3 r5c5=2 r4c5=8 ==> r4c1<>8
Cheers...
8-[r6c3]-3-[r5c2]=3=[r5c8]=2=[r5c5]-2-[r4c5]-8 => [r4c12]<>8