Litcius/Paper detail

An Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs

Jian Gao, Zhenghang Xu, Ruizhi Li, Minghao Yin

2022Proceedings of the AAAI Conference on Artificial Intelligence15 citationsDOIOpen Access PDF

Abstract

The Maximum k-Defective Clique Problem (MDCP), as a clique relaxation model, has been used to solve various problems. Because it is a hard computational task, previous works can hardly solve the MDCP for massive sparse graphs derived from real-world applications. In this work, we propose a novel branch-and-bound algorithm to solve the MDCP based on several new techniques. First, we propose two new upper bounds of the MDCP as well as corresponding reduction rules to remove redundant vertices and edges. The proposed reduction rules are particularly useful for massive graphs. Second, we present another new upper bound by counting missing edges between fixed vertices and an unfixed vertex for cutting branches. We perform extensive computational experiments to evaluate our algorithm. Experimental results show that our reduction rules are very effective for removing redundant vertices and edges so that graphs are reduced greatly. Also, our algorithm can solve benchmark instances efficiently, and it has significantly better performance than state-of-the-art algorithms.

Topics & Concepts

Clique problemBenchmark (surveying)CliqueComputer scienceVertex (graph theory)AlgorithmReduction (mathematics)Upper and lower boundsCombinatoricsGraphMathematicsTheoretical computer scienceChordal graphGeographyGeodesyMathematical analysisGeometry1-planar graphComplexity and Algorithms in GraphsOptimization and Search ProblemsNetwork Packet Processing and Optimization
An Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs | Litcius