# Two-stage Robust Network Design with Exponential Scenarios

- 337 Downloads
- 6 Citations

## Abstract

We study two-stage *robust* variants of combinatorial optimization problems on undirected graphs, like Steiner tree, Steiner forest, and uncapacitated facility location. Robust optimization problems, previously studied by Dhamdhere et al. (Proc. of 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS’05), pp. 367–378, 2005), Golovin et al. (Proc. of the 23rd Annual Symposium on Theoretical Aspects of Computer Science (STACS), 2006), and Feige et al. (Proc. of the 12th International Integer Programming and Combinatorial Optimization Conference, pp. 439–453, 2007), are two-stage planning problems in which the requirements are revealed after some decisions are taken in Stage 1. One has to then complete the solution, at a higher cost, to meet the given requirements. In the robust *k*-Steiner tree problem, for example, one buys some edges in Stage 1. Then *k* terminals are revealed in Stage 2 and one has to buy more edges, at a higher cost, to complete the Stage 1 solution to build a Steiner tree on these terminals. The objective is to minimize the total cost under the worst-case scenario.

In this paper, we focus on the case of *exponentially many* scenarios given implicitly. A scenario consists of any subset of *k* terminals (for *k*-Steiner tree), or any subset of *k* terminal-pairs (for *k*-Steiner forest), or any subset of *k* clients (for facility location). Feige et al. (Proc. of the 12th International Integer Programming and Combinatorial Optimization Conference, pp. 439–453, 2007) give an LP-based general framework for approximation algorithms for a class of two stage robust problems. Their framework cannot be used for network design problems like *k*-Steiner tree (see later elaboration). Their framework can be used for the robust facility location problem, but gives only a logarithmic approximation.

We present the first constant-factor approximation algorithms for the robust *k*-Steiner tree (with exponential number of scenarios) and robust uncapacitated facility location problems. Our algorithms are combinatorial and are based on *guessing* the optimum cost and clustering to aggregate nearby vertices. For the robust *k*-Steiner forest problem on trees and with uniform multiplicative increase factor for Stage 2 (also known as inflation), we present a constant approximation. We show APX-hardness of the robust min-cut problem (even with singleton-set scenarios), resolving an open question of (Dhamdhere et al. in Proc. of 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS’05), pp. 367–378, 2005) and (Golovin et al. in Proc. of the 23rd Annual Symposium on Theoretical Aspects of Computer Science (STACS), 2006).

## Keywords

Approximation algorithms Hardness of approximation Robust network design Robust Steiner tree Robust Steiner forest Robust facility location## Notes

### Acknowledgements

We would like to thank anonymous referees for their comments and suggestions.

## References

- 1.Byrka, J., Grandoni, F., Thomas, R., Laura, S.: An improved LP-based approximation for steiner tree. In: Proceedings of the 42nd ACM Symposium on Theory of Computing, pp. 583–592 (2010) Google Scholar
- 2.Dhamdhere, K., Goyal, V., Ravi, R., Singh, M.: How to pay, come what may: approximation algorithms for demand-robust covering problems. In: Proc. of 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS’05), pp. 367–378 (2005) CrossRefGoogle Scholar
- 3.Dantzig, G.B.: Linear programming under uncertainty. Manag. Sci.
**1**, 197–206 (1955) MathSciNetzbMATHCrossRefGoogle Scholar - 4.Feige, U., Jain, K., Mahdian, M., Mirrokni, V.: Robust combinatorial optimization with exponential scenarios. In: Proc. of the 12th International Integer Programming and Combinatorial Optimization Conference. Lecture Notes in Computer Science, vol. 4513, pp. 439–453 (2007) Google Scholar
- 5.Dahlhaus, E., Johnson, D., Papadimitriou, C., Seymour, P., Yannakakis, M.: The complexity of multiterminal Cuts. SIAM J. Comput.
**23**(4), 864–894 (1994) MathSciNetzbMATHCrossRefGoogle Scholar - 6.Golovin, D., Goyal, V., Ravi, R.: Pay today for a rainy day: improved approximation algorithms for demand-robust min-cut and shortest path problems. In: Proc. of the 23rd Annual Symposium on Theoretical Aspects of Computer Science (STACS). Lecture Notes in Computer Science, vol. 3884, pp. 206–217 (2006) Google Scholar
- 7.Gupta, A., Pál, M., Ravi, R., Sinha, A.: Boosted sampling: approximation algorithms for stochastic optimization. In: Proceedings of the Thirty-Sixth Annual ACM Symposium on Theory of Computing (STOC), pp. 86–98 (2004) Google Scholar
- 8.Gupta, A., Ravi, R., Sinha, A.: An edge in time saves nine: LP rounding approximation algorithms for stochastic network design. In: Proc. of 45th Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp. 218–227 (2004) CrossRefGoogle Scholar
- 9.Gupta, A., Nagarajan, V., Ravi, R.: Thresholded covering algorithms for robust and max-min optimization. In: Proc. of the 37th International Colloquium on Automata, Languages and Programming (ICALP). Lecture Notes in Computer Science, vol. 6198, pp. 262–274 (2010) CrossRefGoogle Scholar
- 10.Immorlica, N., Karger, D., Minkoff, M., Mirrokni, V.: On the costs and benefits of procrastination: approximation algorithms for stochastic combinatorial optimization problems. In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 691–700 (2004) Google Scholar
- 11.Milnor, J.W.: Games against nature. In: Thrall, R.M., Coomb, C.H., Davis, R.L. (eds.) Decision Processes. Wiley, New York (1954) Google Scholar
- 12.Ravi, R., Sinha, A.: Hedging uncertainty: Approximation algorithms for stochastic optimization problems. Math. Program.
**108**(1), 97–114 (2006) MathSciNetzbMATHCrossRefGoogle Scholar - 13.Robins, G., Zelikovsky, A.: Improved Steiner tree approximation in graphs. In: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 770–779 (2000) Google Scholar
- 14.Shmoys, D., Swamy, C.: Stochastic optimization is (almost) as easy as deterministic optimization. In: Proceedings of the 45th Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp. 228–237 (2004) CrossRefGoogle Scholar