算法实验四 回溯法.doc

《算法设计与分析》课程实验报告 专 业： 软件工程 班 级： 学 号： 姓 名： 日期：2013 年 12 月 11 日 一、实验题目 回溯法 二、实验目的 掌握回溯法的基本思想。 掌握回溯法中问题的解空间、解向量、显式约束条件、隐式约束条件以及子集树与排列树的递归算法结构等内容。 掌握回溯法求解具体问题的方法。 三、实验内容 有一批共n个集装箱要装上2艘载重量分别为C1和C2的轮船，其中集装箱i的重量为wi，且∑wi≤C1+C2。装载问题要求确定是否有一个合理的装载方案可将这个集装箱装上这2艘轮船。如果有，找出一种装载方案。 在n×n格的棋盘上放置彼此不受攻击的n个皇后。按照国际象棋的规则，皇后可以攻击与之处在同一行或同一列或同一斜线上的棋子。n后问题等价于在n×n格的棋盘上放置n个皇后，任何2个皇后不放在同一行或同一列或同一斜线上。 给定无向连通图G和m种不同的颜色。用这些颜色为图G的各顶点着色，每个顶点着一种颜色。是否有一种着色法使G中每条边的2个顶点着不同颜色。这个问题是图的m可着色判定问题。 实验步骤 装载问题 【问题分析】 ??? 例如，当n=3,c1=c2=50,且w=[10,40,40]时，可将集装箱1和集装箱2装上一艘轮船，而将集装箱3装在第二艘轮船；如果w=[20,40,40],则无法将这3个集装箱都装上轮船。 容易证明，如果一个给定的装载问题有解，则采用如下的策略可以得到最优装载方案。?? 1.首先将第一艘轮船尽可能装满。?? 2.将剩余的集装箱装上第二艘轮船。 ???将第一艘轮船尽可能的装满等价于选取全体集装箱的子集，使该子集中集装箱的重量之和最接近 c1 。因此，等价于一个特殊的　0-1　背包问题。?因此是一棵子集树。 ??? max(w1x1+w2x2+...+wixi)? ?? (w1x1+w2x2+...+wixi)= c1; ??? xi @{0,1},1=i=n 用回溯法解装载问题时，用子集树表示其解空间显然是最合适的。可行性约束函数可剪去不满足约束条件（ ?? (w1x1+w2x2+...+wixi)= c1）的子树。在子集树的第j+1层的节点Z处，用cw记当前的装载重量，即cw=(w1x1+w2x2+...+wjxj)，当cwc1时，以节点Z为根的子树中所有节点都不满足约束条件，因而该子树中解均为不可行解，故可将该子树剪去。 ? 下面的解装载问题的回溯中，算法MaxLoading返回不超过C的最大子集和，但并未给出达到这个最大子集和的相应子集。稍后加以完善。 ?? 算法Maxloading调用递归函数Backtrack(1)实现回溯搜索。Backtrack(i)搜索子集树中第i层子树。类Loading的数据成语。记录子集树中结点信息，以减少传给Backtrack的参数。cw记录当前结点所相应的装载重量，bestw记录当前最大装载重量。 ?? 在算法Backtrack中，当in时，算法搜索至叶节点，其相应的装载重量为cw。如果cwbestw，则表示当前解优于当前最优解，此时应更新bestw。 ?? 当i=n时，当前扩展结点Z是子集树中的内部节点。该结点有x[i]=1和x[i]=0两个儿子结点。其左儿子结点表示x[i]=1的情形，仅当cw+w[i] =c时进入左子树，对左子树进行递归搜索。其右儿子结点表示x[i]=0的情形。由于可行结点的右儿子结点总是可行的，故进入右子树时不需要检查可行性。 ? 算法Backtrack动态地生成问题的解空间树。在每个结点出算法花费O(1)时间。子集树种结点个数为O(2n),，故Backtrack所需的计算时间O(2n)。另外Backtrack还需要额外的O(n)的递归栈空间。 import java.util.Scanner; public class Backtrack { static int n;//集装箱数 static int []w;//集装箱重量数组 static int c;//第一艘轮船的载重量 static int cw;//当前载重量 static int bestw;//当前最优载重量 static int r;//剩余集装箱重量 static int []x;//当前解 static int []bestx;//当前最优解 public static int maxLoading(int[]ww,int cc,int[]xx){ n=ww.length-1; w=ww; c=cc; bestw=0; x=new int [n+1]; bestx=xx; for(int