2018年分支界限法最大团问题.docVIP

分支界限法最大团问题 　　课程设计说明书(论文)用纸 　　摘 要 　　最大团问题(Maximum Clique Problem, MCP)是现实世界中一类真实问题，在市场分析、方案选择、信号传输、计算机视觉、故障诊断等领域具有非常广泛的应用。自1957年Hararv和Ross首次提出求解最大团问题的确定性算法以来，研究者们已提出了多种确定性算法来求解最大团问题。但随着问题规模的增大(顶点增多和边密度变大)，求解问题的时间复杂度越来越高，确定性算法显得无能为力，不能有效解决这些NP完全问题。 　　最大团问题又称为最大独立集问题(Maximum Independent Set Problem)，在市场分析、方案选择、信号传输、计算机视觉、故障诊断等领域具有非常广泛的应用。目前，求解MCP问题的算法主要分为两类:确定性算法和启发式算法。确定性算法有回溯法、分支限界法等，启发式算法蚁群算法、顺序贪婪算法、DLS-MC算法和智能搜索算法等。不管哪种算法，都要求在多项式时间内求得MCP问题的最优解或近似解。图分为有向图和无向图，本文主要研究确定性算法求解无向图最大团问题。 　　根据算法的设计结果，采用C++语言在Visual Studio 2008上实现算法，通过测试分析，结果运行正确。 　　　　关键词:最大团问题，分支限界法，MCP 　　　　I 　　课程设计说明书(论文)用纸 　　目 录 　　1 问题描述............................................................................................................... 1 2 问题分析............................................................................................................... 2 3 建立数学模型 ....................................................................................................... 4 4 算法设计............................................................................................................... 5 5 算法实现............................................................................................................... 6 　　..............................................................................................................10 6 测试分析 　　结 论 ..................................................................................................................... 11 参考文献 .................................................................................................................12 　　II 　　课程设计说明书(论文)用纸 　　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.1中，子集{1，2}是G的大小为2的完全子图。这个完全子图不是团，因为它被G的更大的完全子图{1，2，5}包含。{1，2，5}是G的最大团。{1，4，5}和{2，3，5}也是G的最大团。 　　2 1 　　3 　　4 5 　　图1.1无向连通图