Multistage Robust Discrete Optimization via Quantified Integer Programming

TL;DR

This paper introduces a novel approach to multistage robust discrete optimization by framing it as quantified integer programming, enabling the solution of complex problems with up to nine stages efficiently.

Contribution

It formulates multistage robust discrete problems as quantified integer programs, leveraging advanced solver techniques to solve larger, more complex problems than previously possible.

Findings

Problems with up to nine stages can be solved optimally.

Quantified integer programming formulations improve computational efficiency.

Comparison with traditional methods shows enhanced performance.

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.