摘要：
堆 完全二叉树实现：节点i的左子2i，右子2i+1，父节点i/2 build_max_heap 复杂度O(n) heap_sort 复杂度O(nlgn)n取最小 inset extract_max max_heap 复杂度均为O(n) 保持堆性质（递归下调） 建堆：O(n)次 调用 max_heap 阅读全文
摘要：
循环不变式与算法正确性 初始化：循环第一轮开始前是正确的 保持： 每次迭代之后，下次迭代开始前，保持正确 终止： 循环节俗时，算法性质保持正确 以插入排序为例：一个元素必定有序，插入一个元素保证有序，迭代至最后一个元素，整体必然有序 传统分析方法与表示 最坏情况：运行时间的上界 合并排序使用分治法， 阅读全文