Table of Contents Author Guidelines Submit a Manuscript
Advances in Operations Research
Volume 2010, Article ID 120756, 12 pages
http://dx.doi.org/10.1155/2010/120756
Research Article

A Decomposition Heuristic for the Maximal Covering Location Problem

1Department of Mathematics, Engineering College (FEG), São Paulo State University (UNESP), 12516-410 Guaratinguetá, SP, Brazil
2Associate Laboratory of Applied Mathematics and Computation (LAC), Brazilian Institute for Space Research (INPE), 12201-970 São José dos Campos, SP, Brazil

Received 29 April 2009; Revised 5 January 2010; Accepted 12 February 2010

Academic Editor: George Steiner

Copyright © 2010 Edson Luiz França Senne et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

This paper proposes a cluster partitioning technique to calculate improved upper bounds to the optimal solution of maximal covering location problems. Given a covering distance, a graph is built considering as vertices the potential facility locations, and with an edge connecting each pair of facilities that attend a same client. Coupling constraints, corresponding to some edges of this graph, are identified and relaxed in the Lagrangean way, resulting in disconnected subgraphs representing smaller subproblems that are computationally easier to solve by exact methods. The proposed technique is compared to the classical approach, using real data and instances from the available literature.

1. Introduction

The covering class of facility location problems deals with the maximum distance between any client and the facility designed to attend an associated demand. These problems are known as covering problems and the maximum service distance is known as covering distance. The Set Covering Problem [1] determines the minimal number of facilities that are necessary to attend all clients, for a given covering distance. Due to formulation restrictions, this model does not consider the individual demand of each client. In addition, the number of needed facilities can be large, incurring high fixed installation costs. An alternative formulation considers the installation of a limited number of facilities, even if this amount is unable to attend the total demand. In this formulation, the condition that all clients must be served is relaxed and the objective is changed to locate p facilities such that the most part of the existing demand can be attended, for a given covering distance. This model corresponds to the Maximal Covering Location Problem (MCLP).

Covering models are often found in problems of public organizations for the location of emergency services. Early techniques for solving the MCLP tried to obtain integer solutions from the linear relaxation equivalent of the model proposed by Church and ReVelle [2]. This pioneer work formalizes the MCLP and presents a greedy heuristic based on vertices exchange.

MCLP applications range from emergency services [3, 4], hierarchical health services [5], air pollution control [6], to congested systems [79]. Solution methods for the MCLP include the linear programming relaxation [2], greedy heuristics [10], and Lagrangean relaxation [11]. Lorena and Pereira [12] report results obtained with a Lagrangean/surrogate heuristic using a subgradient optimization method, in complement to the dissociated Lagrangean and surrogate heuristics presented in [13]. Arakaki and Lorena [14] present a constructive genetic algorithm to solve real case instances with up to 500 vertices. Surveys can be found in [1518].

In this paper is presented a cluster relaxation technique to solve large-scale maximal covering location problems. The proposed approach requires the identification of a graph related to a set of constraints. If some of these constraints are relaxed, this graph can be partitioned into subgraphs (clusters), corresponding to smaller problems that can be solved independently.

This paper is organized as follows. Section 2 presents a decomposition approach to obtain improved upper bounds to the optimal solution of maximal covering location problems. Section 3 describes computational results. Some conclusions are given in Section 4.

2. The Proposed Approach for the MCLP

The MCLP was formulated in [2] as the following 0-1 linear programming problem: where(i) is the set of potential facility locations;(ii) is the set of clients to be covered;(iii) is the Euclidean distance matrix between each pair of nodes and ;(iv) is the covering distance;(v) is the set of facilities that can attend each client ;(vi) is the demand (a positive integer value) for each client ;(vii) is the number of facilities to be located;(viii) is a decision variable, with if the demand of the client is covered, and , otherwise;(ix) is a decision variable, with if a facility was installed at the location , and , otherwise.

The objective function maximizes the covered demand. Constraints (2.2) state that a client will be covered if there is at least one facility located within the covering distance. Constraint (2.3) limits to exactly p the number of located facilities and (2.4) and (2.5) express the binary conditions.

The traditional Lagrangean relaxation approach [11] relaxes the set of constraints (2.2) with a vector of multipliers , , obtainingsubject to (2.3), (2.4), and (2.5).

It is easy to see by the integrality property that and the Lagrangean bound cannot be better than the linear relaxation of .

In this paper, a decomposition approach based on the Lagrangean relaxation with clusters (LagClus) of Ribeiro and Lorena [1922] is presented. LagClus is a stronger relaxation that can be useful for several theoretical and practical large-scale problems. The first application of the LagClus was performed on point-feature instances. Later, Ribeiro and Lorena applied this relaxation on pallet loading instances obtaining good results. Besides, the authors proposed a column generation for that problem using this cluster relaxation idea. Another interesting application was performed on wood pulp stowage context. This problem consists of arranging items into holds of dedicated maritime international ships. Recently, [23] applied the LagClus to uncapacitated facility location instances providing better bounds than the ones presented in the literature for a set of difficult instances.

Consider the MCLP instance represented in Figure 1, where the dots correspond to the clients to be covered () and the small squares correspond to the potential facility locations (). In this figure, the values in parenthesis are the demand values , for all . For the chosen covering distance, the sets , for all , are defined as follows:

120756.fig.001
Figure 1: A MCLP instance.

Assuming the number of facilities to be installed as p = 3, this instance can be formulated as The proposed approach considers the MCLP as a covering graph, which is defined as follows.

Let be a graph where M is the set of vertices corresponding to the potential facility locations and and , is the set of edges. So, in a covering graph there exists an edge connecting two potential facility locations, if and share, at least, one covered client. Figure 2 shows the covering graph associated with the above MCLP instance.

120756.fig.002
Figure 2: A covering graph.

It is easy to note that the edges in a covering graph are related to the set of constraints (2.2) in the MCLP formulation. For example, the edges shown in Figure 2 correspond to the constraints (2.11), (2.13)–(2.17), and (2.19).

Now, consider that a covering graph is partitioned in some way. Figure 3(a) shows a possible partition. If the edges (), (), (), and () are removed from the graph, two subgraphs are obtained, as shown in Figure 3(b).

fig3
Figure 3: Partitioning a covering graph.

This partition corresponds to relax in the Lagrangean way the constraints (2.14) and (2.19) of the MCLP formulation, using Lagrangean multipliers and , respectively. If constraint (2.3) is also relaxed with Lagrangean multiplier , the relaxed problem will be subject to (2.9)–(2.13), (2.15)–(2.18), (2.20), (2.22), (2.23), and The objective function can now be rewritten as Then, the problem can be decomposed in two subproblems: where subject to (2.9)–(2.11), (2.15), (2.16), (2.22), (2.23), and and subject to (2.12), (2.13), (2.17), (2.18), (2.20), (2.22), (2.23), and

Note that these subproblems correspond to the following clusters (which are associated with the subgraphs of the covering graph):(i)Cluster 1: and ;(ii)Cluster 2: and .

The resulting Lagrangean relaxation does not have the integrality property, being stronger than () of Galvão and ReVelle [11]. As the clusters are smaller than the original covering graph, exact methods can be employed to solve each corresponding subproblem, obtaining better quality bounds in shorter computational times.

For the above example, one can apply a subgradient optimization method in order to determine the values of the dual variables , and . At each iteration of this method, the values of the dual variables are used to update the coefficients of the objective function of each subproblem, which can be solved by exact methods.

It is interesting to observe that, due to the relaxation of constraints (2.14) and (2.19), the variables and disappeared from the formulations of the subproblems. According to the objective function (2.27) their values will be set as 0 or 1, depending on their respective coefficient at each iteration: for all constraint (2.2) containing variable is relaxed.

Therefore, the proposed decomposition approach can be established in the following steps.(a)Build a covering graph corresponding to the MCLP.(b)Apply a graph partitioning heuristic to divide the covering graph into clusters. The MCLP can be written through the objective function defined in (2.1) subject to (2.2)–(2.5) where the constraints (2.2) are now divided into two groups: one with constraints corresponding to intracluster edges and other formed by constraints that correspond to edges connecting the clusters.(c)Using distinct nonnegative multipliers, relax in the Lagrangean way the constraints corresponding to the edges connecting the clusters (defining the set ) and also relax constraint (2.3).(d)The resulting Lagrangean relaxation is decomposed into subproblems.(e)Apply the standard subgradient method in order to optimize the dual variables and .

The subgradient method used in the step (e) can be written as follows. Set, initially, While (the stop conditions are not satisfied) do the following Solve subproblems S for and, using the current values of and. Calculate  Update  If (a feasible solution for MCLP is found), then do the following.   Calculate using the obtained values for and .   Update . Calculate  Update the step size . Update End-While.

The step size used in this algorithm is the one proposed in [24], beginning with and halving it whenever the upper bound does not decrease for a certain number of successive iterations. The stopping tests used are the following: (a) or(b), or(c)the subgradient vector ,.

3. Computational Results

The LagClus algorithm was coded in C and the tests were conducted on a notebook with Intel Core 2 Duo 2.0 GHz processor and 2.0 GB RAM, running Windows XP (Service Pack 3), and ILOG CPLEX 10.1.1 [25]. The data were obtained from TSPLIB PCB3038 [26] and real case instances for facility location problems in São José dos Campos city, Brazil (available for download at http://www.lac.inpe.br/~lorena/instancias.html).

For the graph partitioning task was used the well-known METIS heuristic for graph partitioning problems [27], with default values. Given a covering graph G and a predefined number k of clusters, METIS divides the graph in k clusters minimizing the number of edges with terminations in different clusters.

The results obtained are shown in Tables 1 to 3. These tables use the following legend in the columns(i): number of clusters;(ii): number of potential facilities locations and clients to be covered;(iii): number of facilities to be installed;(iv)Optimal: optimal solution of the corresponding MCLP obtained by CPLEX;(v)GapLP: linear relaxation gap provided by CPLEX (in percentage);(vi)CPU: computing time of the corresponding optimal solution obtained by CPLEX (in seconds);(vii)Cuts: number of relaxed constraints;(viii)Gap = 100%  × (UBOptimal)/Optimal;(ix)CPUSeq: sum of the computing times for every cluster, at each iteration (in seconds);(x)CPUPar: the largest computing time for a cluster, at each iteration (in seconds).

tab1
Table 1: Computation times for SJC instances, .

The values marked with an asterisk in Table 3 denote instances where CPLEX failed to produce an optimal solution within the time limit of 20000 seconds. The presented figures are suboptimal values.

From these results one can observe that the smaller the number of clusters is, the better are the upper bounds obtained (smaller are the gaps). On the other hand, as the number of clusters increases, the computational effort for solving the subproblems is reduced.

In the results shown that for (SJC instances) and (TSPLIB PCB3038 instance), the gaps obtained for 92.3% of the instances (48 out of 52) are equal or smaller (values presented in bold face) than the gaps obtained by the linear relaxation, which demonstrates the effectiveness of the decomposition heuristic. However, improved gaps could be obtained by reducing the number of clusters, at the cost of larger computational times.

Therefore, as shown in Tables 1, 2, and 3, the bounds obtained by the proposed approach are better than the ones produced by the linear relaxation and, consequently, by any Lagrangean relaxation as the ones presented in [1113]. Nevertheless, comparing the values of the CPU times presented by this method and those presented by CPLEX, it is clear that the proposed decomposition approach is appropriate only for large-scale problems.

tab2
Table 2: Computation times for SJC instances, .
tab3
Table 3: Computation times for TSPLIB PCB3038 instance, .

Comparing the values of CPUSeq and CPUPar for each value of , it is also possible to note that CPUPar values are becoming relatively smaller than CPUSeq values as the size of the instances increases, indicating that the proposed decomposition approach can substantially reduce the time for solving large instances of MCLP in parallel (or multicore CPU) computers.

4. Conclusions

This paper presents a decomposition approach based on cluster partitioning to calculate improved upper bounds to the optimal solution of maximal covering location problems. The partitioning is based on the covering graph of potential facility locations that attend a same client. The corresponding coupling constraints are identified and some of them are relaxed in the Lagrangean way, resulting in subproblems that can be solved independently. Each subproblem represents a cluster smaller than the original problem and can be solved by exact methods in smaller computational times. Computational tests using real data and instances from the available literature were conducted and confirmed the effectiveness of the proposed approach.

An important characteristic of large-scale problems addressed by the proposed approach is the tradeoff between gap values and CPU times. Depending on the application, one may choose to sacrifice the quality of the bounds (increasing the number of clusters) in order to obtain shorter processing times. On the other hand, if quality is the issue, the processing times needed to solve instances with only a few clusters may be longer.

In this study, the number of clusters was fixed a priori and then the number of intercluster edges was minimized by the partitioning algorithm. In this way, for a chosen k, the number of relaxed constraints is minimized and, consequently, better bounds are obtained. The partitioning is clearly crucial and other choices could be considered, for example, minimize the maximal size of the clusters, so as to obtain the smallest possible subproblems. This has yet to be investigated.

The heuristic presented in this article can be used in a branch-and-bound exact method. As, in general, the upper bounds obtained with this heuristic are better than those obtained by the linear relaxation, one would expect many more nodes be pruned, with a possibly significant size reduction of the search tree.

Advances in applied mathematics and computer science have resulted in high-performance tools for mathematical programming, allowing tough optimization problems to be solved. However, as the problem size increases, the computational time may grow excessively, making the problem intractable even for the most efficient tools. In such a case an approach in which a large-scale problem is divided into a number of smaller-scale subproblems can be a nice solution possibility.

Acknowledgments

The authors acknowledge CNPq—Conselho Nacional de Desenvolvimento Científico e Tecnológico for partial financial research support. They also would like to thank the valuable suggestions of two anonymous referees.

References

  1. C. Toregas, R. Swain, C. ReVelle, and L. Bergman, “The location of emergency service facilities,” Operations Research, vol. 19, pp. 1363–1373, 1971. View at Google Scholar
  2. R. Church and C. ReVelle, “The maximal covering location problem,” Papers of the Regional Science Association, vol. 32, no. 1, pp. 101–118, 1974. View at Publisher · View at Google Scholar · View at Scopus
  3. D. J. Eaton, M. L. Hector, U. Sanchez, R. Lantigua, and J. Morgan, “Determining ambulance deployment in Santo Domingo. Dominican Republic,” Journal of the Operational Research Society, vol. 37, no. 2, pp. 113–126, 1986. View at Google Scholar · View at Scopus
  4. J. R. Current and M. O'Kelly, “Locating emergency warning sirens,” Decision Sciences, vol. 23, pp. 221–234, 1981. View at Google Scholar
  5. G. C. Moore and C. S. ReVelle, “The hierarchical service location problem,” Management Science, vol. 28, pp. 775–780, 1982. View at Google Scholar
  6. E. S. Hougland and N. T. Stephens, “Air pollutant monitor sitting by analytical techniques,” Journal of the Air Pollution Control Association, vol. 26, pp. 52–53, 1976. View at Google Scholar
  7. V. Marianov and D. Serra, “Probabilistic, maximal covering location-allocation models from congested systems,” Journal of Regional Science, vol. 38, no. 3, pp. 401–424, 1998. View at Google Scholar · View at Scopus
  8. V. Marianov and D. Serra, “Hierarchical location-allocation models for congested systems,” European Journal of Operational Research, vol. 135, no. 1, pp. 195–208, 2001. View at Publisher · View at Google Scholar · View at Scopus
  9. F. A. Corrêa and L. A. N. Lorena, “Using the constructive genetic algorithm for solving the probabilistic maximal covering location-allocation problem,” in Proceedings of the 1st Workshop on Computational Intelligence/SBRN, 2006, http://www.lac.inpe.br/~lorena/correa/Correa_Lorena_Wci_2006.pdf.
  10. M. Daskin, Network and Discrete Location: Models Algorithms and Applications, Wiley-Interscience Series in Discrete Mathematics and Optimization, John Wiley & Sons, New York, NY, USA, 1995. View at MathSciNet
  11. R. D. Galvão and C. ReVelle, “A Lagrangean heuristic for the maximal covering location problem,” European Journal of Operational Research, vol. 88, no. 1, pp. 114–123, 1996. View at Publisher · View at Google Scholar · View at Scopus
  12. L. A. N. Lorena and M. A. Pereira, “A Lagrangean/surrogate heuristic for the maximal covering location problem using Hillsman's edition,” International Journal of Industrial Engineering, vol. 9, no. 1, pp. 57–67, 2002. View at Google Scholar · View at Scopus
  13. R. D. Galvão, L. G. A. Espejo, and B. Boffey, “A comparison of Lagrangean and surrogate relaxations for the maximal covering location problem,” European Journal of Operational Research, vol. 124, no. 2, pp. 377–389, 2000. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  14. R. G. I. Arakaki and L. A. N. Lorena, “A constructive genetic algorithm for the maximal covering location problem,” in Proceedings of the 4th Metaheuristics International Conference (MIC '01), pp. 13–17, Porto. Portugal, July 2001, http://www.lac.inpe.br/~lorena/arakaki/cgalap.pdf.
  15. C.-H. Chung, “Recent applications of the maximal covering location problem (MCLP) model,” Journal of the Operational Research Society, vol. 37, no. 8, pp. 735–746, 1986. View at Google Scholar · View at Scopus
  16. T. S. Hale and C. R. Moberg, “Location science research: a review,” Annals of Operations Research, vol. 123, no. 1–4, pp. 21–35, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  17. D. Serra and V. Marianov, “New trends in public facility location modeling,” Working Paper 755, Universitat Pompeu Fabra Economics and Business, 2004, http://www.econ.upf.edu/docs/papers/downloads/755.pdf. View at Google Scholar
  18. R. D. Galvão, “Uncapacitated facility location problems: contributions,” Pesquisa Operacional, vol. 24, pp. 7–38, 2004. View at Google Scholar
  19. G. M. Ribeiro and L. A. N. Lorena, “Lagrangean relaxation with clusters and column generation for the manufacturer's pallet loading problem,” Computers & Operations Research, vol. 34, no. 9, pp. 2695–2708, 2007. View at Publisher · View at Google Scholar · View at Scopus
  20. G. M. Ribeiro and L. A. N. Lorena, “Lagrangean relaxation with clusters for point-feature cartographic label placement problems,” Computers & Operations Research, vol. 35, no. 7, pp. 2129–2140, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  21. G. M. Ribeiro and L. A. N. Lorena, “Optimizing the woodpulp stowage using Lagrangean relaxation with clusters,” Journal of the Operational Research Society, vol. 59, no. 5, pp. 600–606, 2008. View at Publisher · View at Google Scholar · View at Scopus
  22. G. M. Ribeiro and L. A. N. Lorena, “Column generation approach for the point-feature cartographic label placement problem,” Journal of Combinatorial Optimization, vol. 15, no. 2, pp. 147–164, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  23. F. A. Corrêa, L. A. N. Lorena, and E. L. F. Senne, “Lagrangean relaxation with clusters for the uncapacitated facility location problem,” in Proceedings of the 13th CLAIO—Congreso Latino-Iberoamericano de Investigación Operativa, Montevideo, Uruguay, November 2006, http://www.lac.inpe.br/~lorena/correa/LagClus_UFLP_CLAIO2006.pdf.
  24. M. Held and R. M. Karp, “The traveling-salesman problem and minimum spanning trees: part II,” Mathematical Programming, vol. 1, no. 1, pp. 6–25, 1971. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  25. ILOG, “CPLEX 10.1.1: User's Manual,” France, 2006.
  26. G. Reinelt, The Traveling Salesman Problem: Computational Solutions for TSP Applications, vol. 840 of Lecture Notes in Computer Science, Springer, Berlin, Germany, 1984. View at MathSciNet
  27. G. Karypis and V. Kumar, “Multilevel k-way partitioning scheme for irregular graphs,” Journal of Parallel and Distributed Computing, vol. 48, no. 1, pp. 96–129, 1998. View at Google Scholar