TY - JOUR
AU - Cappart, Quentin
AU - Moisan, Thierry
AU - Rousseau, Louis-Martin
AU - PrĂ©mont-Schwarz, Isabeau
AU - Cire, Andre A.
PY - 2021/05/18
Y2 - 2024/04/21
TI - Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization
JF - Proceedings of the AAAI Conference on Artificial Intelligence
JA - AAAI
VL - 35
IS - 5
SE - AAAI Technical Track on Constraint Satisfaction and Optimization
DO - 10.1609/aaai.v35i5.16484
UR - https://ojs.aaai.org/index.php/AAAI/article/view/16484
SP - 3677-3687
AB - Combinatorial optimization has found applications in numerous fields, from aerospace to transportation planning and economics. The goal is to find an optimal solution among a finite set of possibilities. The well-known challenge one faces with combinatorial optimization is the state-space explosion problem: the number of possibilities grows exponentially with the problem size, which makes solving intractable for large problems. In the last years, deep reinforcement learning (DRL) has shown its promise for designing good heuristics dedicated to solve NP-hard combinatorial optimization problems. However, current approaches have an important shortcoming: they only provide an approximate solution with no systematic ways to improve it or to prove optimality. In another context, constraint programming (CP) is a generic tool to solve combinatorial optimization problems. Based on a complete search procedure, it will always find the optimal solution if we allow an execution time large enough. A critical design choice, that makes CP non-trivial to use in practice, is the branching decision, directing how the search space is explored. In this work, we propose a general and hybrid approach, based on DRL and CP, for solving combinatorial optimization problems. The core of our approach is based on a dynamic programming formulation, that acts as a bridge between both techniques. We experimentally show that our solver is efficient to solve three challenging problems: the traveling salesman problem with time windows, the 4-moments portfolio optimization problem, and the 0-1 knapsack problem. Results obtained show that the framework introduced outperforms the stand-alone RL and CP solutions, while being competitive with industrial solvers.
ER -