Effective Approaches to Solve <i>P</i>-Center Problem via Set Covering and SAT - Archive ouverte HAL
Journal Articles IEEE Access Year : 2020

Effective Approaches to Solve P-Center Problem via Set Covering and SAT

Xiaolu Liu
Yuan Fang
Jiaming Chen
  • Function : Author
  • PersonId : 1319421
Zhouxing Su
Zhipeng Lu

Abstract

The classic p-center problem consists of choosing a set of p vertices in an undirected graph as facilities in order to minimize the maximum distance between each client vertex and its closest facility. The problem is equivalent to covering all vertices by no more than p circles with the smallest possible radius, which can be tackled by solving a series of the decision version of set covering subproblems with the same cardinality constraint (≤ p) and gradually decreasing the covering radius. In this paper, we solve the p-center problem via set covering and SAT. We first transform the p-center problem into a series of set covering subproblems and simplify them by some reduction rules. Then, we present two kinds of encoding methods to convert them into CNF format and solve them with several state-of-the-art SAT solvers. Tested on three sets of totally 70 benchmark instances, our proposed approach can improve the previous best known results for 3 instances using the heuristic SAT solvers while proving the optimality for 59 instances using the exact SAT solvers. The computational results demonstrate the effectiveness of the proposed approach in terms of both solution quality and computational efficiency. In addition, the main advantage of our approach is twofold: The independence of the subproblems allows the problem to be solved in parallel; The approach to transform the original problem into SAT is flexible such that various state-of-the-art SAT solvers can be used.
Fichier principal
Vignette du fichier
Effective_Approaches_to_Solve_P-Center_Problem_via_Set_Covering_and_SAT.pdf (2.45 Mo) Télécharger le fichier
Origin Publisher files allowed on an open archive

Dates and versions

hal-04320604 , version 1 (04-12-2023)

Identifiers

Cite

Xiaolu Liu, Yuan Fang, Jiaming Chen, Zhouxing Su, Chumin Li, et al.. Effective Approaches to Solve P-Center Problem via Set Covering and SAT. IEEE Access, 2020, 8, pp.161232 - 161244. ⟨10.1109/access.2020.3018618⟩. ⟨hal-04320604⟩
15 View
43 Download

Altmetric

Share

More