用无监督学习加速求解参数化整数规划问题
Towards An Unsupervised Learning Scheme for Efficiently Solving Parameterized Mixed-Integer Programs
- 训练自编码器捕捉历史最优解的结构特征
- 生成可收紧可行域的割平面,降低求解难度
- 适合需要快速求解大量相似整数规划的场景
本文提出一种新型无监督学习方法,用于加速求解参数化混合整数规划(MIP)问题。与现有学习优化方法不同,该方法通过历史实例的最优解数据,以无监督方式训练二元变量的自编码器(AE)。通过精心设计的AE架构及其统计含义,我们提出一种简单策略,从离线训练好的AE解码器参数中构造一类割平面约束。这些约束得益于AE的表征能力,能可靠包含新实例的最优二元解。更重要的是,将它们融入原MIP问题后,可显著缩小可行域,使使用通用求解器在决策时效率大幅提升。该方法应用于基准批量过程调度问题(建模为混合整数线性规划,MILP),实验表明其大幅降低通用MILP求解器的计算开销,同时保持高解质量。代码已开源:https://github.com/qushiyuan/AE4BV。
原文摘要 · Abstract (English)
In this paper, we describe a novel unsupervised learning scheme for accelerating the solution of a family of mixed integer programming (MIP) problems. Distinct substantially from existing learning-to-optimize methods, our proposal seeks to train an autoencoder (AE) for binary variables in an unsupervised learning fashion, using data of optimal solutions to historical instances for a parametric family of MIPs. By a deliberate design of AE architecture and exploitation of its statistical implication, we present a simple and straightforward strategy to construct a class of cutting plane constraints from the decoder parameters of an offline-trained AE. These constraints reliably enclose the optimal binary solutions of new problem instances thanks to the representation strength of the AE. More importantly, their integration into the primal MIP problem leads to a tightened MIP with the reduced feasible region, which can be resolved at decision time using off-the-shelf solvers with much higher efficiency. Our method is applied to a benchmark batch process scheduling problem formulated as a mixed integer linear programming (MILP) problem. Comprehensive results demonstrate that our approach significantly reduces the computational cost of off-the-shelf MILP solvers while retaining a high solution quality. The codes of this work are open-sourced at https://github.com/qushiyuan/AE4BV.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。