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

Jie Wang;Zhihai Wang;Xijun Li;Yufei Kuang;Zhihao Shi;Fangzhou Zhu;Mingxuan Yuan;Jia Zeng;Yongdong Zhang;Feng Wu
{"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.
通过分层序列/集合模型学习切割,实现高效混合整数编程。
切平面(切口)在求解混合整数线性方程组(MILPs)中发挥着重要作用,MILPs 在现实世界中有着许多重要的应用。切面选择在很大程度上取决于 (P1) 选择哪些切面和 (P2) 选择多少切面。虽然现代 MILP 求解器通过人类设计的启发式方法来解决 (P1)-(P2) 问题,但机器学习有可能学习到更有效的启发式方法。然而,现有的许多基于学习的方法都是学习选择哪些切点,而忽略了学习选择多少切点的重要性。此外,我们还观察到,(P3)选择哪种切分顺序对 MILP 求解器的效率也有很大影响。为了应对这些挑战,我们提出了一种新颖的分层序列/集合模型(HEM)来学习切分选择策略。具体来说,HEM 是一个双层模型:(1) 高层模块用于学习选择多少个切口;(2) 低层模块将切口选择表述为序列/集合到序列学习问题,用于学习选择有序子集的策略,该子集的有序性由高层模块决定。据我们所知,HEM 是第一种数据驱动的方法,能同时很好地解决(P1)-(P3)问题。实验证明,在 11 个具有挑战性的 MILP 基准(包括两个华为的实际问题)上,HEM 显著提高了 MILP 的求解效率。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信