2015-02-09 46 views
1

Bron–Kerbosch algorithm是列出图的所有极大集合的方法。我最近成功实现了算法,只是为了好玩。缺点是算法是递归的,因此只能在小图上运行,直到堆栈溢出。Bron-Kerbosch算法的迭代版本?

应该可以使算法纯粹迭代。考虑维基百科上的基本版本(不支持)。算法的迭代版本如何在伪代码中看起来像?有什么地方有说明吗?

我想像一个堆栈数据结构来模拟递归。我也应该有一个循环来测试P和X的空白,但是我没有看到完整的答案。

+0

因此,这是一个有效的问题,但IIRC B- -K在堆栈的最大深度中需要时间指数。 – 2015-02-09 13:00:35

回答

4

The recursive version is given in Wikipedia就象这样:

BronKerbosch1(R, P, X): 
    if P and X are both empty: 
     report R as a maximal clique 
    for each vertex v in P: 
     BronKerbosch1(R ⋃ {v}, P ⋂ N(v), X ⋂ N(v)) 
     P := P \ {v} 
     X := X ⋃ {v} 

为了模拟递归,我们只需要使用堆栈跟踪三个变量:

BronKerbosch(P): 
    S := empty stack 
    S.push({}, P, {}) 
    while S is not empty: 
     R, P, X := S.pop() 
     if P and X are both empty: 
      report R as a maximal clique    
     if P is not empty: 
      v := some vertex in P 
      S.push(R, P \ {v}, X ⋃ {v}) 
      S.push(R ⋃ {v}, P ⋂ N(v), X ⋂ N(v))