About this course: 优化问题是一种常见的决策问题，它在我们的社会中很常见。它的应用可以从数独问题的解决涵盖到婚礼的座次安排。同样的技术可以用于航班与机组成员的安排，钢铁生产的调节，和钢铁从矿区到港口的调度问题。在生产中，人力资源与生产材料的合理决策可以使企业获得成千上万的利润提升。类似的问题也存在于我们的日常生活中，它们包括决定包裹的运输路径，调整学校课程时间，和传输能源到千家万户。尽管这些问题很基础，不过以一般本科教育的知识来解决这些问题都会十分困难。 这个课程是设计给所有对优化问题应用的各个方面感兴趣的同学。你将学习到一种全新的方法来思考如何解决这些有挑战性的问题。这种方法只需用先进的高级建模语言把问题在表述清楚，然后让约束求解器完成剩下的工作。它可以让你接触到业界问题求解的技术，而这在过去几十年中有上百个博士研究者不断将其完善优化。通过利用这种前沿的科技，在过去看起来不可思议的问题突然间变得易如反掌。
Who is this class for: 这门课程主要面向计算机及相关领域的本科三／四年级本科生或研究生。为了更好的适应本门课程，你需要具备一些基础的计算机编程技能和基本的算法，离散数学，逻辑和线性代数的知识。这门课程还有一个全英文的版本，请浏览https://www.coursera.org/learn/basic-modeling。
Created by: The Chinese University of Hong Kong, The University of Melbourne
Taught by: Prof. Jimmy Ho Man Lee, Professor
Department of Computer Science and Engineering
Taught by: Prof. Peter James Stuckey, Professor
Computing and Information Systems
| Level | Intermediate |
| Commitment | 4周的学习, 6－12小时／周 |
| Language | Chinese (Simplified) |
| How To Pass | Pass all graded assignments to complete the course. |
| User Ratings |
Syllabus
WEEK 1
MiniZinc介绍
在第一单元中，你将学习到MiniZinc的基础知识。它是一门用于离散优化问题的高级建模语言。通过结合简洁的MiniZinc语言和业界开源项目强大的求解技术，你将学会如何轻松地解决一些应用问题，比如背包问题，涂色问题，生产规划和覆面算问题。这个模块的学习目标是： (1) 建立一个基本的MiniZinc模型。 (2)理解一个由他人创建的简单MiniZinc模型。
11 videos, 5 readings
- Video: 欢迎来到离散优化建模基础篇 (英文原声中文字幕)
- Reading: 课程简介
- Reading: 课前调查
- Video: 1.1.1 第一步
- Video: 1.1.2 第二个模型
- Video: 1.1.3 第三个模型
- Video: 1.1.4 模型和实例
- Video: 1.1.5 对象建模
- Video: 1.1.6 数组和推导式
- Video: 1.1.7 全局约束
- Video: 1.1.8 单元1总结 (英文原声中文字幕)
- Reading: 安装MiniZinc
- Reading: 工作坊习题课0：第一步
- Video: 工作坊习题课0解答 (英文原声中文字幕)
- Reading: 工作坊习题课1：温度
- Video: 工作坊习题课1解答 (英文原声中文字幕)
Graded: 七步成诗的覆面算
WEEK 2
集合建模
在这个单元中，你将学到如何对集合选择问题进行建模。特别是你将学习到如何利用不同的方法来表示没有势约束的，固定势的，或有界势的集合变量。在建模时，你还需要确保所有的模型决策都是有效的决策，而每一个有效的决策刚好对应一个模型决策。这个模块的学习目标是：(1) 建立一个MiniZinc模型来选择一个集合 。 (2)选择一种最适合的表示方式来表示集合。
6 videos, 1 reading
- Video: 1.2.1 集合的选择
- Video: 1.2.2 集合表示的选择
- Video: 1.2.3 固定势集合的选择
- Video: 1.2.4 有界势的集合
- Video: 1.2.5 单元2总结 (英文原声中文字幕)
- Reading: 工作坊习题课2：投降谈判
- Video: 工作坊习题课2解答 (英文原声中文字幕)
Graded: 战斗准备
WEEK 3
函数建模
在这个单元中，你将学习到如何对纯分配问题和划分问题建模，而实际上它们都是函数建模问题。这些问题可以应用到值勤安排或者约束聚类问题中。而在建模技术上，你将看到共同子表达式消除和中间变量的威力，还会初次接触到全局势约束。另外，MiniZinc还提供了约束来去除值对称。这个模块的学习目标是：(1) 创建MiniZinc模型来决定一个函数 。 (2)分析问题来洞察问题中是否含有赋值的子结构 。 (3)创建基本的值班模型。 (4)发现问题是否需要划分一个集合 。
7 videos, 1 reading
- Video: 1.3.1 函数建模
- Video: 1.3.2 另一个分配问题例子
- Video: 1.3.3 划分建模
- Video: 1.3.4 全局势约束
- Video: 1.3.5 纯划分
- Video: 1.3.6 单元3总结 (英文原声中文字幕)
- Reading: 工作坊习题课3：美人计：盛宴
- Video: 工作坊习题课3解答 (英文原声中文字幕)
Graded: 美人计：舞蹈
WEEK 4
多重建模
在最后一个单元中，你将会看到离散优化问题可以如何通过不同的视角来切入，和如何从不同的视角来建立完全不同的模型。每一个视角都有优劣，而实际上不同的视角的模型可以结合起来互补。 这个模块的学习目标是：(1) 创建可以用两种不同视角的决策变量的MiniZinc模型。 (2)决定使用哪一种视角（或者组合视角）的决策变量对某一类问题更适合。
7 videos, 2 readings
- Video: 1.4.1 多重建模
- Video: 1.4.2 更多排列问题
- Video: 1.4.3 更多排列问题
- Video: 1.4.4 更多多重模型
- Video: 1.4.5 单元4总结 (英文原声中文字幕)
- Reading: 工作坊习题课4：作曲
- Video: 工作坊习题课4解答 (英文原声中文字幕)
- Video: 选项类型
- Reading: 课后调查
Graded: 皇家狩猎
FAQs
How It Works
Coursework
Each course is like an interactive textbook, featuring pre-recorded videos, quizzes and projects.
Help from Your Peers
Connect with thousands of other learners and debate ideas, discuss course material, and get help mastering concepts.
Certificates
Earn official recognition for your work, and share your success with friends, colleagues, and employers.
Creators
The Chinese University of Hong Kong
Founded in 1963, The Chinese University of Hong Kong (CUHK) is a forward looking comprehensive research university with a global vision and a mission to combine tradition with modernity, and to bring together China and the West. CUHK teachers and students hail from all corners of the world. CUHK graduates are connected worldwide through an expansive alumni network.
The University of Melbourne
The University of Melbourne is an internationally recognised research intensive University with a strong tradition of excellence in teaching, research, and community engagement. Established in 1853, it is Australia's second oldest University.
Ratings and Reviews
nice
Excellent course！！！
这是一个非常有趣的课程，难度适中， 讲解清晰。建议稍微讲点理论，也就是说要让人知其然， 还要知其所以然 。 另外， 是否可以选择一个更大众化的语言。当然MINIZINC 在这个问题上做得确实也很好。
Coursera provides universal access to the world’s best education, partnering with top universities and organizations to offer courses online.
© 2017 Coursera Inc. All rights reserved.
臧
minizinc is a kind of new language that let us solute the optimal problem easier. and this class made me study it well.