计科-班 算法分析与设计实验五.docVIP

算法分析与设计实验报告 2014-2015第一学期 实验五：用分支限界法解TSP问题 指导教师：陈玉 实验时间：2014年12月30日 实验地点：计算中心二楼 班级： 计科12-3班 学号： 12401010312 姓名： 董猛 成绩： 实践名称： 时间安排：1学时 一、实验目的 1、掌握分支限界法算法的解题的基本思想和设计方法； 2、区分分支限界算法与回溯算法的区别，加深对分支限界法的理解； 3、理解分支限界法算法中的限界函数应遵循正确、准确、高效的设计原则。 二、实验环境 装有Visual C＋＋6.0的计算机。 本次实验共计1学时。 三、实验内容 某售货员要到若干城市去推销商品，已知各城市之间的路程(或旅费)。他要选定一条从驻地出发，经过每个城市一次，最后回到驻地的路线，使总的路程(或总旅费)最小。 1、熟悉分支限界法思想 掌握如何进行问题的算法表示和描述。 掌握TSP问题描述。 2、掌握如何编译程序 理解编译过程中的错误信息，并掌握如何排错。 3、掌握如何对算法进行时间复杂度的分析 掌握时间复杂度的概念和用渐进符号进行时间复杂度的评估。 四、实验步骤 1、录入、修改并测试你的程序，直至正确为止； 2、针对问题实例，实录运行时的输入、输出界面； 3、将你的程序和实录的界面存盘备用。 五、实验要求： 1、阐述实验目的和实验内容； 2、提交模块化的实验程序源代码； 3、简述程序的测试过程，提交实录的输入、输出文件； 4、鼓励对实验内容展开讨论，鼓励提交思考与练习题的代码和测试结果。 [设计提示] 用分支限界求解旅行商问题，其解空间是一个排列树。有两种基本的实现方法。第一种是只使用一个优先队列，队列中的每个元素中都包含到达根的路径。另一种是保留一个部分解空间树和一个优先队列，优先队列中的元素并不包含到达根的路径。 [参考数据类型或变量] ? /* 定义边结构 */ typedef struct _EDGE { int head; int tail; } EDGE; /* 定义路径结构 */ typedef struct _PATH { EDGE edge[MAX_CITIES]; int edgesNumber; } PATH; /* 定义花费矩阵结构 */ typedef struct _MATRIX { int distance[MAX_CITIES][MAX_CITIES]; int citiesNumber; } MATRIX; /* 定义树结点 */ typedef struct _NODE { int bound; // 相应于本结点的花费下界 MATRIX matrix; // 当前花费矩阵 PATH path; // 已经选定的边 struct _NODE* left; // 左枝 struct _NODE* right; // 右枝 } NODE; [参考子程序接口与功能描述] int Simplify(MATRIX* c) 功能：归约费用矩阵，返回费用矩阵的归约常数 EDGE SelectBestEdge(MATRIX c) 功能： 搜索所有花费为零的边中最合适的，使左枝下界更大 MATRIX LeftNode(MATRIX c, EDGE edge) 功能： 删掉所选分枝边 MATRIX RightNode(MATRIX c, EDGE edge, PATH path) 功能： 删除行列和回路边后的矩阵 EDGE LoopEdge(PATH path, EDGE edge) 功能： 计算回路边的函数，除了加入的新边，当前结点路线集合中还可能包含一些已经选定的边，这些边构成一条或几条路径，为了不构成回路，必须使其中包含新边的路径头尾不能相连，本函数返回这个头尾相连的边，以便把这个回路边的长度设成无穷。 int MatrixSize(MATRIX c, PATH path) 功能： 计