arXiv:2504.03688v1 类型: cross 摘要：约束排序在混合整数线性规划（MILP）求解器的效率中发挥了关键作用，特别是在大规模问题中，约束排序不良会导致增加的线性规划（LP）迭代次数和次优的搜索轨迹。本文提出了CLCR（基于对比学习的约束重排序），这是一种新框架，可以系统地优化约束排序以加速MILP求解。CLCR 首先根据约束的结构模式对其进行聚类，然后使用指针网络进行对比学习以优化约束的顺序，同时保持问题等价性并提高求解器效率。在基准测试上的实验表明，与平均情况相比，CLCR 将求解时间减少了 30%，LP 迭代次数减少了 25%，而不会牺牲解的准确性。这项工作展示了数据驱动的约束排序在增强优化模型方面的潜力，为数学规划与机器学习的结合提供了新的范式。