极大团(maximal clique)算法:Born_kerbosch算法

Posted lfxiao

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了极大团(maximal clique)算法:Born_kerbosch算法相关的知识,希望对你有一定的参考价值。

 

不了解极大团(maximal clique)的,请看极大团这篇文章

参考资料:

Bron_Kerbosch算法

团、极大团、最大团介绍

当给出一个图后,我们应该怎么去寻找其中的极大子团呢?

寻找极大子团的最简单的思想是:

1.生成原始图的所有子图(可能的子图有2*n个,n代表顶点个数)

2.判断这些子图是不是团

3.将不是极大团的团删除

 

Born_Kerbosch算法

这个算法主要构造三个集合:

R集合:存储当前极大团中加入的顶点

P集合:存储可能还加入的点

X集合:存储的是已经假如过某个极大团的点(作用是判重,因为会从每个顶点开始,枚举所有团,如果不对已经加入到某个极大团的顶点进行标记,可能会有重复极大团的出现)

 

基础Born_kerbosch算法

1.对于任意一个在集合P中的顶点V,我们把V加入到R集合(集合P中的每一个顶点均与R集合中所有的点是连接的,所以加入顶点V后,依然能保证集合R是个团),然后对在P集合中且与V相连的这部分点中,寻找下一个可能加入到R集合的点。(意思就时加入点v至R集合后更新P集合,使P集合中的任意一个点依然能和R集合中每一个点都是连接的。因为这里新R集合中加入了V,所以只要是原p集合中且与v顶点相连的这些顶点就是与新R集合中所有顶点相连)

2.回溯时把顶点V从P中移除并加入到X集合,表示在当前状态下包含顶点V的极大团已经计算完毕。

3.R集合为极大团时,必须满足P与X都是空的。P存放的是还可能加入到极大团R中的点,P集合为空表示已经没有点能加入到R中了。而X中存放的是已经完成极大团计算的点,且X集合中的任意一个点必然是与R中每个顶点都连接(因为我们每次向下dfs时,还对P和X分别进行取与R集合内都连接的操作来保证,而且X中的点就是从R中取出的点,当然会和R集合中的每个点都连接),即X中的点必然可以和R集合构成极大团。如果X集合不为空的话,可以把X的点加入到R集合中从而构成一个团R1,R1的顶点数大于R,说明R就不是一个极大团,R1集合中的极大团是之前计算包含x集合中的点的极大团的时候计算过了的,故当且仅当P、X集合都为空时R才是一个极大团。

算法图例

 

Born_Kerbosch算法的优化

在上面这个方法中,我们进行了许多不必要的判断,例如在我们找到了极大团{1、2、3}之后,依然去对{1、3},{2、3},{3}这些团进行了判断,然而这些显然不是极大团。所以现在考虑的是对其进行优化,使程序不用进行不必要的递归。
当我们将一个结点u,放入到R集合后,再取下一个结点,取的必然是u的邻居结点(因为再更新P和X时,会将不是邻居结点的结点都过滤掉)。通俗的讲就是如果取完u之后我们再取与u相邻的点v也能加入到极大团,那么我们只取u就好了,因为我们由u开始递归,已经找到了u及其邻居结点v等等结点构成的极大团了,没有必要再去从v开始寻找极大团,这会增加不必要的计算。至于v可能可以其他结点构成另一个极大团,如果这个极大团包括了u,那么由u开始就已经找到了这个极大团了;如果这个极大团不包括u,那说明这个极大团里面一定存在和u结点不相连的结点k,那没必要从v开始寻找这个极大团了,从u的非邻居结点k开始,一样可以找到这个极大团。这样对u及其邻居结点构成的极大团,只需要从u开始寻找一次就可以了,接下来就直接从u的非邻居结点k开始寻找极大团,这样可以减少许多不必要的计算。

 

以上是关于极大团(maximal clique)算法:Born_kerbosch算法的主要内容,如果未能解决你的问题,请参考以下文章

A 1142 Maximal Clique (25分)

HDOJ5952Counting Cliques(团,dfs)

图论-相关概念

1142 Maximal Clique

PAT 1142 Maximal Clique

PAT 1142 Maximal Clique