工作坊习题课6解答 (英文原声中文字幕)

Video placeholder
Loading...
View Syllabus

From the lesson

谓词

在这个模块中你将会学习到如何把一个复杂的约束定义封装到一个谓词里面,从而可以重复使用它。这可以让你建立越来越复杂的模型的同时,通过模块化的方式提升它的可读性。你将会第一次碰到多目标函数的问题,和学习如何压缩他们到一个目标函数里。除此以外,你还会学到如何对于安排宴会座次问题进行建模,这会在日常生活的许多场景中帮到你。你的学习目标有:1. 建立一个模型利用谓词和局部变量来让重要的约束抽象化; 2. 对于在MiniZinc模型中的不同的表达式进行分类。

Taught By

  • Placeholder

    Prof. Jimmy Ho Man Lee

    Professor

  • Placeholder

    Prof. Peter James Stuckey

    Professor

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.