4e52b57ede21053a.tex
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: