图论--最大团问题
一、定义 一个无向图 G=(V,E),V 是点集,E 是边集。取 V 的一个子集 U,若对于 U 中任意两个点 u 和 v,有边 (u,v)∈E,那么称 U 是 G 的一个完全子图。 U 是一个团当且仅当 U 不被包含在一个更大的完全子图中。 G的最大团指的是定点数最多的一个团。 简单来说,极大团是增加任一顶点都不再符合定义的团,最大团是图中含顶点数最多的极大团,最大独立集是除去图中的团后的点集,而最大团问题就是在一个无向图中找出一个点数最多的完全图。 二、常用结论 1、最大团点的数量=补图中最大独立集点的数量 2、二分图中,最大独立集点的数量+最小覆盖点的数量=整个图点的数量 3、二分图中,最小覆盖点的数量=最大匹配的数量 4、图的染色问题中,最少需要的颜色的数量=最大团点的数量 三、算法实现 毕竟是NP完全问题,所以具体使用,什么算法,区别不是很大,具体体现在剪枝上! 对于弦图来说,求最大团一般使用 MCS 算法,而对于一般图来说,常使用 Bron-Kerbosch 算法 【Bron-Kerbosch 算法】 Bron-Kerbosch 算法用于计算图中的最大的全连通分量,即计算图的最大团。 1.算法原理 Bron-Kerbosch 算法的基础形式是一个递归回溯的搜索算法,其通过给定三个集合:R、P、X 来递归的进行搜索 初始化集合 R、X 分别为空,集合 P 为所有顶点的集合