算法课程的设计 信息与计算科学.docVIP

成 绩 评 定 表 学生姓名 班级学号 专 业 课程设计题目 1.分支限界解决最大团问题2.回溯法解决0-1背包问题 评 语 组长签字： 成绩 日期 20 年 月 日 课程设计任务书 学 院 理学院 专 业 信息与计算科学 学生姓名 班级学号 课程设计题目 1.分支限界解决最大团问题2.回溯法解决0-1背包问题 实践教学要求与任务: 1、巩固和加深对基本知识的理解初步掌握简单软件的分析方法和设计方法。了解与课程有关的工程技术规范，能正确解释和分析结果。 指导教师： 201 年 月 日 专业负责人： 201 年 月 日 学院教学副院长： 201 年 月 日 摘 要 “计算机算法设计与分析” 着重介绍了计算机算法设计领域的基本原则和根本原理。深入分析了一些计算机模型上的算法，介绍了一些和设计有效算法有关的数据结构和编程技术，为读者提供了有关递归方法、分治方法和动态规划方面的详细实例和实际应用，并致力于更有效算法的设计和开发。同时，对NP完全等问题能否有效求解进行了分析，并探索了应用启发式算法解决问题的途径。 本文第一问，最大团问题又称为最大独立集问题（Maximum Independent Set Problem），在市场分析、方案选择、信号传输、计算机视觉、故障诊断等领域具有非常广泛的应用。MCP问题的算法主要分为两类：确定性算法和启发式算法。确定性算法有回溯法、分支限界法等，启发式算法蚁群算法、顺序贪婪算法、DLS-MC算法和智能搜索算法等。不管哪种算法，都要求在多项式时间内求得MCP问题的最优解或近似解。图分为有向图和无向图，本文主要研究分支限界算法求解无向图最大团问题。 本文第二问，掌握回溯法的原理，并能够按其原理编程实现0-1背包问题，以加深对其的理解。 关键字：分支限界；最大团问题；回溯法  目 录 1 分支限界解决最大团问题 1 1.1 问题重述 1 1.2 问题分析 1 1.3 算法分析与设计 2 1.4 算法的实现与结果 3 2 回溯法解决0-1背包问题 7 2.1 问题重述 7 2.2 问题分析 7 2.3 算法分析与设计 7 2.4 算法实现与结果 8 参考文献 12 1 分支限界解决最大团问题 1.1问题重述 给定一个无向图1.1=(V，E)，找出此无向图的最大团。如果V?U，且对任意u，v ? U有(u，v) ?E，则称U是G的完全子图。G的完全子图U是G的一个团，当且仅当U不包含G的更大完全子图。G的最大团是指G中所含顶点数最多的团。 无向完全图： 设G=（V,E）为N阶无向图，若G中的任何顶点都以其余的N-1个顶点相邻，则称G为N阶无向图。 完全子图：给定G=(V,E)，如果U为G的子图并且是完全图，则称为完全子图 团：设U为G完全子图,当图U不包含G的更大完全子图时，称U是G的一个团。 1.2问题分析 最大团问题作为一个整数规划问题有许多等价的描述，整数规划问题描述如下： 设t: (0,1)n→2v，t(x)={iV: xi=1}，x{0,1}n，S2v，则x=t-1(S)={xi: i=1,2,…,n}，其中，n为图的顶点数。 (1) s.t. 。如果x*是式(1)的最优解，则集合C=t(x*)是图G的一个最大团，且|C|=-f(x*)。 由于xi, xj{0,1}，xi+xj(1，(i, j)当且仅当xixj=0，有，其中为图G的补图G的邻接矩阵。 MCP问题等价于下面的全局二次0/1问题： (2) s.t. x{0,1}n 其中A=AG-I。如果x*是式(2)的最优解，则集合C=t(x*)是图G的一个最大团，且|C|=-f(x*)。 用变量cliqueSize表示与该结点相应的团的顶点数；level表示结点在子集空间树中所处的层次；用cliqueSize +n-level+1作为顶点数上界upperSize的值。 在此优先队列式分支限界法中，upperSize实际上也是优先队列中元素的优先级。算法总是从活结点优先队列中抽取具有最大upperSize值的元素作为下一个扩展元素。 子集树的根结点是初始扩展结点，对于这个特殊的扩展结点，其cliqueSize的值为0。 算法在扩展内部结点时，首先考察其左儿子结点。在左儿子结点处，将顶点i加入到当前团中，并检查该顶点与当前团中其他顶点之间是否有边相连。当顶点i与当前团中所有顶点之间都有边相连，则相应的左儿子结点是可行结点，将它加入到子集树中并插入活结点优先队列，否则就不是可行结点。接着继续考察