fzn2feat

新的 Weisfeiler-Leman 特征增强了约束编程中的算法选择

研究人员开发了一种新的约束编程算法选择方法，该方法利用 Weisfeiler-Leman (WL) 特征。这种方法实现了特征提取的自动化，超越了传统的手动统计方法，能够捕捉底层问题结构。提出的基于割的表示（称为 WLc）对结构分区进行建模，以提供更细致的预测信号。在 MiniZinc Challenge 实例上使用支持向量机、随机森林和多层感知器进行的实验表明，WLc 特征的性能优于现有方法。