算法课件第5章回溯法.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 装载问题 输入 n个集装箱，其中集装箱i的重量为wi 载重量分别为C1和C2的轮船 输出 （是否有）合理的装载方案将所有集装箱装上船 NP难问题 当 时，等价于子集合问题 * 装载问题 如果有解，可以用以下方法获得 将第一艘轮船尽可能装满 然后将剩余的集装箱装上第二艘轮船 问题等价于 s.t. 特殊的0-1背包问题：每种物品的价值等于重量 * 装载问题 解空间树 子集树 * 装载问题 回溯法（搜索子集树） void Backtrack(int t){ if (tn) 输出x； else for(i=0; i=1; i++){ x[t]=i; if (Constraint(t) Bound(t)) //如果当前的部分解可行 且 可能产生最优解 Backtrack(t+1)； } } * 装载问题 剪枝 约束函数 Constraint(t)： 限界函数 Bound(t) ： 回溯法 时间复杂性：O(2n) 空间复杂性：O(n) * 批处理作业调度 输入 n个作业{1, …, n} 两台机器（M1和M2） 作业 i 在M1和M2上的处理时间分别为 a[i] 和 b[i] 每个作业必须现由M1处理，再由M2处理 输出 作业调度方案使得总等待时间最小 作业 i在M1和M2上的完成时间分别为 A[i] 和 B[i] 总等待时间为 * 批处理作业调度 可能的调度方案 123，132，213， 231，312，321 最佳方案是132（总等待时间：18） 作业 a[i] b[i] Job 1 2 1 Job 2 3 1 Job 3 2 3 M1 M2 Job 1 Job 1 B[1]=3 Job 3 Job 3 B[3]=7 Job 2 Job 2 B[2]=8 A[1]=2 A[3]=4 A[2]=7 * 批处理作业调度 计算调度{J1, J2, …, Jn}的等待时间 计算B[Ji] 计算A[Ji]=A[Ji-1] + a[Ji] 比较A[Ji]和B[Ji－1] B[Ji]＝较大者 + b[Ji] * 批处理作业调度 解空间树 排列树 B C 1 F 2 L 3 G 3 M 2 D H 1 N 3 I 3 O 1 E J 1 P 2 K 2 Q 1 2 3 19 18 20 21 19 19 * 批处理作业调度 回溯法（搜索排列树） 初始时：x[n]=（1,2,3,…,n） void Backtrack(int t){ if (tn) 输出x； else for(i=t; i=n; i++){ Swap(x[t], x[i]); if (Bound(t)) //如果当前的部分解可行 且 可能产生最优解 Backtrack(t+1) ； Swap(x[t], x[i]); } } 时间复杂性：O(n!) 空间复杂性：O(n) * 批处理作业调度 剪枝 限界函数 Bound(t)： * n后问题 输入 n×n的棋盘 n个皇后 输出 n个皇后的放置方案 任意两个皇后都不在同一行、同一列或同一斜线上 1 2 3 4 5 6 7 8 1 2 3 4 5 6 7 8 Q Q Q Q Q Q Q Q * n后问题 解空间 每行有且仅有一个皇后 用x[i]表示第i行皇后位于第几列 此皇后的坐标为(i, x[i]) 问题的解是x[1,…, n]，满足 任意两个皇后不在同一列上：x[i]?x[j] 任意两个皇后不在同一斜线上 |i – j| ? |x[i] – x[j]| x[1, …, n]是{1, …, n}的一个排列 解空间树：排列树 * n后问题 回溯法 初始时：x[n]=（1,2,3,…,n） void Backtrack(int t){