精确是美德，但过度精确是陷阱

Knuth 以追求精确著称——他不仅给出渐近复杂度，还追求精确的常数因子；不仅证明算法正确，还追求证明的优雅。但这种追求可能成为陷阱：过度分析可能延迟决策，过度优化可能忽略更重要的问题。Knuth 自己的经验（中断写作去开发 TeX）也说明了这一点——有时候"足够好"比"完美"更有价值。