算法设计与分析报告.docVIP

本科生课程论文 Course Paper 论文编号 Paper No:1006010419 撰写日期 Date: 20123-07-08 分支界限法解最大团问题 向 前 （计算机与信息学院 计算机科学与技术专业 2010级 1006010419） 河 海 大 学 分支界限法解最大团问题 摘 要: 最大团问题又称为最大独立集问题（Maximum Independent Set Problem），在市场分析、方案选择、信号传输、计算机视觉、故障诊断等领域具有非常广泛的应用。目前，求解MCP问题的算法主要分为两类：确定性算法和启发式算法。确定性算法有回溯法、分支限界法等，启发式算法蚁群算法、顺序贪婪算法、DLS-MC算法和智能搜索算法等。不管哪种算法，都要求在多项式时间内求得MCP问题的最优解或近似解。图分为有向图和无向图，本文主要研究确定性算法求解无向图最大团问题。 关键词: 最大团问题；分支限界法；无向图 问题描述 给定一个无向图=(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}是G的大小为2的完全子图。这个完全子图不是团，因为它被G的更大的完全子图{1，2，5}包含。{1，2，5}是G的最大团。{1，4，5}和{2，3，5}也是G的最大团 图1.1无向连通图 问题分析 分支限界（Brand and Bound）E结点所有分支（即所有的子结点）。在生成的结点中，将采用更有效的约束函数（限界函数）控制搜索路径，去除那些不满足约束条件（即不可能导出最优解）的结点，使之能更好地朝着状态空间树上有最优解的分支推进。 根据从活结点表中选择下一个扩展结点的方式的不同，分支限界法主要分为以下两类： 队列式（FIFO）分支限界法 队列式分支限界法将活结点表组织成一个队列，并按队列的FIFO原则选取下一个结点成为当前扩展结点。具体流程为： （1）初始化，根结点是唯一的活结点，根结点入队。 （2）从活结点队中取出根结点后，作为当前E结点。对当前E结点，先从左到右地产生它的所有儿子，用约束条件检查，把所有满足约束函数的儿子加入活结点队列中。 （3）重复上述过程：再从活结点表中取出队首结点（队中最先进来的结点）为当前E结点，……；直到找到一个解或活结点队列为空为止。 优先队列式分支限界法 优先队列式分支限界法将活结点表组织成一个优先队列，并按优先队列中规定的结点优先级选取优先级最高的下一个结点成为当前扩展结点。具体流程为：对每一活结点计算一个优先级，并根据这些优先级，从当前活结点表中优先选择一个优先级最高（最有利）的结点作为扩展结点，使搜索朝着解空间树上有最优解的分支推进，以便尽快地找出一个最优解。 建立数学模型 最大团问题作为一个整数规划问题有许多等价的描述，整数规划问题描述如下： 设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的值