4-1：问题的形式化描述
4-2：NP完全理论初步
4-3：伪多项式算法
4-4：分支-界限算法
4-5：局部搜索算法
4-6：松弛算法
4-7：近似算法的基本概念
4-8：覆盖问题与最大割集问题
4-9：背包问题
