{"title":"Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming","authors":"Jie Wang;Zhihai Wang;Xijun Li;Yufei Kuang;Zhihao Shi;Fangzhou Zhu;Mingxuan Yuan;Jia Zeng;Yongdong Zhang;Feng Wu","doi":"10.1109/TPAMI.2024.3432716","DOIUrl":null,"url":null,"abstract":"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 \n<bold>(P1)</b>\n which cuts to prefer and \n<bold>(P2)</b>\n how many cuts to select. Although modern MILP solvers tackle \n<bold>(P1)-(P2)</b>\n 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 \n<bold>(P3)</b>\n what order of selected cuts to prefer significantly impacts the efficiency of MILP solvers as well. To address these challenges, we propose a novel \n<bold>h</b>\nierarchical s\n<bold>e</b>\nquence/s\n<bold>e</b>\nt \n<bold>m</b>\nodel (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 \n<italic>ordered subset</i>\n with the cardinality determined by the higher-level module. To the best of our knowledge, HEM is \n<italic>the first</i>\n data-driven methodology that well tackles \n<bold>(P1)-(P3)</b>\n simultaneously. Experiments demonstrate that HEM significantly improves the efficiency of solving MILPs on eleven challenging MILP benchmarks, including two Huawei's real problems.","PeriodicalId":94034,"journal":{"name":"IEEE transactions on pattern analysis and machine intelligence","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE transactions on pattern analysis and machine intelligence","FirstCategoryId":"1085","ListUrlMain":"https://ieeexplore.ieee.org/document/10607926/","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
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
h
ierarchical s
e
quence/s
e
t
m
odel (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.