Pattern-Based Modeling and Solution of Probabilistically Constrained Optimization Problems

• 成果类型: Article
• 署名作者: Lejeune, Miguel A.
• 署名单位: George Washington University
• 刊物名称: OPERATIONS RESEARCH
• ISSN/ISSBN: 0030-364X
• DOI: 10.1287/opre.1120.1120
• 发表日期: 2012
• 页码: 1356-1372
• 关键词: logical analysis; PROGRAMS; cut

摘要

We propose a new modeling and solution method for probabilistically constrained optimization problems. The methodology is based on the integration of-the stochastic programming and combinatorial pattern recognition fields. It permits the fast solution of stochastic optimization problems in which the random variables are represented by an extremely large number of scenarios. The method involves the binarization of the probability distribution and the generation of a consistent partially defined Boolean function (pdBf) representing the combination (F, p) of the binarized probability distribution F and the enforced probability level p. We show that the pdBf representing (F, p) can be compactly extended as a disjunctive normal form (DNF). The DNF is a collection of combinatorial p-patterns, each defining sufficient conditions for a probabilistic constraint to hold. We propose two linear programming formulations for the generation of p-patterns that can be subsequently used to derive a linear programming inner approximation of the original stochastic problem. A formulation allowing for the concurrent generation of a p-pattern and the solution of the deterministic equivalent of the stochastic problem is also proposed. The number of binary variables included in the deterministic equivalent formulation is not an increasing function of the number of scenarios used to represent uncertainty. Results show that large-scale stochastic problems, in which up to 50,000 scenarios are used to describe the stochastic variables, can be consistently solved to optimality within a few seconds. Subject classifications: programming; stochastic; probability; combinatorial pattern; probabilistic constraint; Boolean programming. Area of review: Games, Information, and Networks. History: Received August 2010; revisions received July 2011, April 2012, June 2012; accepted September 2012.