課程信息
100% 在線

100% 在線

立即開始,按照自己的計劃學習。
可靈活調整截止日期

可靈活調整截止日期

根據您的日程表重置截止日期。
中級

中級

完成時間(小時)

完成時間大約為12 小時

建議:8 hours/week...
可選語言

中文(簡體)

字幕:中文(簡體)...
100% 在線

100% 在線

立即開始,按照自己的計劃學習。
可靈活調整截止日期

可靈活調整截止日期

根據您的日程表重置截止日期。
中級

中級

完成時間(小時)

完成時間大約為12 小時

建議:8 hours/week...
可選語言

中文(簡體)

字幕:中文(簡體)...

教學大綱 - 您將從這門課程中學到什麼

1
完成時間(小時)
完成時間為 8 小時

基础约束编程

这个模块开始时用例子说明约束编程求解器的基础技术,也就是约束传播和搜索。值域代表了变量可能的取值,而约束可用于在值域上进行推理。约束本身可以以值域传播器和边界传播器的形式表示。你将会学习到一个传播引擎如何处理一组传播器,并通过变量值域协调沟通约束传播得到的信息。你也将会学到基础搜索,变量,数值选择等概念,还有传播和搜索是如何紧密而高效地连接起来的。最后,这个模块介绍了如何在Minizinc中进行编程化搜索。...
Reading
8 個視頻(共 268 分鐘), 3 個閱讀材料, 1 個測驗
Video8 個視頻
3.1.1 约束编程求解器27分鐘
3.1.2 值域+传播器47分鐘
3.1.3 边界传播器51分鐘
3.1.4 传播引擎54分鐘
3.1.5 搜索分鐘
3.1.6: 单元1总结 (英文原声中文字幕)4分鐘
工作坊习题课9解答 (英文原声中文字幕)19分鐘
Reading3 個閱讀材料
课程原理与简介10分鐘
课前调查10分鐘
工作坊习题课9: 约束编程基础搜索策略10分鐘
2
完成時間(小時)
完成時間為 7 小時

高阶约束编程

在这个模块中,你将会看到如何用分支限界搜索求解优化问题,和搜索策略在这些情况下如何变得更为重要。你将会了解到高阶的搜索策略,包括重启搜索和基于影响(impact-based)的搜索。这个模块也会解释如alldifferent和cumulative全局约束的内部实现。...
Reading
6 個視頻(共 217 分鐘), 1 個閱讀材料, 1 個測驗
Video6 個視頻
3.2.2 重启式搜索和高级搜索52分鐘
3.2.3 Alldifferent内部实现34分鐘
3.2.4 Cumulative内部实现39分鐘
3.2.6 单元2总结 (英文原声中文字幕)6分鐘
工作坊习题课10解答 (英文原声中文字幕)30分鐘
Reading1 個閱讀材料
工作坊习题课10: 约束编程高阶搜索策略10分鐘
3
完成時間(小時)
完成時間為 6 小時

混合整数线性规划

这个模块从介绍线性规划和用于解决连续线性规划优化问题的Simplex算法开始,之后展示了这个方法如何可以和分支限界法配合来解决混合整数线性规划问题。之后再进一步学习Gomory切割和分支切割法并领略它们如何提高求解速度。...
Reading
5 個視頻(共 166 分鐘), 1 個閱讀材料, 1 個測驗
Video5 個視頻
3.3.2 混合整数线性规划42分鐘
3.3.3 切割平面32分鐘
3.3.5 单元3总结 (英文原声中文字幕)4分鐘
工作坊习题课11解答 (英文原声中文字幕)26分鐘
Reading1 個閱讀材料
工作坊习题课11: 混合整数线性规划建模10分鐘
4
完成時間(小時)
完成時間為 8 小時

局部搜索

这个模块带你进入局部搜索的神奇领域,它可以高效地探索一些大而复杂的搜索空间。你将会学到状态,移动和邻域的概念,还有它们在受约束的搜索空间中如何被应用在基本贪心搜索和最速梯度下降搜索中。你还将学习不同的方法来逃离或者避免局部最小值,包括重启,模拟退火,禁忌表和离散拉格朗日乘数法。最后,你将会看到大邻域搜索把在邻域中找到最优相邻点看作一个离散优化问题来解决,并因此使我们探索更远和更有效地搜索。...
Reading
9 個視頻(共 265 分鐘), 2 個閱讀材料, 1 個測驗
Video9 個視頻
3.4.2 约束和局部搜索31分鐘
3.4.3 逃离局部最小点-重启20分鐘
3.4.4 模拟退火19分鐘
3.4.5 禁忌表22分鐘
3.4.6 离散拉格朗日乘数法44分鐘
3.4.7 大邻域搜索45分鐘
3.4.8 单元4总结 (英文原声中文字幕)8分鐘
工作坊习题课12解答 (英文原声中文字幕)30分鐘
Reading2 個閱讀材料
工作坊习题课12: 局部搜索10分鐘
课后调查10分鐘

講師

Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering
Avatar

Prof. Peter James Stuckey

Professor
Computing and Information Systems

關於 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....

常見問題

  • 注册以便获得证书后,您将有权访问所有视频、测验和编程作业(如果适用)。只有在您的班次开课之后,才可以提交和审阅同学互评作业。如果您选择在不购买的情况下浏览课程,可能无法访问某些作业。

  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

還有其他問題嗎?請訪問 學生幫助中心