Multistage robust discrete optimization via quantified integer programming

• Published in: Computers & operations research 2021-11, Vol.135, p.105434, Article 105434
• Main Authors: Goerigk, Marc, Hartisch, Michael
• Format: Article
• Language: English
• Subjects: Decision analysis; Decision making; Discrete optimization; Immunization; Integer programming; Lot sizing; Multistage optimization; Operations research; Optimization; Optimization under uncertainty; Quantified integer programming; Robust optimization
• ISSN: 0305-0548; 1873-765X; 0305-0548
• DOI: 10.1016/j.cor.2021.105434

Decision making needs to take an uncertain environment into account. Over the last decades, robust optimization has emerged as a preeminent method to produce solutions that are immunized against uncertainty. The main focus in robust discrete optimization has been on the analysis and solution of one- or two-stage problems, where the decision maker has limited options in reacting to additional knowledge gained after parts of the solution have been fixed. Due to its computational difficulty, multistage problems beyond two stages have received less attention. In this paper we argue that multistage robust discrete problems can be seen through the lens of quantified integer programs, where powerful tools to reduce the search tree size have been developed. By formulating both integer and quantified integer programming formulations, it is possible to compare the performance of state-of-the-art solvers from both worlds. Using selection, assignment, lot-sizing and knapsack problems as a testbed, we show that problems with up to nine stages can be solved to optimality in reasonable time. •Quantified integer programming (QIP) models are applied to multistage robust problems.•Multistage discrete problems can be reformulated and solved via QIP solution methods.•Experiments are conducted on selection, assignment, knapsack and lot sizing problems.•QIP solvers are especially advantageous if the adversary has many degrees of freedom.