Efficient maximum clique computation and enumeration over large sparse graphs

Lijun Chang
DOI: https://doi.org/10.1007/s00778-020-00602-z
2020-02-15
The VLDB Journal
Abstract:This paper studies the problem of maximum clique computation (MCC) over sparse graphs, as large real-world graphs are usually sparse. In the literature, the problem of MCC over sparse graphs has been studied separately and less extensively than its dense counterpart—MCC over dense graphs—and advanced algorithmic techniques that are developed for MCC over dense graphs have not been utilized in the existing MCC solvers for sparse graphs. In this paper, we design an algorithm <span class="mathjax-tex">\(\mathsf {MC\text {-}BRB}\)</span> for sparse graphs which transforms an instance of MCC over a large sparse graph <i>G</i> to instances of <i>k</i>-clique finding (KCF) over dense subgraphs of <i>G</i>, each of which can be computed by the existing MCC solvers for dense graphs. To further improve the efficiency, we then develop a new <i>branch-reduce-&amp;-bound</i> framework for KCF over dense graphs by proposing light-weight reducing techniques and leveraging the advanced branching and bounding techniques that are used in the existing MCC solvers for dense graphs. In addition, we also design an ego-centric algorithm <span class="mathjax-tex">\(\mathsf {MC\text {-}EGO}\)</span> for heuristically computing a near-maximum clique in near-linear time, and we extend our <span class="mathjax-tex">\(\mathsf {MC\text {-}BRB}\)</span> algorithm to enumerate all maximum cliques. Finally, we parallelize our algorithms to exploit multiple CPU cores. We conduct extensive empirical studies on large real graphs and demonstrate the efficiency and effectiveness of our techniques.
computer science, information systems, hardware & architecture
What problem does this paper attempt to address?