摘要： 概念 快速排序，就是先选定中心轴pivot，比如第一个元素，然后将比pivot小的元素放在左边，比他大的放在右边，然后再对这两个子序列进行快速排序 伪代码 partition(arr) // 默认用第一个元素作为pivot pivot <- arr[0] lp <- 0 rp <- n - 1 wh 阅读全文

摘要： 基本术语 不变量：由程序作出的 假设，是程序中显式/隐式的一种 不变 的关系 举例来说，当我们有一个链表的时候，此时的不变量就可以是 每个节点都有一个指向下一个节点的next指针，所以当你删除或者增加节点时，需要维护这个指针 临界区：有时也叫 串行区域，指代影响 共享数据 的代码段，每一个临界区都至 阅读全文