Enumerating Maximum Cliques in Massive Graphs

Cliques refer to subgraphs in an undirected graph such that vertices in each subgraph are pairwise adjacent. The maximum clique problem, to find the clique with most vertices in a given graph, has been extensively studied. Besides its theoretical value as an NP-hard problem, the maximum clique problem is known to have direct applications in various fields, such as community search in social networks and social media, team formation in expert networks, gene expression and motif discovery in bioinformatics and anomaly detection in complex networks, revealing the structure and function of networks. However, algorithms designed for the maximum clique problem are expensive to deal with real-world networks. In this paper, we first devise a randomized algorithm for the maximum clique problem. Different from previous algorithms that search from each vertex one after another, our approach
RMC
, for the randomized maximum clique problem, employs a binary search while maintaining a lower bound
$\underline{\omega _c}$
and an upper bound
$\overline{\omega _c}$
of
$\omega (G)$
. In each iteration,
RMC
attempts to find a
$\omega _t$
-clique where
$\omega _t=\lfloor (\underline{\omega _c}+\overline{\omega _c})/2\rfloor$
. As finding
$\omega _t$
in each iteration is NP-complete, we extract a seed set
$S$
such that the problem of finding a
$\omega _t$
-clique in
$G$
is equivalent to finding a
$\omega _t$
-clique in
$S$
with probability guarantees (
$\geq$
$ 1-n^{-c}$
). We propose a novel iterative algorithm to determine the maximum clique by searching a
$k$
-clique in
$S$
starting from
$k=\underline{\omega _c}+1$
until
$S$
becomes
$\lbrace \rbrace$
, when more iterations benefit marginally. Due to the potential inconsistency of maximum clique algorithms, we study the problem of maximum clique enumeration and propose an efficient algorithm
RMCE
to enumerate all maximum cliques in a given graph. As confirmed by the experiments, both
RMC
and
RMCE
are much more efficient and robust than previous solutions,
RMC
can always find the exact maximum clique, and
RMCE
can always enumerate all maximum cliques in a given graph.