2.2.5 单元2总结 (英文原声中文字幕)

Loading...
From the course by The Chinese University of Hong Kong
离散优化建模高阶篇 Advanced Modeling for Discrete Optimization
3 ratings
The Chinese University of Hong Kong

离散优化建模高阶篇 Advanced Modeling for Discrete Optimization

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

Meet the Instructors

  • Prof. Jimmy Ho Man Lee
    Prof. Jimmy Ho Man Lee
    Professor
    Department of Computer Science and Engineering
  • Prof. Peter James Stuckey
    Prof. Peter James Stuckey
    Professor
    Computing and Information Systems