Abstract
We introduce and study the maximum reliability coverage problem, where multiple facilities are to be located on a network whose arcs are subject to random failures. Our model assumes that arcs fail independently with non-uniform probabilities, and the objective is to locate a given number of facilities, aiming to maximize the expected demand serviced. In this context, each demand point is said to be serviced (or covered) when it is reachable from at least one facility by an operational path. The main contribution of this paper is to establish tight bounds on the approximability of maximum reliability coverage on bidirected trees as well as on general networks. Quite surprisingly, we show that this problem is NP-hard on bidirected trees via a carefully-constructed reduction from the partition problem. On the positive side, we make use of approximate dynamic programming ideas to devise an FPTAS on bidirected trees. For general networks, while maximum reliability coverage is \((1 - 1/e + \epsilon )\)-inapproximable as an extension of the max k-cover problem, even estimating its objective value is #P-complete, due to generalizing certain network reliability problems. Nevertheless, we prove that by plugging-in a sampling-based additive estimator into the standard greedy algorithm, a matching approximation ratio of \(1 - 1/e - \epsilon \) can be attained.
Similar content being viewed by others
References
Ageev, A.A., Sviridenko, M.: Pipage rounding: a new method of constructing algorithms with proven performance guarantee. J. Comb. Optim. 8(3), 307–328 (2004)
Alimonti, P., Kann, V.: Some APX-completeness results for cubic graphs. Theor. Comput. Sci. 237(1–2), 123–134 (2000)
Ball, M.O.: Computational complexity of network reliability analysis: an overview. IEEE Trans. Reliab. 35(3), 230–239 (1986)
Colbourn, C.J., Xue, G.: A linear time algorithm for computing the most reliable source on a series–parallel graph with unreliable edges. Theor. Comput. Sci. 209(1), 331–345 (1998)
Ding, W., Xue, G.: A linear time algorithm for computing a most reliable source on a tree network with faulty nodes. Theor. Comput. Sci. 412(3), 225–232 (2011)
Eiselt, H.A., Gendreau, M., Laporte, G.: Location of facilities on a network subject to a single-edge failure. Networks 22(3), 231–246 (1992)
Eiselt, H.A., Gendreau, M., Laporte, G.: Optimal location of facilities on a network with an unreliable node or link. Inf. Process. Lett. 58(2), 71–74 (1996)
Feige, U.: A threshold of \(\ln n\) for approximating set cover. J. ACM 45(4), 634–652 (1998)
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, New York (1979)
Hadamard, J.: Sur la distribution des zéros de la fonction \(\zeta (s)\) et ses conséquences arithmétiques. Bull. Soc. Math. Fr. 24, 199–220 (1896)
Hassin, R., Ravi, R., Salman, F.S.: Multiple facility location on a network with linear reliability order of edges. J. Comb. Optim. 34(3), 931–955 (2017)
Hoeffding, W.: Probability inequalities for sums of bounded random variables. J. Am. Stat. Assoc. 58(301), 13–30 (1963)
Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., Thatcher, J.W., Bohlinger, J.D. (eds.) Complexity of Computer Computations, pp. 85–103. Springer, Berlin (1972)
Melachrinoudis, E., Helander, M.E.: A single facility location problem on a tree with unreliable edges. Networks 27(3), 219–237 (1996)
Nel, L.D., Colbourn, C.J.: Locating a broadcast facility in an unreliable network. INFOR Inf. Syst. Oper. Res. 28(4), 363–379 (1990)
Nemhauser, G.L., Wolsey, L.A., Fisher, M.L.: An analysis of approximations for maximizing submodular set functions—I. Math. Program. 14(1), 265–294 (1978)
Provan, J.S., Ball, M.O.: The complexity of counting cuts and of computing the probability that a graph is connected. SIAM J. Comput. 12(4), 777–788 (1983)
Santivanez, J., Melachrinoudis, E., Helander, M.E.: Network location of a reliable center using the most reliable route policy. Comput. Oper. Res. 36(5), 1437–1460 (2009)
Spivak, M.: Calculus, 3rd edn. Cambridge University Press, Cambridge (1967)
Valiant, L.G.: The complexity of enumeration and reliability problems. SIAM J. Comput. 8(3), 410–421 (1979)
Vallée-Poussin, C.: Recherches analytiques sur la théorie des nombres premiers. Ann. Soc. Sci. Brux. 20, 183–256 (1896)
Xue, G.: Linear time algorithms for computing the most reliable source on an unreliable tree network. Networks 30(1), 37–45 (1997)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix 1: Additional Proofs
1.1 Proof of Claim 2.6
To obtain the desired inequality, note that
Here, the first inequality is obtained by observing that \(e^{- \sum _{i \in S} a_i / A} \le 1\). In the third inequality we are using \(e^x \le 1 + 2x\) for \(x \in [0,1]\). Finally, the last inequality holds since \(|I| \le n\) and \(K = 200 nA^2\).
1.2 Proof of Claim 2.8
The proof is similar to that of Claim 2.6, and we provide it for completeness. To this end, note that
1.3 Properties of \(\varvec{{\mathcal {E}}}\)
Lemma 5.1
The expected demand coverage function \({{\mathcal {E}}} : 2^V \rightarrow {\mathbb {R}}_+\)is monotone and submodular.
Proof
We begin by observing that it suffices to prove that each of the functions \(\{ \pi _v \}_{v \in V}\) is monotone and submodular, since \({{\mathcal {E}}}( F ) = \sum _{v \in V} d_v \cdot \pi _v( F )\) is a non-negative weighted sum of these functions. To this end, recall that \(\pi _v( F )\) stands for the probability that node v is covered by at least one facility in F. Put differently, letting \({{\mathcal {D}}}_{F \rightsquigarrow v}\) be the event where a least one of the directed paths connecting a facility in F to the node v survives, we have \(\pi _v( F ) = {\mathrm{Pr}} [ {{\mathcal {D}}}_{F \rightsquigarrow v} ]\). With this representation, we derive the desired properties as follows:
-
Monotonicity of \(\pi _v\): For two subsets of facilities \(F_1 \subseteq F_2\), since \({{\mathcal {D}}}_{F_1 \rightsquigarrow v} \subseteq {{\mathcal {D}}}_{F_2 \rightsquigarrow v}\),
$$\begin{aligned} \pi _v( F_1 ) = {\mathrm{Pr}} \left[ {{\mathcal {D}}}_{F_1 \rightsquigarrow v} \right] \le {\mathrm{Pr}} \left[ {{\mathcal {D}}}_{F_2 \rightsquigarrow v} \right] = \pi _v( F_2 ) . \end{aligned}$$ -
Submodularity of \(\pi _v\): For two subsets of facilities \(F_1\) and \(F_2\),
$$\begin{aligned} \pi _v( F_1 \cup F_2 )= \, & {} {\mathrm{Pr}} \left[ {{\mathcal {D}}}_{F_1 \cup F_2 \rightsquigarrow v} \right] \\= \, & {} {\mathrm{Pr}} \left[ {{\mathcal {D}}}_{F_1 \rightsquigarrow v} \cup {{\mathcal {D}}}_{F_1 \rightsquigarrow v} \right] \\= \, & {} {\mathrm{Pr}} \left[ {{\mathcal {D}}}_{F_1 \rightsquigarrow v} \right] + {\mathrm{Pr}} \left[ {{\mathcal {D}}}_{F_2 \rightsquigarrow v} \right] - {\mathrm{Pr}} \left[ {{\mathcal {D}}}_{F_1 \rightsquigarrow v} \cap {{\mathcal {D}}}_{F_2 \rightsquigarrow v} \right] \\\le\, & {} {\mathrm{Pr}} \left[ {{\mathcal {D}}}_{F_1 \rightsquigarrow v} \right] + {\mathrm{Pr}} \left[ \mathcal{D}_{F_2 \rightsquigarrow v} \right] - {\mathrm{Pr}} \left[ {{\mathcal {D}}}_{F_1 \cap F_2 \rightsquigarrow v} \right] \\= \, & {} \pi _v( F_1 ) + \pi _v( F_2 ) - \pi _v( F_1 \cap F_2 ) \ , \end{aligned}$$where the inequality above holds since \({{\mathcal {D}}}_{F_1 \cap F_2 \rightsquigarrow v} \subseteq ({{\mathcal {D}}}_{F_1 \rightsquigarrow v} \cap {{\mathcal {D}}}_{F_2 \rightsquigarrow v})\).
\(\square \)
Appendix 2: APX-Hardness for Undirected Graphs
Theorem 6.1
The maximum reliability coverage problem on undirected graphs is APX-hard.
Proof
We describe a gap-preserving reduction from the minimum-cardinality vertex cover problem on cubic graphs (henceforth, VCC), which is known to be APX-hard [2]. In other words, for some constant \(\alpha > 0\), it is NP-hard to distinguish between graphs with \(\tau (G) \le k\) and those with \(\tau (G) \ge (1+\alpha )k\), where \(\tau (G)\) stands for the minimum size of a vertex cover in G. Given an instance of VCC, consisting of a cubic graph \(G=(V,E)\) on n vertices and a parameter \(k \ge |E|/3\), we construct an instance of maximum reliability coverage on the same underlying graph as follows:
-
Each vertex has a demand of 1.
-
Each edge has a survival probability of 1/2.
-
At most k facilities can be located.
Under this reduction, letting \(F^*\) be an optimal set of facilities, we proceed by proving the following claims:
-
1.
If \(\tau (G) \le k\) then \({{\mathcal {E}}}( F^* ) \ge \frac{7n}{8} + \frac{k}{8}\).
-
2.
If \(\tau (G) \ge (1+\alpha )k\) then \({{\mathcal {E}}}( F^* ) \le \frac{7n}{8} + \frac{k}{8} - \frac{\alpha n}{64}\).
These claims imply that, unless \({\mathrm {P}} = {\mathrm {NP}}\), maximum reliability coverage on undirected graphs cannot be approximated within factor greater than
Proof of Claim 1 Since \(\tau (G) \le k\), there exists a vertex cover \(U \subseteq V\) with \(|U| = k\). Now, when we locate facilities at U, each \(v \in U\) is covered with probability \(\pi _v( U ) = 1\), and each vertex \(v \notin U\) is covered with probability \(\pi _v( U ) = 7/8\). To understand the latter claim, note that since U is a vertex cover, when \(v \notin U\) its set of neighbors N(v) is necessarily a subset of U, in which case \(\pi _v( U ) = 1 - (1/2)^{ |N(v)| } = 1 - (1/2)^3\). As a result,
Proof of Claim 2 With respect to the optimal set of facilities \(F^*\), as before, each \(v \in F^*\) is covered with probability \(\pi _v( F^* ) = 1\). On the other hand, each \(v \notin F^*\) has \(| N(v) \cap F^* |\) facilities within its set of neighbors as well as \(| N(v) {\setminus } F^*|\) facility-free neighbors. Therefore, to derive a simple bound on \(\pi _v( F^* )\), note that this probability can only increase when we replace the two neighbors (different from v) of each \(u \in N(v) {\setminus } F^*\) by two auxiliary vertices that are connected only to u, while locating facilities in both. In this setting, it is easy to verify that we obtain an upper bound of
Consequently,
The second inequality holds since the number of vertices \(v \in V {\setminus } F^*\) for which \(N(v) {\setminus } F^* \ne \emptyset \) is at least \(\alpha k\). Otherwise, by adding these vertices to \(F^*\) we obtain a vertex cover in G with cardinality strictly smaller than \(|F^*| + \alpha k \le (1+\alpha )k\), which contradicts the case hypothesis, \(\tau (G) \ge (1+\alpha )k\). The last inequality follows by recalling that \(k \ge |E|/3 = n/2\), as G is a cubic graph. \(\square \)
Rights and permissions
About this article
Cite this article
Hassin, R., Ravi, R., Salman, F.S. et al. The Approximability of Multiple Facility Location on Directed Networks with Random Arc Failures. Algorithmica 82, 2474–2501 (2020). https://doi.org/10.1007/s00453-020-00693-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-020-00693-8