Facility location problem

The study of facility location problems, also known as location analysis, is a branch of operations research and computational geometry concerned with the optimal placement of facilities to minimize transportation costs while considering factors like avoiding placing hazardous materials near housing, and competitors' facilities. The techniques also apply to cluster analysis.

Minimum facility location

A simple facility location problem is the Weber problem, in which a single facility is to be placed, with the only optimization criterion being the minimization of the weighted sum of distances from a given set of point sites. More complex problems considered in this discipline include the placement of multiple facilities, constraints on the locations of facilities, and more complex optimization criteria.

In a basic formulation, the facility location problem consists of a set of potential facility sites L where a facility can be opened, and a set of demand points D that must be serviced. The goal is to pick a subset F of facilities to open, to minimize the sum of distances from each demand point to its nearest facility, plus the sum of opening costs of the facilities.

The facility location problem on general graphs is NP-hard to solve optimally, by reduction from (for example) the set cover problem. A number of approximation algorithms have been developed for the facility location problem and many of its variants.

Without assumptions on the set of distances between clients and sites (in particular, without assuming that the distances satisfy the triangle inequality), the problem is known as non-metric facility location and can be approximated to within a factor O(log n).^[1] This factor is tight, via an approximation-preserving reduction from the set cover problem.

If we assume distances between clients and sites are undirected and satisfy the triangle inequality, we are talking about a metric facility location (MFL) problem. The MFL is still NP-hard and hard to approximate within factor better than 1.463.^[2] The currently best known approximation algorithm achieves approximation ratio of 1.488.^[3]

Minimax facility location

The minimax facility location problem seeks a location which minimizes the maximum distance to the sites, where the distance from one point to the sites is the distance from the point to its nearest site. A formal definition is as follows: Given a point set P ⊂ ℝ^d, find a point set S ⊂ ℝ^d, |S| = k, so that max_p ∈ P(min_q ∈ S(d(p, q)) ) is minimized.

In the case of the Euclidean metric for k = 1, it is known as the smallest enclosing sphere problem or 1-center problem. Its study traced at least to the year of 1860. see smallest enclosing circle and bounding sphere for more details.

NP hardness

It has been proved that exact solution of k-center problem is NP hard.^[4] ^[5] ^[6] Approximation to the problem was found to be also NP hard when the error is small. The error level in the approximation algorithm is measured as an approximation factor, which is defined as the ratio between the approximation and the optimum. It's proved that the k-center problem approximation is NP hard when approximation factor is less than 1.822 (dimension = 2)^[7] or 2 (dimension > 2).^[6]

Algorithms

Exact solver

There exist algorithms to produce exact solutions to this problem. One exact solver runs in time $n^{O({\sqrt {k}})}$ .^[8]^[9]

1 + ε approximation

1 + ε approximation is to find a solution with approximation factor no greater than 1 + ε. This approximation is NP hard as ε is arbitrary. One approach based on the coreset concept is proposed with execution complexity of $O(2^{{O(k\log k/\varepsilon ^{2})}}dn)$ .^[10] As an alternative, another algorithm also based on coresets is available. It runs in $O(k^{n})$ .^[11] The author claims that the running time is much less than the worst case and thus it's possible to solve some problems when k is small (say k < 5).

Farthest-point clustering

For the hardness of the problem, it's impractical to get an exact solution or precise approximation. Instead, an approximation with factor = 2 is widely used for large k cases. The approximation is referred to as the farthest-point clustering (FPC) algorithm, or farthest-first traversal.^[6] The algorithm is quite simple: pick any point from the set as one center; search for the farthest point from remaining set as another center; repeat the process until k centers are found.

It is easy to see that this algorithm runs in linear time. As approximation with factor less than 2 is proved to be NP hard, FPC was regarded as the best approximation one can find.

As per the performance of execution, the time complexity is later improved to O(n log k) with box decomposition technique.^[7]

Maxmin facility location

The maxmin facility location or obnoxious facility location problem seeks a location which maximizes the minimum distance to the sites. In the case of the Euclidean metric, it is known as the largest empty sphere problem. The planar case (largest empty circle problem) may be solved in optimal time Θ(n log n).^[12]^[13]

Dynamic facility location problems

Dynamic facility location problems allow considering a time-dependent plan for the optimal placement of facilities to minimize transportation costs, while serving customers in some area or region. This class of problems emerges as appropriate when changes in demands or transportation costs are known. As an extension to their static counterparts, a general mathematical programming framework for dynamic facility location problems has been recently introduced by Laporte et al.^[14] Efficient approaches for solving large instances of those problems have been recently proposed by Castro et al.,^[15] based on a specialized application of the Benders decomposition.

Integer programming formulations

Facility location problems are often solved as integer programs. In this context, facility location problems are often posed as follows: suppose there are $n$ facilities and $m$ customers. We wish to choose (1) which of the $n$ facilities to open, and (2) which (open) facilities to use to supply the $m$ customers, in order to satisfy some fixed demand at minimum cost. We introduce the following notation: let $f_{i}$ denote the (fixed) cost of opening facility $i$ , for $i=1,\dots ,n$ . Let $c_{ij}$ denote the cost to ship a product from facility $i$ to customer $j$ for $i=1,\dots ,n$ and $j=1,\dots ,m$ . Let $d_{j}$ denote the demand of customer $j$ for $j=1,\dots ,m$ . Further suppose that each facility has a maximum output. Let $u_{i}$ denote the maximum amount of product that can be produced by facility $i$ , that is, let $u_{i}$ denote the capacity of facility $i$ . The remainder of this section follows^[16]

Capacitated facility location

In our initial formulation, introduce a binary variable $x_{i}$ for $i=1,\dots ,n$ , where $x_{i}=1$ if facility $i$ is open, and $x_{i}=0$ otherwise. Further introduce the variable $y_{{ij}}$ for $i=1,\dots ,n$ and $j=1,\dots ,m$ which represents the fraction of the demand $d_{j}$ filled by facility $i$ . The so-called capacitated facility location problem is then given by

{\begin{array}{rl}\min &\displaystyle \sum _{i=1}^{n}\sum _{j=1}^{m}c_{ij}y_{ij}+\sum _{i=1}^{n}f_{i}x_{i}\\{\text{s.t.}}&\displaystyle \sum _{i=1}^{n}y_{ij}=1{\text{ for all }}j=1,\dots ,m\\&\displaystyle \sum _{j=1}^{m}d_{j}y_{ij}\leqslant u_{i}x_{i}{\text{ for all }}i=,1\dots ,n\\&y_{ij}\geqslant 0{\text{ for all }}i=1,\dots ,n{\text{ and }}j=1,\dots ,m\\&x_{i}\in \{0,1\}{\text{ for all }}i=1,\dots ,n\end{array}}

Note that the second set of constraints ensure that if $x_{i}=0$ , that is, facility $i$ isn't open, then $y_{ij}=0$ for all $j$ , that is, no demand for any customer can be filled from facility $i$ .

Uncapacitated facility location

A common case of the capacitated facility location problem above is the case when $u_{i}=+\infty$ for all $i=1,\dots ,n$ . In this case, it is always optimal to satisfy all of the demand from customer $j$ from the nearest open facility. Because of this, we may replace the continuous variables $y_{{ij}}$ from above with the binary variables $z_{ij}$ , where $z_{ij}=1$ if customer $j$ is supplied by facility $i$ , and $z_{ij}=0$ otherwise. The uncapacitated facility location problem is then given by

{\begin{array}{rl}\min &\displaystyle \sum _{i=1}^{n}\sum _{j=1}^{m}c_{ij}z_{ij}+\sum _{i=1}^{n}f_{i}x_{i}\\{\text{s.t.}}&\displaystyle \sum _{i=1}^{n}z_{ij}=1{\text{ for all }}j=1,\dots ,m\\&\displaystyle \sum _{j=1}^{m}z_{ij}\leqslant Mx_{i}{\text{ for all }}i=,1\dots ,n\\&z_{ij}\in \{0,1\}{\text{ for all }}i=1,\dots ,n{\text{ and }}j=1,\dots ,m\\&x_{i}\in \{0,1\}{\text{ for all }}i=1,\dots ,n\end{array}}

where $M$ is a constant chosen to be suitably large. The choice of $M$ can affect computation results--the best choice in this instance is obvious: take $M=m$ . Then, if $x_{i}=1$ , any choice of the $z_{ij}$ will satisfy the second set of constraints.

Another formulation possibility for the uncapacitated facility location problem is to disaggregate the capacity constraints (the big- $M$ constraints). That is, replace the constraints

\sum _{j=1}^{m}z_{ij}\leqslant Mx_{i}{\text{ for all }}i=1,\dots ,n

with the constraints

z_{ij}\leqslant x_{i}{\text{ for all }}i=1,\dots ,n{\text{ and }}j=1,\dots ,m

In practice, this new formulation performs significantly better, in the sense that it has a tighter Linear programming relaxation than the first formulation.^[16] Notice that summing the new constraints together yields the original big- $M$ constraints. In the capacitated case, these formulations are not equivalent. More information about the uncapacitated facility location problem can be found in Chapter 3 of "Discrete location theory".^[17]

Free software for solving facility location problems

Name (alphabetically)	License	Brief info
FLP Spreadsheet Solver	Creative Commons Attribution 4.0 International License	Microsoft Excel and VBA based open source solver for facility location problems, with a link to public GIS for data retrieval. link Video tutorial link ^[18]
ODL Studio	LGPL	Capacitated clusterer component in ODL Studio solves the P-median site location problem. The software includes mapping, reporting and Excel load/save.
SITATION	freeware	Can solve five classes of location problems including: P-median, P-center, Set Covering, Maximal Covering, and Uncapacitated Fixed Charge Problems. ^[18]

http://www.opendoorlogistics.com/tutorials/tutorial-territory-design/step-3-automated-territory-design/

Healthcare facility location

Location problems have widely been used in placing healthcare facilities. The recent review paper ^[19] surveys studies on this topic.

References

↑ Hochbaum, D. S. (1982). "Heuristics for the fixed cost median problem". Mathematical Programming. 22: 148–162. doi:10.1007/BF01581035.
↑ Guha, S.; Khuller, S. (1999). "Greedy Strikes Back: Improved Facility Location Algorithms". Journal of Algorithms. 31: 228–248. CiteSeerX 10.1.1.47.2033. doi:10.1006/jagm.1998.0993.
↑ Li, S. (2011). "A 1.488 Approximation Algorithm for the Uncapacitated Facility Location Problem". Automata, Languages and Programming. LNCS. 6756. pp. 77–88. doi:10.1007/978-3-642-22012-8_5. ISBN 978-3-642-22011-1.
↑ Fowler, R. J.; Paterson, M. S.; Tanimoto, S. L. (1981), "Optimal packing and covering in the plane are NP-complete", Information Processing Letters, 12 (3): 133–137, doi:10.1016/0020-0190(81)90111-3 .
↑ Megiddo, Nimrod; Tamir, Arie (1982), "On the complexity of locating linear facilities in the plane" (PDF), Operations Research Letters, 1 (5): 194–197, doi:10.1016/0167-6377(82)90039-6 .
1 2 3 Gonzalez, Teofilo (1985), "Clustering to minimize the maximum intercluster distance" (PDF), Theoretical Computer Science, 38: 293–306, doi:10.1016/0304-3975(85)90224-5, archived from the original (PDF) on 2013-01-24 .
1 2 Feder, Tomás; Greene, Daniel (1988), "Optimal algorithms for approximate clustering", Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing: 434–444
↑ HWang, R. Z.; Lee, R. C. T.; Chang, R. C. (1993), "The slab dividing approach to solve the Euclidean p-center problem", Algorithmica, 9 (1): 1–22, doi:10.1007/BF01185335
↑ HWang, R. Z.; Chang, R. C.; Lee, R. C. T. (1993), "The generalized searching over separators strategy to solve some NP-Hard problems in subexponential time", Algorithmica, 9 (4): 398–423, doi:10.1007/bf01228511
↑ Bādoiu, Mihai; Har-Peled, Sariel; Indyk, Piotr (2002), "Approximate clustering via core-sets" (PDF), Proceedings of the Thirty-fourth Annual ACM Symposium on Theory of Computing: 250–257
↑ Kumar, Pankaj; Kumar, Piyush (2010), "Almost optimal solutions to k-clustering problems" (PDF), International Journal of Computational Geometry & Applications, 20 (4)
↑ Franco P. Preparata and Michael Ian Shamos (1985). Computational Geometry – An Introduction. Springer-Verlag. ISBN 978-0-387-96131-6. 1st edition: ; 2nd printing, corrected and expanded, 1988: ; Russian translation, 1989:. , p. 256
↑ G. T. Toussaint, "Computing largest empty circles with location constraints," International Journal of Computer and Information Sciences, vol. 12, No. 5, October, 1983, pp. 347–358.
↑ Nickel, S.; Saldanha-da-Gama, F. (2015). "Multi-period facility location". Location Science. doi:10.1007/978-3-642-22012-8_5. ISBN 978-3-319-13111-5.
↑ Castro, J.; Nasini, S.; Saldanha-da-Gama, F. (2017). "A cutting-plane approach for large-scale capacitated multi-period facility location using a specialized interior-point method". Mathematical Programming. 163 (1): 411–444. doi:10.1007/s10107-016-1067-6. hdl:2117/80887.
1 2 Conforti, Michele; Cornuéjols, Gérard; Zambelli, Giacomo (2014). Integer Programming | SpringerLink. Graduate Texts in Mathematics. 271. doi:10.1007/978-3-319-11008-0. ISBN 978-3-319-11007-3.
↑ Discrete location theory. Mirchandani, Pitu B., Francis, R. L. New York: Wiley. 1990. ISBN 9780471892335. OCLC 19810449.
1 2 Csoke, Meghan (2015). The Facility Location Problem (M.Sc. thesis). Governors State University.
↑ Ahmadi-Javid, A.; Seyedi, P.; Syam, S. (2017). "A Survey of Healthcare Facility Location". Computers & Operations Research. 79: 223–263. doi:10.1016/j.cor.2016.05.018.

External links

EWGLA EURO Working Group on Locational Analysis.
INFORMS section on location analysis, a professional society concerned with facility location.
Bibliography on facility location collected by Trevor Hale, containing over 3400 articles.
Library of location algorithms
Web-based facility location utility (single facility)
Facility Location Optimizer, a MATLAB-based tool for solving facility location problems.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Hochbaum, D. S. (1982). "Heuristics for the fixed cost median problem". Mathematical Programming. 22: 148–162. doi:10.1007/BF01581035.

[2] Guha, S.; Khuller, S. (1999). "Greedy Strikes Back: Improved Facility Location Algorithms". Journal of Algorithms. 31: 228–248. CiteSeerX 10.1.1.47.2033. doi:10.1006/jagm.1998.0993.

[3] Li, S. (2011). "A 1.488 Approximation Algorithm for the Uncapacitated Facility Location Problem". Automata, Languages and Programming. LNCS. 6756. pp. 77–88. doi:10.1007/978-3-642-22012-8_5. ISBN 978-3-642-22011-1.

[4] Fowler, R. J.; Paterson, M. S.; Tanimoto, S. L. (1981), "Optimal packing and covering in the plane are NP-complete", Information Processing Letters, 12 (3): 133–137, doi:10.1016/0020-0190(81)90111-3 .

[5] Megiddo, Nimrod; Tamir, Arie (1982), "On the complexity of locating linear facilities in the plane" (PDF), Operations Research Letters, 1 (5): 194–197, doi:10.1016/0167-6377(82)90039-6 .

[Gonzalez1985-6] 1 2 3 Gonzalez, Teofilo (1985), "Clustering to minimize the maximum intercluster distance" (PDF), Theoretical Computer Science, 38: 293–306, doi:10.1016/0304-3975(85)90224-5, archived from the original (PDF) on 2013-01-24 .

[Feder1988-7] 1 2 Feder, Tomás; Greene, Daniel (1988), "Optimal algorithms for approximate clustering", Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing: 434–444

[8] HWang, R. Z.; Lee, R. C. T.; Chang, R. C. (1993), "The slab dividing approach to solve the Euclidean p-center problem", Algorithmica, 9 (1): 1–22, doi:10.1007/BF01185335

[9] HWang, R. Z.; Chang, R. C.; Lee, R. C. T. (1993), "The generalized searching over separators strategy to solve some NP-Hard problems in subexponential time", Algorithmica, 9 (4): 398–423, doi:10.1007/bf01228511

[10] Bādoiu, Mihai; Har-Peled, Sariel; Indyk, Piotr (2002), "Approximate clustering via core-sets" (PDF), Proceedings of the Thirty-fourth Annual ACM Symposium on Theory of Computing: 250–257

[11] Kumar, Pankaj; Kumar, Piyush (2010), "Almost optimal solutions to k-clustering problems" (PDF), International Journal of Computational Geometry & Applications, 20 (4)

[ps256-12] Franco P. Preparata and Michael Ian Shamos (1985). Computational Geometry – An Introduction. Springer-Verlag. ISBN 978-0-387-96131-6. 1st edition: ; 2nd printing, corrected and expanded, 1988: ; Russian translation, 1989:. , p. 256

[13] G. T. Toussaint, "Computing largest empty circles with location constraints," International Journal of Computer and Information Sciences, vol. 12, No. 5, October, 1983, pp. 347–358.

[14] Nickel, S.; Saldanha-da-Gama, F. (2015). "Multi-period facility location". Location Science. doi:10.1007/978-3-642-22012-8_5. ISBN 978-3-319-13111-5.

[15] Castro, J.; Nasini, S.; Saldanha-da-Gama, F. (2017). "A cutting-plane approach for large-scale capacitated multi-period facility location using a specialized interior-point method". Mathematical Programming. 163 (1): 411–444. doi:10.1007/s10107-016-1067-6. hdl:2117/80887.

[:0-16] 1 2 Conforti, Michele; Cornuéjols, Gérard; Zambelli, Giacomo (2014). Integer Programming | SpringerLink. Graduate Texts in Mathematics. 271. doi:10.1007/978-3-319-11008-0. ISBN 978-3-319-11007-3.

[17] Discrete location theory. Mirchandani, Pitu B., Francis, R. L. New York: Wiley. 1990. ISBN 9780471892335. OCLC 19810449.

[csoke-18] 1 2 Csoke, Meghan (2015). The Facility Location Problem (M.Sc. thesis). Governors State University.

[Ahmadi-19] Ahmadi-Javid, A.; Seyedi, P.; Syam, S. (2017). "A Survey of Healthcare Facility Location". Computers & Operations Research. 79: 223–263. doi:10.1016/j.cor.2016.05.018.