1.3.4 全局势约束

Loading...
Visualiser le programme de cours

Avis

4.7 (26 évaluations)
  • 5 stars
    23 ratings
  • 4 stars
    1 ratings
  • 3 stars
    1 ratings
  • 1 star
    1 ratings
À partir de la leçon
函数建模
在这个单元中,你将学习到如何对纯分配问题和划分问题建模,而实际上它们都是函数建模问题。这些问题可以应用到值勤安排或者约束聚类问题中。而在建模技术上,你将看到共同子表达式消除和中间变量的威力,还会初次接触到全局势约束。另外,MiniZinc还提供了约束来去除值对称。这个模块的学习目标是:(1) 创建MiniZinc模型来决定一个函数 。 (2)分析问题来洞察问题中是否含有赋值的子结构 。 (3)创建基本的值班模型。 (4)发现问题是否需要划分一个集合 。

Enseigné par

  • Prof. Jimmy Ho Man Lee

    Prof. Jimmy Ho Man Lee

    Professor
  • Prof. Peter James Stuckey

    Prof. Peter James Stuckey

    Professor

Explorer notre catalogue

Rejoignez-nous gratuitement et obtenez des recommendations, des mises à jour et des offres personnalisées.