Recent advances in integrating
Machine Learning &
This tutorial will provide an overview of the recent impact machine learning is having on combinatorial optimization, particularly under the Mixed Integer Programming (MIP) framework. Topics covered will include ML and reinforcement learning for predicting feasible solutions, improving exact solvers with ML, a software framework for learning in exact MIP solvers, and the emerging paradigm of decision-focused learning.
Bengio, Lodi, Prouvost (2018): Different ways in which ML can intervene in a Combinatorial Optimization algorithm
Illustration of the Decision-Focused Learning framework
Combinatorial Optimization (CO) is a cornerstone of Computer Science, Artificial Intelligence (AI) and Operations Research. It has been widely successful in industrial applications ranging from airline crew planning to sports scheduling and kidney exchange. While CO used to underlie most AI research through the satisfiability problem (SAT), modern AI research has moved towards more probabilistic approaches, and the connection between the two fields has weakened. In the last five to ten years however, there has been a strong revival of interest in improving combinatorial optimization using machine-learning methods.
This tutorial aims to introduce the audience to this exciting growing field. We believe that the audience will benefit greatly from the proposed tutorial, as it will lay out the landscape of this research space, the merits of different ML techniques in the CO setting, and the various CO tasks that have benefited from the use of ML. We will also introduce a new open-source library, Ecole, aimed at facilitating access to newcomers in the field. While the tutorial will mostly focus on Mixed Integer Programming as a concrete mathematical framework for CO, we will also touch on the relationship between MIP and other constraint reasoning frameworks such as Satisfiability (SAT) and Constraint Satisfaction (CSP), as most of the ideas that will be presented do carry over to these frameworks.
Why this tutorial?
The aim of this tutorial is to connect two central topics in AI: machine learning and combinatorial optimization. Given that a substantial part of the AAAI audience may be working in either one of the two topics, we believe that the tutorial will attract considerable interest.
Additionally, there has been a rapid growth in the literature on the topic, which is now mature enough to have review articles. As such, we hope to provide a tutorial for newcomers that will hopefully lead to further advances.
The tutorial targets both junior and senior researchers in two prominent areas of interest to the AAAI community:
Machine learning researchers looking for a challenging application domain, namely combinatorial optimization;
Optimization practitioners and researchers who may benefit from learning about recent advances in ML methods for improving combinatorial optimization algorithms.
Basic prerequisites of the tutorial include:
Combinatorial optimization: basic understanding of optimization modeling, algorithm design, computational complexity.
Machine learning: basic knowledge of paradigms such as supervised and reinforcement learning; common techniques such as neural networks.
Detailed Outline + slides
Introduction to combinatorial optimization & Tutorial overview.
Modeling decision-making problems with Mixed Integer Programming (MIP);
Complexity and solution approaches (exact and heuristic);
Data-driven algorithm design.
The pure ML approach: predicting feasible solutions.
Reinforcement learning for combinatorial optimization;
Neural network architectures for representing graph problems;
Limitations: lack of guarantees, scalability challenges.
The hybrid approach: improving exact solvers with ML.
The branch-and-bound framework for mixed-integer linear programs (MIP);
Standard approaches to solver engineering;
Learning solver search policies: a Markov decision process (MDP) perspective;
Overview of tasks of interest;
Open challenges for ML/RL.
Machine learning for MIP solving: challenges & literature.
Hands-on ML-for-MIP with a focus on the Branching problem;
Representations & Features;
Data & Metrics.
Ecole: A python framework for learning in exact MIP solvers.
A streamlined interface for doing ML in the open-source MIP solver SCIP, based on OpenAI Gym;
Example: "learning to branch'' using Ecole;
Easily extending predefined environments for your own research;
Performance evaluation and analysis.
Integrating LP/MIP combinatorial downstream tasks end-to-end in learning;
Integrating graph optimization tasks end-to-end in learning.
Concluding remarks and new frontiers.
Recap of various contributions in this area;
Evaluation and Challenges going forward.