《算法导论》[CLRS09]中的第2章和第3章的内容涵盖了本章的大多数知识点。由Aho、Hopcroft和UIIman所写的一本早期的算法方面的教科书《计算机算法的设计与分析》( TheDesignandAnalysisofComputer Algorithms )[AHU74]影响了计算机领域使用渐进符号来分析算法。另外还有大量的著作用来证明程序的正确性;如果你想深入研究这个领域,可以参考由Gries[Gri81]和Mitchell[Mit96]所写的书籍。 bNRqmFCEp0X74mQBlZ7/iV0ho6lRHXhgzBnpfSTzgPEOIkLWvTzqhU6s+nxdAAcU