[논문 리뷰] Multistage Robust Combinatorial Optimization via Quantified Integer Programming

Marc Goerigk, Michael Hartisch|arXiv (Cornell University)|2020. 09. 25.

Supply Chain and Inventory Management인용 수 1

한 줄 요약

이 논문은 양자정수계획형식(QIPs)으로 다중단계 강건 조합 최적화 문제를 모델링하여 검색 공간을 줄이기 위해 고급 QIP 솔버 기법을 활용함으로써, 새로운 접근법을 제안한다. 이를 통해 상태의 최신 기술 솔버를 사용하여 아홉 단계의 선택 및 배정 문제를 효율적으로 해결할 수 있음을 입증하였으며, 이는 강건 최적화에서 일반적인 두 단계 한계를 크게 초월한다.

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 combinatorial 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 combinatorial 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 and assignment problems as a testbed, we show that problems with up to nine stages can be solved in reasonable time.

연구 동기 및 목표

• 두 단계를 초월하는 다중단계 강건 조합 최적화 문제를 해결하는 데 발생하는 계산적 과제를 해결하기 위해.
• 불확실성 하에서 다중단계 강건 의사결정을 모델링하기 위한 양자정수계획형식(QIP)의 프레임워크 잠재력을 탐색하기 위해.
• 다중단계 문제에 대해 정수계획형식(IP)과 양자정수계획형식(QIP) 솔버의 성능을 비교하기 위해.
• 최대 아홉 단계까지의 복잡한 다중단계 강건 문제를 합리적인 시간 내에 해결할 수 있는 가능성을 입증하기 위해.

제안 방법

• 불확실성 하에서 다중단계에 걸쳐 의사결정이 이루어지는 다중단계 강건 조합 문제를 양자정수계획형식(QIPs)으로 공식화하기 위해.
• 검색 트리 크기를 줄이기 위해 양자정수계획형식 전용 기법인 양자자산 제거 및 양자자 인식 브랜치-앤드-바운드 브랜치 규칙을 적용하기 위해.
• 시험 문제에 대한 성능 비교를 위해 정수계획형식과 양자정수계획형식 분야의 최신 기술 솔버를 사용하기 위해.
• 확장되는 단계 수에 따른 확장성과 효율성 평가를 위해 테스트베드로 선택 및 배정 문제를 설계하고 해결하기 위해.
• 후속 단계의 의사결정이 이전에 고정된 선택과 불확실한 매개변수에 의존하는 계층적 의사결정 구조를 활용하기 위해.

실험 결과

연구 질문

• RQ1 양자정수계획형식(QIP)은 다중단계 강건 조합 최적화 문제를 효과적으로 모델링하고 해결할 수 있는가?
• RQ2 QIP 솔버의 성능은 다중단계 강건 문제에서 표준 정수계획형식(IP) 솔버와 비교해 어떻게 다른가?
• RQ3 QIP 기반 공식화를 사용해 실제로 해결할 수 있는 최대 단계 수는 얼마인가?
• RQ4 QIP 전용 기법은 다중단계 강건 최적화에서 계산 부담을 얼마나 줄이는가?

주요 결과

• QIP 공식화를 통해 최대 아홉 단계까지의 다중단계 강건 조합 최적화 문제를 해결할 수 있으며, 이는 일반적으로 두 단계로 제한되는 기존의 한계를 크게 초월한다.
• QIP 전용 솔버 기법이 검색 트리 크기를 상당히 줄여 계산 효율성을 향상시킨다.
• 양자자 구조를 더 잘 다루기 때문에 최신 기술 QIP 솔버가 다중단계 강건 문제에서 표준 정수계획형식 솔버보다 뛰어난 성능을 보인다.
• 특히 선택 및 배정 설정에서 불확실성 하의 복잡한 다중단계 의사결정 문제에 대해 실용적인 가능성을 입증한다.