在这个单元中，你将学到如何对集合选择问题进行建模。特别是你将学习到如何利用不同的方法来表示没有势约束的，固定势的，或有界势的集合变量。在建模时，你还需要确保所有的模型决策都是有效的决策，而每一个有效的决策刚好对应一个模型决策。这个模块的学习目标是：(1) 建立一个MiniZinc模型来选择一个集合 。 (2)选择一种最适合的表示方式来表示集合。

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

在最后一个单元中，你将会看到离散优化问题可以如何通过不同的视角来切入，和如何从不同的视角来建立完全不同的模型。每一个视角都有优劣，而实际上不同的视角的模型可以结合起来互补。 这个模块的学习目标是：(1) 创建可以用两种不同视角的决策变量的MiniZinc模型。 (2)决定使用哪一种视角（或者组合视角）的决策变量对某一类问题更适合。