链接，将多个可重定位目标文件和标准库函数合并为可执行目标文件的过程，为了解决外部内存地址的依赖问题

过程包括：1. 地址和空间分配(Address and Storage Allocation) 2. 符号决议(Symbol Resolution) 3. 重定位(Relocation)

What does compiler do ?

分类

1. 队列式分支限界
2. 优先队列式分支限界

定义状态转移方程的关键在于对状态做出完整表示，举个例子，最长上升子序列问题中，不同的状态是一些子序列，以子序列的最后一项作为划分依据就可以完整表示不同的状态

贪心策略正确性证明

归纳法

归纳法证明的核心逻辑：证明采用贪心策略执行到任意步数时获得的解都是最优解的一部分

4 种递归式求解方法

代入法

猜测一个界，然后用数学归纳法证明这个界是正确的。