下载掌阅APP，畅读海量书库
立即打开
《算法导论》[CLRS09]中的第2章和第3章的内容涵盖了本章的大多数知识点。由Aho、Hopcroft和UIIman所写的一本早期的算法方面的教科书《计算机算法的设计与分析》（ TheDesignandAnalysisofComputer Algorithms ）[AHU74]影响了计算机领域使用渐进符号来分析算法。另外还有大量的著作用来证明程序的正确性；如果你想深入研究这个领域，可以参考由Gries[Gri81]和Mitchell[Mit96]所写的书籍。