An Exact Algorithm for the Minimum Dominating Set Problem

An Exact Algorithm for the Minimum Dominating Set Problem

Hua Jiang, Zhifei Zheng

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence
Main Track. Pages 5604-5612. https://doi.org/10.24963/ijcai.2023/622

The Minimum Dominating Set (MDS) problem is a classic NP-hard combinatorial optimization problem with many practical applications. Solving MDS is extremely challenging in computation. Previous work on exact algorithms mainly focuses on improving the theoretical time complexity and existing practical algorithms for MDS are almost based on heuristic search. In this paper, we propose a novel lower bound and an exact algorithm for MDS. The algorithm implements a branch-and-bound (BnB) approach and employs the new lower bound to reduce search space. Extensive empirical results show that the new lower bound is efficient in reduction of the search space and the new algorithm is effective for the standard instances and real-world instances. To the best of our knowledge, this is the first effective BnB algorithm for MDS.
Keywords:
Search: S: Combinatorial search and optimisation
Search: S: Heuristic search