- Code: Select all
`.-------------------.----------.---------------.`

| 6 2589 589 | 7 1 29 |fa[38] 358 4 |

| 4 289 3 | 5 6 29 | 1 7 g89 |

| 159 7 159 | 3 4 8 | 26 26 59 |

:-------------------+----------+---------------:

| 3 689 d6789 | 2 5 4 | e78 89 1 |

| 18 148 2 | 6 9 7 | 5 48 3 |

| 579 459 579 | 8 3 1 | 27 249 6 |

:-------------------+----------+---------------:

|i(5)78 3 c5678 | 9 2 56 | 4 1 h58 |

| (8)-5 568 4 | 1 7 3 | 9 568 2 |

| 2 19 19 | 4 8 56 | b36 356 7 |

'-------------------'----------'---------------'

Hodoku offered the following net solution:

Hodoku wrote:Forcing Net Verity => r8c1<>5

r1c7=3 r9c7<>3 r7c3=7 (r7c1<>7) r4c3<>7 r4c7=7 r4c7<>8 r1c7=8 r2c9<>8 r7c9=8 r7c1<>8 r7c1=5 r8c1<>5

r1c7=8 r2c9<>8 (r2c2=8 r8c2<>8) r7c9=8 r8c8<>8 r8c1=8 r8c1<>5

My translation into a Eureka-like Kraken Cell (38)r1c7:

(3)r1c7 - r9c7 =???= (7*)r7c3 - r4c3 = (7-8)r4c7 = r1c7 - r2c9 = r7c9 - (8|*7=5)r7c1

||

(8)r1c7 - r2c9 = r2c2&r7c9 - r8c8,r7c13 = (8)r8c1

=> -5 r8c1

The path with the 8 is simple enough (not marked), but not so with the 3 (marked). How does the second link (b=c) work??? What am I missing? Here's the image for that path Hodoku produced:

I really can't see how (3)r9c7 = (7)r7c3. I can produce a path that does that, but it's not trivial:

- Code: Select all
`(3)r1c7 - (3=6)r9c7 - r9c6 = r7c6 - r7c3 = (6-7)r4c3`

| ||

(6=2)r3c7 - (2=7)r6c7 -----------(7)r6c3

||

(7)r7c3 ...

Furthermore, I don't really see why it wants to use the (7)r7c3 anyway. There's a simpler path:

(8)r1c7 - r2c9 = r2c2&r7c9 - r8c8,r7c13 = (8)r8c1

||

(3)r1c7 - (3=6)r9c7 - r9c6 = r7c6 - r7c3 = (6-7)r4c3 = (7-8)r4c7 = (8)r1c7 - ... = (8)r8c1

=> -5 r8c1

(Of course that makes little practical sense, because the beginning of the 3-branch already proves -3 r1c7 (stte) but that's not relevant -- our mission was to take out 5r8c1.)

So, can someone explain to me how Hodoku's net was actually supposed to be interpreted? Was it missing parts of the path, or did I miss something? Thanks in advance for any insights!