Abstract
This paper makes two contributions to optimization theory derived from new methods of discrete convex analysis. Our first contribution is to stochastic optimization: The scenario approach developed by Calafiore and Campi to attack chance-constrained convex programs (i.e., optimization problems with convex constraints that are parametrized by an uncertainty parameter) utilizes random sampling on the uncertainty parameter to substitute the original problem with a deterministic continuous convex optimization with convex constraints which is a relaxation of the original. Calafiore and Campi provided an explicit estimate on the size of the sampling relaxation to yield high-likelihood feasible solutions of the chance-constrained problem. They measured the probability of the original constraints to be violated by the random optimal solution from the relaxation of size . We present a generalization of the Calafiore-Campi results to both integer and mixed-integer variables. We demonstrate that their sampling estimates work naturally even for variables that take on more sophisticated values restricted to some subset of . In this way, a sampling or scenario algorithm for chance-constrained convex mixed integer optimization algorithm is just a very special case of a stronger sampling result in convex analysis. Second, motivated by the first half of the paper, for a subset , we formally introduce the notion of an -optimization problem, where the variables take on values over . -optimization generalizes continuous (), integer (), and mixed-integer optimization (). We illustrate with examples the expressive power of -optimization to capture combinatorial and integer optimization problems with difficult modular constraints. We reinforce the evidence that -optimization is ``the right concept'' by showing that a second well-known randomized sampling algorithm of K. Clarkson for low-dimensional convex optimization problems can be extended to work with variables taking values over . The key element in all the proofs, are generalizations of Helly's theorem where the convex sets are required to intersect . The size of samples in both algorithms will be directly determined by the -Helly numbers.
References
- A. A. Aly, J. A. White: Probabilistic formulation of the emergency service location problem, J. Oper. Res. Soc. 29 (1978) 1167–1179.https://doi.org/10.1057/jors.1978.261Google Scholar
- N. Amenta: Helly theorems and generalized linear programming, Discrete Comp. Geometry 12 (1994) 241–261.https://doi.org/10.1007/BF02574379Google Scholar
- J. L. Arocha, J. Bracho, L. Montejano: Flat transversals to flats and convex sets of a fixed dimension, Adv. Math. 213(2) (2007) 902–918.https://doi.org/10.1016/j.aim.2007.01.017Google Scholar
- G. Averkov, R. Weismantel: Transversal numbers over subsets of linear spaces, Adv. Geometry 12(1) (2012) 19–28.https://doi.org/10.1515/advgeom.2011.028Google Scholar
- B. R. Barmish, P. S. Shcherbakov: On avoiding vertexization of robustness problems: the approximate feasibility concept, in: Decision and Control 2000, Proc. of the 39th IEEE Conference, vol. 2 (2000) 1031–1036.https://doi.org/10.1109/CDC.2000.911986Google Scholar
- A. Barvinok, J. E. Pommersheim: An algorithmic theory of lattice points in polyhedra, New perspectives in algebraic combinatorics 38 (1999) 91–147.https://doi.org/10.1017/9781009701587.004Google Scholar
- A. Basu, M. Conforti, G. Cornuéjols, R. Weismantel, S. Weltge: Optimality certificates for convex minimization and Helly numbers, arXiv 1610.08648 (2016).Google Scholar
- A. Basu, T. Oertel: Centerpoints: A link between optimization and convex geometry, SIAM J. Optimization 27(2) (2017) 866–889.https://doi.org/10.1137/16M1092908Google Scholar
- D. E. Bell: A theorem concerning the integer lattice, Studies in Appl. Math. 56(2) (1976) 187–188.https://doi.org/10.1002/sapm1977562187Google Scholar
- P. Beraldi, M. E. Bruni, D. Conforti: Designing robust emergency medical service via stochastic programming, Eur. J. Oper. Res. 158(1) (2004) 183–193.https://doi.org/10.1016/S0377-2217(03)00351-5Google Scholar
- G. Calafiore, M. C. Campi: Uncertain convex programs: randomized solutions and confidence levels, Math. Program. Ser. A 102(1) (2005) 25–46.https://doi.org/10.1007/s10107-003-0499-yGoogle Scholar
- G. C. Calafiore, M. C. Campi: The scenario approach to robust control design, IEEE Trans. Automat. Control 51(5) (2006) 742–753.https://doi.org/10.1109/TAC.2006.875041Google Scholar
- M. C. Campi, S. Garatti: The exact feasibility of randomized solutions of uncertain convex programs, SIAM J. Optimization 19(3) (2008) 1211–1230.https://doi.org/10.1137/07069821XGoogle Scholar
- K. L. Clarkson: Las Vegas algorithms for linear and integer programming, Journal of the ACM 42(2) (1995) 488–499.https://doi.org/10.1145/201019.201036Google Scholar
- J. A. De Loera, R. N. La Haye, D. Oliveros, E. Roldán-Pensado: Helly numbers of algebraic subsets of Rd, Advances in Geometry, to appear, arXiv: 1508.02380 (2015).Google Scholar
- D. Dentcheva, A. Prékopa, A. Ruszczyński: Bounds for probabilistic integer programming problems, Discrete Appl. Math. 124(1-3) (2002) 55–65.https://doi.org/10.1016/S0166-218X(01)00329-8Google Scholar
- J.-P. Doignon: Convexity in cristallographical lattices, J. Geometry 3 (1973) 71–85.https://doi.org/10.1007/BF01949705Google Scholar
- J.-P. Doignon, R. J. Reay, G. Sierksma: A Tverberg-type generalization of the Helly number of a convexity space, J. Geometry 16 (1981) 117–125.https://doi.org/10.1007/BF01917580Google Scholar
- F. Eisenbrand: Fast integer programming in fixed dimension, in: Proc. of the European Symposium on Algorithms 2003, G. Di Battista and U. Zweik (eds.), Lect. Notes Computer Science 2832, Springer, Berlin (2003) 196–207.https://doi.org/10.1007/978-3-540-39658-1_20Google Scholar
- A. A. Gaivoronski, G. Pflug: Value-at-risk in portfolio optimization: properties and computational approach, Journal of Risk 7(2) (2005) 1–31.https://doi.org/10.21314/JOR.2005.106Google Scholar
- B. Gärtner, J. Matoušek, L. Rüst, P. Škovroň: Violator spaces: structure and algorithms, Discrete Appl. Math. 156(11) (2008) 2124–2141.https://doi.org/10.1016/j.dam.2007.08.048Google Scholar
- F. Glover: Integer programming over a finite additive group, SIAM J. Control 7 (1969) 213–231.https://doi.org/10.1137/0307015Google Scholar
- A. J. Hoffman: Binding constraints and Helly numbers, in: Second International Conference on Combinatorial Mathematics, New York 1978, Ann. New York Acad. Sci. 319, New York Acad. Sci., New York (1979) 284–288.https://doi.org/10.1111/j.1749-6632.1979.tb32803.xGoogle Scholar
- R. Jamison: Partition numbers for trees and ordered sets, Pacific J. Math. 96(1) (1981) 115–140.https://doi.org/10.2140/pjm.1981.96.115Google Scholar
- D. Kay, E. W. Womble: Axiomatic convexity theory and relationships between the Carathéodory, Helly, and Radon numbers, Pacific J. Math. 38(2) (1971) 471–485.https://doi.org/10.2140/pjm.1971.38.471Google Scholar
- J. Luedtke, S. Ahmed: A sample approximation approach for optimization with probabilistic constraints, SIAM J. Optimization 19(2) (2008) 674–699.https://doi.org/10.1137/070702928Google Scholar
- V. Marianov, M. Ríos: A probabilistic quality of service constraint for a location model of switches in ATM communications networks, Annals of Oper. Research 96(1-4) (2000) 237–243.https://doi.org/10.1023/A:1018955603355Google Scholar
- B. K. Pagnoncelli, S. Ahmed, A. Shapiro: Computational study of a chance constrained portfolio selection problem, Optimization Online (2008).Google Scholar
- B. K. Pagnoncelli, S. Ahmed, A. Shapiro: Sample average approximation method for chance constrained programming: theory and applications, J. Optim. Theory Appl. 142(2) (2009) 399–416.https://doi.org/10.1007/s10957-009-9523-6Google Scholar
- H. E. Scarf: An observation on the structure of production sets with indivisibilities, Proc. Nat. Acad. Sci. U.S.A. 74(9) (1977) 3637–3641.https://doi.org/10.1073/pnas.74.9.3637Google Scholar
- A. Shapiro, D. Dentcheva, A. Ruszczyński: Lectures on Stochastic Programming, MOS-SIAM Series on Optimization, 2nd edition, SIAM, Philadelphia (2014).https://doi.org/10.1137/1.9781611973433Google Scholar
- M. Sharir, E. Welzl: A combinatorial bound for linear programming and related problems, in: Proc. 9th Symposium on Theoretical Aspects of Computer Science, Lect. Notes Computer Science 577, Springer, Berlin (1992) 569–579.https://doi.org/10.1007/3-540-55210-3_213Google Scholar
- M. L. J. van de Vel: Theory of Convex Structures, North-Holland, Amsterdam (1993).Google Scholar
- A. N. Venetsanopoulos, I. Singh: Topological optimization of communication networks subject to reliability constraints, Prob. Control Info. Theory. 15(1) (1986) 63–78.Google Scholar
- J. P. Vielma, S. Ahmed, G. L. Nemhauser: Mixed integer linear programming formulations for probabilistic constraints, Oper. Res. Lett. 40(3) (2012) 153–158.https://doi.org/10.1016/j.orl.2012.01.007Google Scholar
Suggested citation
Published by Heldermann Verlag, 2018. Rights now held by Banach Press LLC.
