arXiv:2409.15158v1 公告类型: 新提交 摘要: 约束建模语言如Essence提供了一种在高层次描述组合问题的方法，即无需针对特定求解器或求解范式做出详细的建模决策。给定一个用Essence编写的问题描述，有多种方式将其翻译为低层次的约束模型。选择合适的低层次约束模型和目标约束求解器的组合对求解过程的有效性有显著影响。此外，最佳组合的选择可能是实例依赖的，即对于同一问题的所有实例，可能不存在一个普遍适用的最佳组合。本文考虑了构建机器学习模型来自动选择问题实例最佳组合的任务。学习过程中的一个关键部分是定义实例特征，这些特征作为选择模型的输入。我们的贡献是直接从问题实例的高层次表示中使用语言模型自动学习实例特征。我们使用Essence建模语言并通过涉及车辆排序问题的案例研究来评估我们方法的性能。