Jan, 2024

一种基于学习的数学规划公式用于自动配置优化求解器

TL;DR我们提出了一种基于机器学习和优化的方法来选择给定实例的求解器配置。通过使用一组求解实例和配置来学习求解器的性能函数,然后利用学习得到的信息构建一个混合整数非线性规划问题,在未知实例到达时解决该问题,以找到基于性能函数的最佳求解器配置。我们的方法的主要创新在于将配置集搜索问题定义为数学规划问题,这使得我们可以有效地通过现成的优化工具强制执行配置的依赖和兼容性约束,并高效地解决该问题。