Abstract
In a classical online network design problem, traffic requirements are gradually revealed to an algorithm. Each time a new request arrives, the algorithm has to satisfy it by augmenting the network under construction in a proper way (with no possibility of recovery). In this paper we study a natural generalization of online network design problems, where a fraction of the requests (the outliers) can be disregarded. Now, each time a request arrives, the algorithm first decides whether to satisfy it or not, and only in the first case it acts accordingly. We cast three classical network design problems into this framework: (i) Online Steiner tree with outliers In this case a set of t terminals that belong to an n-node graph is presented, one at a time, to an algorithm. Each time a new terminal arrives, the algorithm can either discard or select it. In the latter case, the algorithm connects it to the Steiner tree under construction (initially consisting of a given root node). At the end of the process, at least k terminals must be selected. (ii) Online TSP with outliers This is the same problem as above, but with the Steiner tree replaced by a TSP tour. (iii) Online facility location with outliers In this case, we are also given a set of facility nodes, each one with an opening cost. Each time a terminal is selected, we have to connect it to some facility (and open that facility, if it is not already open). We focus on the known distribution model, where terminals are independently sampled from a given distribution. For all the above problems, we present bicriteria online algorithms that, for any constant \(\epsilon >0\), select at least \((1-\epsilon )k\) terminals with high probability and pay in expectation \(O(\log ^2n)\) times more than the expected cost of the optimal offline solution (selecting k terminals). These upper bounds are complemented by inapproximability results for the case that one insists on selecting exactly k terminals, and by lower bounds including an \(\varOmega (\log n/\log \log n)\) lower bound for the case that the online algorithm is allowed to select \(\alpha \,k\) terminals only, for a sufficiently large constant \(\alpha \in (0,1)\).
Similar content being viewed by others
Notes
For a weighted graph G, \(dist_G(u,v)\) denotes the distance between nodes u and v in the graph. For the sake of simplicity, we next associate an infinite opening cost to nodes that are not facilities, and let \(\mathcal {F}=V\).
Throughout this paper the expected competitive ratio, also called ratio of expectations (RoE), is the ratio between the expected cost of the solution computed by the online algorithm considered and the expected cost of the optimal offline solution. Sometimes in the literature the expectation of ratios EoR is considered instead (which is typically more complicated).
For the sake of brevity, we will drop the term stochastic from problem names.
Throughout this paper we use the term with high probability (abbreviated whp) to refer to probability that approaches 1 as k, the number of selected terminals, grows. In particular, the probability of failure is polynomially small for \(k=\varOmega (\log n)\) in the considered cases.
The k-MST problem studied in [14] and the Steiner tree problem with outliers are equivalent approximation-wise, modulo constant factors. The same holds for TSP with outliers.
To avoid inessential technicalities, we will always assume that n is a multiple of \(\sigma \).
Since the cost of an MST spanning a set of vertices W is at most twice the corresponding cost of the best Steiner tree connecting those vertices, we can obtain a constant approximation for the outST problem if we have a constant approximation for the rooted k-MST problem. Indeed, by apending a large number N (say \(N=n^2\)) of copies of each terminal with edges of cost 0 and multiplying k by a factor N, we can achieve for outST the same approximation factor as for k-MST, that is 2 [14].
References
Anagnostopoulos, A., Grandoni, F., Leonardi, S., Sankowski, P.: Online network design with outliers. In: ICALP, pp. 114–126 (2010)
Azar, P.D., Kleinberg, R., Weinberg, S.M.: Prophet inequalities with limited information. In: SODA, pp. 1358–1377 (2014)
Babaioff, M., Immorlica, N., Kempe, D., Kleinberg, R.: A knapsack secretary problem with applications. In: APPROX ’07/RANDOM ’07, pp. 16–28 (2007)
Babaioff, M., Immorlica, N., Kempe, D., Kleinberg, R.: Online auctions and generalized secretary problems. SIGecom Exch. 7(2), 1–11 (2008). doi:10.1145/1399589.1399596
Babaioff, M., Immorlica, N., Kleinberg, R.: Matroids, secretary problems, and online mechanisms. In: SODA, pp. 434–443 (2007)
Bartal, Y.: On approximating arbitrary metrics by tree metrics. In: STOC, pp. 161–168 (1998)
Borodin, A., El-Yaniv, R.: Online Computation and Competitive Analysis. Cambridge University Press, New York (1998)
Bruce, F.T., Ferguson, T.S.: Minimizing the expected rank with full information. J. Appl. Probab. 30(3), 616–626 (1993)
Charikar, M., Khuller, S., Mount, D.M., Narasimhan, G.: Algorithms for facility location problems with outliers. In: SODA ’01, pp. 642–651 (2001)
Dynkin, E.B.: The optimum choice of the instant for stopping a markov process. Sov. Math. Dokl. 4, 627–629 (1963)
Fakcharoenphol, J., Rao, S., Talwar, K.: A tight bound on approximating arbitrary metrics by tree metrics. J. Comput. Syst. Sci. 69(4), 485–497 (2004). doi:10.1016/j.jcss.2004.04.011
Fiat, A., Woeginger, G.J. (eds.): Online algorithms. Lecture Notes in Computer Science, vol. 1442. Springer, Berlin (1998). The state of the art, Papers from the Workshop on the Competitive Analysis of On-line Algorithms held in Schloss Dagstuhl, June 1996
Freeman, P.: The secretary problem and its extensions: a review. Int. Stat. Rev. 51(2), 189–206 (1983)
Garg, N.: Saving an epsilon: a 2-approximation for the \(k\)-MST problem in graphs. In: STOC, pp. 396–402 (2005)
Garg, N., Gupta, A., Leonardi, S., Sankowski, P.: Stochastic analyses for online combinatorial optimization problems. In: SODA, pp. 942–951 (2008)
Gilbert, J.P., Mosteller, F.: Recognizing the maximum of a sequence. J. Am. Stat. Assoc. 61(313), 35–73 (1966). doi:10.2307/2283044
Hajiaghayi, M.T., Kleinberg, R., Parkes, D.C.: Adaptive limited-supply online auctions. In: EC, pp. 71–80 (2004)
Hill, T.P., Kertz, R.P.: A survey of prophet inequalities in optimal stopping theory. Contemp. Math. 125, 191–207 (1992)
Imase, M., Waxman, B.M.: Dynamic Steiner tree problem. SIAM J. Discret. Math. 4(3), 369–384 (1991)
Irani, S., Karlin, A.R.: On online computation. In: Hochbaum, D. (ed.) Approximation Algorithms for NP Hard Problems. PWS publishing Co., Boston (1996)
Karlin, A.R., Phillips, S.J., Raghavan, P.: Markov paging. SIAM J. Comput. 30(3), 906–922 (2000)
Karlin, S.: Stochastic models and optimal policy for selling an asset. In: Arrow, K.J., Karlin, S., Scarf, H. (eds.) Studies in Applied Probability and Management Science, pp. 148–158. Stanford University Press, Stanford (1962)
Kennedy, D.: Prophet-type inequalities for multichoice optimal stopping. Stoch. Process. Appl. 24(1), 77–88 (1987)
Kleinberg, R.: A multiple-choice secretary algorithm with applications to online auctions. In: SODA, pp. 630–631 (2005)
Kleywegt, A.J., Papastavrou, J.D.: The dynamic and stochastic knapsack problem. Oper. Res. 46(1), 17–35 (1998)
Korula, N., Pal, M.: Algorithms for secretary problems on graphs and hypergraphs. CoRR (2008). arXiv:0807.1139
Koutsoupias, E., Papadimitriou, C.H.: Beyond competitive analysis. SIAM J. Comput. 30(1), 300–317 (2000)
Lindley, D.V.: Dynamic programming and decision theory. Appl. Stat. 10, 39–51 (1961)
Meyerson, A.: Online facility location. In: FOCS, pp. 426–431 (2001)
Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, New York (1994)
Raghavan, P.: A statistical adversary for on-line algorithms. In: Online Algorithms, DIMACS Ser. Discrete Math. Theoret. Comput. Sci., 53, pp. 79–83 (1991)
Rosenkrantz, D.J., Stearns, R.E., Lewis II, P.M.: An analysis of several heuristics for the traveling salesman problem. SIAM J. Comput. 6(3), 563–581 (1977)
Sleator, D.D., Tarjan, R.E.: Amortized efficiency of list update and paging rules. Commun. ACM 28(2), 202–208 (1985)
Swamy, C., Shmoys, D.B.: Approximation algorithms for 2-stage stochastic optimization problems. In: FSTTCS, pp. 5–19 (2006)
Young, N.E.: On-line paging against adversarially biased random inputs. J. Algorithms 37(1), 218–235 (2000)
Acknowledgments
We would like to thank the anonymous reviewers of both this as and the conference version, for their constructive comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
A preliminary version of this work was presented in the Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP 2010) [1].
Partially supported by the EU FET projects MULTIPLEX 317532 and SIMPOL 610704, the ERC Starting Grants NEWNET 279352 and PAAl 259515, and the Google Focused Research Award Algorithms for Large-Scale Data Analysis.
Rights and permissions
About this article
Cite this article
Anagnostopoulos, A., Grandoni, F., Leonardi, S. et al. Online Network Design with Outliers. Algorithmica 76, 88–109 (2016). https://doi.org/10.1007/s00453-015-0021-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-015-0021-y