离散优化建模基础篇

开课班次:
开课时间: 2017-09-18 — 2017-11-26
加入课程 14人 收藏
分享到

课程介绍

优化问题是一种常见的决策问题,它在我们的社会中很常见。它的应用可以从数独问题的解决涵盖到婚礼的座次安排。同样的技术可以用于航班与机组成员的安排,钢铁生产的调节,和钢铁从矿区到港口的调度问题。在生产中,人力资源与生产材料的合理决策可以使企业获得成千上万的利润提升。类似的问题也存在于我们的日常生活中,它们包括决定包裹的运输路径,调整学校课程时间,和传输能源到千家万户。尽管这些问题很基础,不过以一般本科教育的知识来解决这些问题都会十分困难。 这个课程是设计给所有对优化问题应用的各个方面感兴趣的同学。你将学习到一种全新的方法来思考如何解决这些有挑战性的问题。这种方法只需用先进的高级建模语言把问题在表述清楚,然后让约束求解器完成剩下的工作。它可以让你接触到业界问题求解的技术,而这在过去几十年中有上百个博士研究者不断将其完善优化。通过利用这种前沿的科技,在过去看起来不可思议的问题突然间变得易如反掌。

课程大纲

第一章 MiniZinc介绍
   1.1.1 第一步
   1.1.2 第二个模型
   1.1.3 第三个模型
   1.1.4 模型和实例
   1.1.5 对象建模
   1.1.6 数组和推导式
   1.1.7 全局约束
   1.1.8 单元1总结 (英文原声中文字幕)
   安装MiniZinc
   工作坊习题课0:第一步
   工作坊习题课0解答 (英文原声中文字幕)
   工作坊习题课1:温度
   工作坊习题课1解答 (英文原声中文字幕)
   七步成诗的覆面算

第二章 集合建模
       1.2.1 集合的选择
       1.2.2 集合表示的选择
       1.2.3 固定势集合的选择
       1.2.4 有界势的集合
       1.2.5 单元2总结 (英文原声中文字幕)
      工作坊习题课2:投降谈判
      工作坊习题课2解答 (英文原声中文字幕)
      战斗准备

第三章  函数建模
       1.3.1 函数建模
       1.3.2 另一个分配问题例子
       1.3.3 划分建模
       1.3.4 全局势约束
       1.3.5 纯划分
       1.3.6 单元3总结 (英文原声中文字幕)
       工作坊习题课3:美人计:盛宴
       工作坊习题课3解答 (英文原声中文字幕)
       美人计:舞蹈

第四章 多重建模
       1.4.1 多重建模
       1.4.2 更多排列问题
       1.4.3 更多排列问题
       1.4.4 更多多重模型
       1.4.5 单元4总结 (英文原声中文字幕)
       工作坊习题课4:作曲
       工作坊习题课4解答 (英文原声中文字幕)
       皇家狩猎

学习目标

你将学习到一种全新的方法来思考如何解决这些有挑战性的问题。这种方法只需用先进的高级建模语言把问题在表述清楚,然后让约束求解器完成剩下的工作。它可以让你接触到业界问题求解的技术,而这在过去几十年中有上百个博士研究者不断将其完善优化。通过利用这种前沿的科技,在过去看起来不可思议的问题突然间变得易如反掌。

学习要求

这门课程主要面向计算机及相关领域的本科三/四年级本科生或研究生。为了更好的适应本门课程,你需要具备一些基础的计算机编程技能和基本的算法,离散数学,逻辑和线性代数的知识。

考核标准

[综合成绩]
 [线上成绩]:__100___%
 [线下成绩]:__0__%
 [其他](翻转、论坛):___0__%

[线上成绩]
 [课件浏览]:__0___%
 [客观练习]:__100___%
 [主观练习]:__0___%
 [课内讨论]:__0___%