Two years ago I wrote about the "Four Points, Two Distances" problem, giving the solution, and the proof that it was complete. Today I was excited to see that DataGenetics had written up the problem.
What a disappointment. What a *serious* disappointment. No elegance to the solution at all, neither style nor grace, and almost impossible to check.
What a let down 8-(
@ColinTheMathmo I don't feel the same disappointment! I find that the system of indexing potential solutions by 5 bits of information is very tidy, and gives me a high degree of confidence on the first read-through that the solution is carefully organized and complete. Interesting how tastes in these matters can vary, I suppose.
@jsiehler Have you had a look at my write-up? You can find it here:
I prove a simple lemma, then have exactly 3 bits of information. Two are impossible, the other 6 give exactly one solution each.
@ColinTheMathmo I have! It's quite nice too.
@jsiehler Sorry, three simple lemmas.
My point here is that it can all be checked by hand, it's linear, no complex case analysis.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!