@standupmaths I can do better than that: the fastest and shortest algorithm for any well-defined problem arxiv.org/abs/cs/0206022