1: \begin{abstract}
2: The discrete $\alpha$-neighbor $p$-center problem (\APCP) is an emerging
3: variant of
4: the
5: classical $p$-center problem which recently got attention in
6: literature. In this problem, we are given a discrete set of points and we need
7: to locate
8: $p$ facilities on these points in such a way that the maximum distance
9: between each point where no facility is located and its $\alpha$-closest
10: facility is minimized. The
11: only existing algorithms in literature for solving the \APCP are
12: approximation algorithms and two recently proposed heuristics.
13: %, namely a GRASP and a local search.
14:
15: In this work, we present two integer programming formulations for the \APCP,
16: together with lifting of inequalities, valid inequalities,
17: inequalities that do not
18: change the optimal objective function value and variable fixing procedures. We
19: provide
20: theoretical results on the strength of the formulations and convergence results
21: for the lower bounds obtained after applying the lifting procedures or the
22: variable fixing procedures in an iterative fashion. Based on our
23: formulations
24: and theoretical results, we develop branch-and-cut (\BC) algorithms, which are
25: further enhanced with a starting heuristic and a primal
26: heuristic.
27:
28: We evaluate the effectiveness of our \BC algorithms using instances from
29: literature. Our algorithms are able to solve 116 out of 194 instances from
30: literature to proven optimality, with a runtime of under a minute for most of
31: them. By doing so, we also provide improved solution values for 116 instances.
32:
33: \begin{keyword}
34: location science; $p$-center problem; integer programming formulation; min-max
35: objective
36: \end{keyword}
37: \end{abstract}
38: