Effective Approaches to Solve P-Center Problem via Set Covering and SAT - Université de Picardie Jules Verne Accéder directement au contenu
Article Dans Une Revue IEEE Access Année : 2020

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

Xiaolu Liu
  • Fonction : Auteur
Yuan Fang
  • Fonction : Auteur
  • PersonId : 769969
  • IdRef : 169653609
Jiaming Chen
  • Fonction : Auteur
Zhouxing Su
  • Fonction : Auteur
Zhipeng Lu
  • Fonction : Auteur


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 fiexible such that various state-of-the-art SAT solvers can be used.

Dates et versions

hal-03636417 , version 1 (10-04-2022)



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-03636417⟩


17 Consultations
0 Téléchargements



Gmail Facebook Twitter LinkedIn More