3 ms·
Attribution in science works in mysterious ways, and I don't claim to know how it works. In any case, I didn't say “trivial”. If you can only derive trivial th
by catnaroek 9y ago
Attribution in science works in mysterious ways, and I don't claim to know how it works.
In any case, I didn't say “trivial”. If you can only derive trivial things, then you shouldn't be a computer scientist.
- varjag 9y agoAre you suggesting computer scientists should be able to derive non trivial results on job interviews? Really?
- catnaroek 9y agoThis amount of nontrivial, yes. Similarly, I'd expect a computer scientist to come up with a proof of correctness for either binary search or merge sort (the out of place variant) in ~30 minutes. It's not particularly difficult.
- microtherion 9y agoThe number of incorrect binary search algorithms published in the literature over the years would indicate otherwise… I agree that reasoning about the correctness of a binary search algorithm is an important job skill for a computer scientist. Deriving the tortoise and hare algorithm on the fly, though, is not.