Centrala begrepp
The authors propose a novel hierarchical sequence/set model (HEM) to learn cut selection policies that can effectively tackle the key challenges in cut selection, including determining which cuts to prefer, how many cuts to select, and in what order to add the selected cuts.
Sammanfattning
The content discusses the problem of cut selection in solving mixed-integer linear programs (MILPs), which is crucial for the efficiency of MILP solvers. The authors observe that cut selection heavily depends on three key aspects: (P1) which cuts to prefer, (P2) how many cuts to select, and (P3) what order of selected cuts to prefer.
To address these challenges, the authors propose a novel hierarchical sequence/set model (HEM) that learns cut selection policies via reinforcement learning. HEM is a bi-level model:
- A higher-level module that learns how many cuts to select.
- 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.
This formulation allows HEM to capture the underlying order information and the interaction among cuts, which is crucial for tackling (P3) and selecting complementary cuts, respectively.
The authors demonstrate that HEM significantly and consistently outperforms competitive baselines on eleven challenging MILP benchmarks, including two Huawei's real problems. The results show the promising potential of HEM for enhancing modern MILP solvers in real-world applications.
Statistik
Cutting planes (cuts) play an important role in solving mixed-integer linear programs (MILPs).
Cut selection heavily depends on (P1) which cuts to prefer, (P2) how many cuts to select, and (P3) what order of selected cuts to prefer.
The cardinality of the action space (i.e., ordered subsets of candidate cuts) can be extremely large due to its combinatorial structure.
Citat
"To the best of our knowledge, HEM is the first data-driven methodology that well tackles (P1)-(P3) simultaneously."
"Experiments demonstrate that HEM significantly and consistently outperforms competitive baselines in terms of solving efficiency on three synthetic and eight challenging MILP benchmarks."