Maximal cliques play a fundamental role in numerous application domains, where their enumeration can prove extremely useful. Yet their sheer number, even in sparse real-world graphs, can make them impractical to be exploited effectively. To address this issue, one approach is to enumerate $\ell$-isolated maximal cliques, whose vertices have (on average) less than $\ell$ edges toward the rest of the graph. By tuning parameter $\ell$, the degree of isolation can be controlled, and cliques that are overly connected to the outside are filtered out. Building on Tomita et al.'s very practical recursive algorithm for maximal clique enumeration, we propose four pruning heuristics, applicable individually or in combination, that discard recursive search branches that are guaranteed not to yield $\ell$-isolated maximal cliques. Besides proving correctness, we characterize both the pruning power and the computational cost of these heuristics, and we conduct an extensive experimental study comparing our methods with Tomita's baseline and with a state-of-the-art approach. Results show that two of our heuristics offer substantial efficiency improvements, especially on real-world graphs with social network properties.
翻译:极大团在众多应用领域中具有基础性作用,其枚举过程往往极具实用价值。然而,即使在稀疏的现实世界图中,极大团的数量也可能极为庞大,导致其难以被有效利用。为解决这一问题,一种可行途径是枚举ℓ-孤立极大团——这类团的顶点与图中其余部分之间的边数(平均)少于ℓ。通过调节参数ℓ,可以控制团的孤立程度,从而过滤掉与外部连接过密的团。基于Tomita等人提出的极具实用性的极大团递归枚举算法,我们提出了四种剪枝启发式策略,这些策略可单独或组合使用,以舍弃那些保证不会产生ℓ-孤立极大团的递归搜索分支。在证明算法正确性的基础上,我们系统分析了这些启发式策略的剪枝能力与计算代价,并通过大量实验将我们的方法与Tomita的基线算法以及当前最先进方法进行了比较。实验结果表明,其中两种启发式策略能显著提升计算效率,尤其在具有社交网络特性的现实世界图上表现突出。