- 穷举=树型搜索
- 递归=树型搜索+剪枝
- 动态规划=树型搜索+剪枝+节点合并
- 因此算法效率:动态规划>递归>穷举。
递归与分治策略
一个直接或间接地调用自身的算法称为递归算法。
分治算法的模式如下:
12345678910Divide_and_Conquer(P){if(|P|<=n0)Adhoc(P);//Adhoc(P)是基本子算法divide P into smaller subinstancesP1,P2,...,Pkfor(i=1;i<=k;i++)yi=Divide_and_Conquer(Pi);return Merge(y1,y2,...,yk);}动态规划
- 最优子结构:子问题最优时母问题通过优化选择后一定最优的情况叫做“最优子结构”。
- 子问题重叠:母问题与子问题本质上是同一个问题的情况称为“子问题重叠”。
- 边界:子问题在一定时候就不再需要提出子子问题的情况叫做边界,没有边界就会出现死循环。
- 子问题独立:当前被选择的子问题两两互不影响的情况叫做“子问题独立”。
动态规划的实质是分治思想和解决冗余,因此,动态规划是一种将问题实例分解为更小的、相似的子问题,并存储子问题的解而避免计算重复的子问题,以解决最优化问题的算法策略
贪心算法
贪心算法总是作出在当前看来是最好的选择。也就是说,贪心算法并不从整体最优上加
以考虑,它所作出的选择只是在某种意义上的局部最优选择。贪心算法不是对所有问题都能
得到整体最优解,但对范围相当广泛的许多问题它能产生整体最优解或是整体最优解的近似
解。回溯法
回溯法以深度优先的方式系统地搜索一个问题的所有解或任一解,伪代码描述如下:123456Proc Search(当前状态)BeginIf 当前状态等于目标状态 then exit;For 对所有可能的新状态Search(新状态);End;
递归回溯的算法框架如下:
迭代回溯的算法框架如下:
用回溯法搜索子集树的一般算法可描述为:
用回溯法搜索排列树的一般算法可描述为:
4.分支界限法
分为队列式(FIFO)分支界限法和优先队列式分支界限法。
- 概率算法