Multistage robust discrete optimization via quantified integer programming. (November 2021)

• Record Type: Journal Article
• Authors: Goerigk, Marc; Hartisch, Michael
• Is Part Of: Computers & operations research. Volume 135(2021)
• Publication Date: 2021-11
• Subjects: Robust optimization -- Multistage optimization -- Quantified integer programming -- Discrete optimization -- Optimization under uncertainty; Operations research -- Periodicals; Electronic digital computers -- Periodicals; 004.05
• DOI: 10.1016/j.cor.2021.105434
• Languages: English
• ISSNs: 0305-0548

Abstract

Abstract: 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. Highlights: 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.