×

全局基数约束的基于成本的弧一致性。 (英语) Zbl 1028.68157号

摘要:全局基数约束(gcc)是根据一组变量\(X=\{X_1,\cdots,X_p\}\)指定的,这些变量的值位于\(V=\{V_1,\ cdots、V_d\}\的子集中。它限制将每个值(v中的v_i)赋给\(X中的变量的次数,使其处于区间\([l_i,u_i]\)中。带有成本的gcc(costgcc)是gcc的泛化,其中成本与每个变量的每个值相关联。然后,底层gcc的每个解决方案都与一个全局成本相关联,该全局成本等于与解决方案的赋值相关联的成本之和。costgcc限制全局成本小于给定值。事实证明,具有成本的基数约束在许多实际问题中非常有用,例如旅行推销员问题、日程安排、排班或资源分配。例如,它们对于表达偏好或定义约束很有用,例如对所有不同变量总和的约束。本文提出了一种实现costgcc弧一致性的有效方法。我们还研究了该算法的增量行为。

MSC公司:

68分20秒 人工智能背景下的问题解决(启发式、搜索策略等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部