最大值 swMATH ID: 8964 软件作者： Jean-Guillaume Fages；Tanguy Lapègue 描述： 带差异约束的最大值过滤：应用于最小化轮班人员任务调度问题。在许多实际环境中，都会出现受差异约束的一组变量之间的差异值数量最小化的问题。这是Krishnamoorthy等人提出的轮班最小化人员任务调度问题的案例，该问题一直被用作本文的案例研究。约束编程可以通过几个AllDifferent约束和一个AtMostNValue约束轻松地描述这个问题。然而，这些约束的独立性导致下界较差，因此很难证明其最优性。本文引入一种形式主义来描述AtMostNValue的传播子族。特别是，我们对Bessière等人最先进的AtMostNValue传播算子进行了简单但显著的改进，以过滤AtMostN值约束和不定性的结合。此外，我们还提供了一种依赖于约束具体化的原始搜索策略。大量实验表明，我们的贡献大大改进了一个简单的模型，因此它可以与运筹学中最著名的方法相竞争。 主页： http://link.springer.com/chapter/10.1007%2F978-3-642-40627-0_8 关键词： 约束编程;全局约束;{以最大值};轮班最小化人员任务调度问题 相关软件： 图尔巴尔2;所有不同的;乔科;算法457;ptsplib公司;SDPLR公司;CSDP公司 引用于： 3文件 5位作者引用 2 Jean-Guillaume Fages 1 哈德里安·坎巴扎德 1 Kyngäs，尼科 1 Tanguy Lapègue 1 基姆·努尔米 3篇连载文章中引用 1 人工智能 1 约束条件 1 运筹学进展 在2个字段中引用 三 运筹学、数学规划（90-XX） 1 计算机科学（68至XX） 按年份列出的引文