The
algorithm isn't immediately obvious?
I'm sorry, but if that's the case, it will be true for almost all code posted on Perlmonks. Do note though that I did not post a proof of the algorithm. I posted a proof of the claim the algorithm was fair.
I'd argue that the fact I was willing to actual write down a full proof in the crappy user interface a textbox is, is a proof that the proof is fairly trivial. Any claim of complexity or fairness needs a proof -- but we usually omit them because it's too much work to type it in (or to remember how it goes). "Everyone" knows sorting can be done in O(N log N) time, and that that bound is tight. But noone thinks the proof is easy enough to write down here - if they even know how to prove it. In fact, I claim most Perl programmers never prove anything about their programs, or their claims (although some may consider a test suite to be some kind of proof).