从问题契约、证明与可运行实验掌握正确性、渐进分析与证明契约。
7 讲从问题契约、证明与可运行实验掌握分治、递归树与组合。
7 讲从问题契约、证明与可运行实验掌握排序、选择与比较下界。
7 讲从问题契约、证明与可运行实验掌握贪心算法与交换证明。
7 讲从问题契约、证明与可运行实验掌握动态规划：状态、转移与恢复。
7 讲从问题契约、证明与可运行实验掌握图搜索、最短路与有向无环图。
7 讲从问题契约、证明与可运行实验掌握最小生成树、网络流与匹配。
7 讲从问题契约、证明与可运行实验掌握字符串匹配与文本索引。
7 讲从问题契约、证明与可运行实验掌握随机算法与概率分析。
7 讲从问题契约、证明与可运行实验掌握摊还分析与高效数据结构。
7 讲从问题契约、证明与可运行实验掌握NP完全、归约与近似算法。
7 讲从问题契约、证明与可运行实验掌握综合算法项目：从规格到证据。
7 讲