完全不同

先例约束。我们提出了AllDiffPrec,一个新的全局约束,它将一个alldifference约束和严格排序给定变量对的优先约束结合在一起。我们确定了这个全局约束的许多应用,包括指令调度和对称破坏。我们给出了一个有效的传播算法,该算法在这个全局约束下实现了边界一致性。我们展示了如何使用一个分解来实现这个传播子,该分解扩展了为alldifference约束提出的边界一致性强制分解。最后,我们证明了在这个全局约束下实现域一致性是NP难的。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献4条)

显示第1到第4个结果,共4个。
按年份排序(引用)

  1. 班科维ć, 米兰:解决有限域线性约束在存在\texttalldifferent的情况下(2016年)
  2. 法格斯,让纪尧姆;ègue,Tanguy:用差分约束过滤大气值:应用于最小换班人员任务调度问题(2014)
  3. 克里斯蒂安,贝塞尔;纳罗迪茨卡,尼娜;魁普,克劳德·盖伊;沃尔什,托比:《先例的全异约束》(2011)ioport公司
  4. 贝西埃,基督徒;纳罗迪茨卡,尼娜;魁普,克劳德·盖伊;沃尔什,托比:《先例的差异约束》(2011)