AIApr 19, 2024

Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming

arXiv:2404.12638v115 citationsh-index: 21IEEE Trans Pattern Anal Mach Intell
Originality Incremental advance
AI Analysis

This addresses the challenge of improving solver efficiency for mixed-integer programming, which is crucial for real-world applications like optimization in industry, though it is an incremental advance in learning-based heuristics.

The paper tackles the problem of selecting cutting planes in mixed-integer linear programs by proposing a hierarchical sequence/set model that learns policies for which cuts to prefer, how many to select, and their order, resulting in significant efficiency improvements on eleven benchmarks, including real-world problems from Huawei.

Cutting planes (cuts) play an important role in solving mixed-integer linear programs (MILPs), which formulate many important real-world applications. Cut selection heavily depends on (P1) which cuts to prefer and (P2) how many cuts to select. Although modern MILP solvers tackle (P1)-(P2) by human-designed heuristics, machine learning carries the potential to learn more effective heuristics. However, many existing learning-based methods learn which cuts to prefer, neglecting the importance of learning how many cuts to select. Moreover, we observe that (P3) what order of selected cuts to prefer significantly impacts the efficiency of MILP solvers as well. To address these challenges, we propose a novel hierarchical sequence/set model (HEM) to learn cut selection policies. Specifically, HEM is a bi-level model: (1) a higher-level module that learns how many cuts to select, (2) and a lower-level module -- that formulates the cut selection as a sequence/set to sequence learning problem -- to learn policies selecting an ordered subset with the cardinality determined by the higher-level module. To the best of our knowledge, HEM is the first data-driven methodology that well tackles (P1)-(P3) simultaneously. Experiments demonstrate that HEM significantly improves the efficiency of solving MILPs on eleven challenging MILP benchmarks, including two Huawei's real problems.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes