このコースについて
16,360

100%オンライン

自分のスケジュールですぐに学習を始めてください。

柔軟性のある期限

スケジュールに従って期限をリセットします。

中級レベル

約18時間で修了

推奨:4 weeks of study, 6-12 hours/week...

英語

字幕:英語

習得するスキル

Constraint ProgrammingProblem SolvingMathematical ModelDiscrete Optimization

100%オンライン

自分のスケジュールですぐに学習を始めてください。

柔軟性のある期限

スケジュールに従って期限をリセットします。

中級レベル

約18時間で修了

推奨:4 weeks of study, 6-12 hours/week...

英語

字幕:英語

シラバス - 本コースの学習内容

1
7時間で修了

MiniZinc introduction

In this first module, you will learn the basics of MiniZinc, a high-level modeling language for discrete optimization problems. Combining the simplicity of MiniZinc with the power of open-source industrial solving technologies, you will learn how to solve applications such as knapsack problems, graph coloring, production planning and tricky Cryptarithm puzzles, with great ease. ...
20件のビデオ (合計219分), 6 readings, 1 quiz
20件のビデオ
1.1.1 First Steps14 分
1.1.2 Second Model7 分
1.1.3 Third Model6 分
1.1.4 Models and Instances10 分
1.1.5 Modeling Objects8 分
1.1.6 Arrays and Comprehensions16 分
1.1.7 Global Constraints9 分
1.1.8 Module 1 Summary5 分
Workshop 0 Solution19 分
Workshop 1 Solution21 分
Assignment Submission - IDE7 分
Assignment Submission - CLI4 分
Reference 1: Basic Features13 分
Reference 2: Booleans Expressions13 分
Reference 3: Sets, Arrays, Comprehensions19 分
Reference 4: Enumerated Types7 分
Reference 5: Strings and Output8 分
Reference 6: Option Types12 分
Reference 7: Command Line Interface8 分
6件の学習用教材
Course Overview10 分
Start of Course Survey12 分
Getting MiniZinc10 分
Workshop 0: First Steps20 分
Workshop 1: Temperature45 分
About the Reference Material2 分
2
5時間で修了

Modeling with Sets

In this module, you will learn how to model problems involving set selection. In particular, you will see different ways of representing set variables when the variable has no constraints on its cardinality, has fixed cardinality and bounded cardinality. You also have to ensure all model decisions are valid decisions, and each valid decision corresponds to exactly one model decision....
6件のビデオ (合計64分), 1 reading, 1 quiz
6件のビデオ
1.2.2 Choosing a Set Representation7 分
1.2.3 Choosing a Fixed Cardinality Set10 分
1.2.4 Sets with Bounded Cardinality13 分
1.2.5 Module 2 Summary3 分
Workshop 2 Solution19 分
1件の学習用教材
Workshop 2: Surrender Negotiations15 分
3
8時間で修了

Modeling with Functions

In this module, you will learn how to model pure assignment problems and partition problems, which are functions in disguise. These problems find applications in rostering and constrained clustering. In terms of modeling techniques, you will see the power of common subexpression elimination and intermediate variables, and encounter the global cardinality constraint for the first time. MiniZinc also provides constraints for removing value symmetries....
7件のビデオ (合計86分), 1 reading, 1 quiz
7件のビデオ
1.3.2 Another Assignment Problem Example8 分
1.3.3 Modeling Partitions10 分
1.3.4 Global Cardinality Constraint9 分
1.3.5 Pure Partitioning14 分
1.3.6 Module 3 Summary5 分
Workshop 3 Solution28 分
1件の学習用教材
Workshop 3: Feast Trap50 分
4
7時間で修了

Multiple Modeling

In the final module of this course you will see how discrete optimization problems can often be seen from multiple viewpoints, and modeled completely differently from each viewpoint. Each viewpoint may have strengths and weaknesses, and indeed the different models can be combined to help each other. ...
6件のビデオ (合計67分), 2 readings, 1 quiz
6件のビデオ
1.4.2 Permutation13 分
1.4.3 More Permutation Problem8 分
1.4.4 More Multiple Models12 分
1.4.5 Module 4 Summary7 分
Workshop 4 Solution13 分
2件の学習用教材
Workshop 4: Composition5 分
End of Course Survey10 分
4.8
40件のレビューChevron Right

人気のレビュー

by KPOct 4th 2017

very nice introduction to minizinc with great and easy assignments to get you started

by KWMay 8th 2017

A very interesting course! I learned a lot from this course. Thanks instructors!

講師

Avatar

Prof. Peter James Stuckey

Professor
Computing and Information Systems
Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering

メルボルン大学(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....

香港中文大学(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....

よくある質問

  • 修了証に登録すると、すべてのビデオ、テスト、およびプログラミング課題(該当する場合)にアクセスできます。ピアレビュー課題は、セッションが開始してからのみ、提出およびレビューできます。購入せずにコースを検討することを選択する場合、特定の課題にアクセスすることはできません。

  • 修了証を購入する際、コースのすべての教材(採点課題を含む)にアクセスできます。コースを完了すると、電子修了証が成果のページに追加されます。そこから修了証を印刷したり、LinkedInのプロフィールに追加したりできます。コースの内容の閲覧のみを希望する場合は、無料でコースを聴講できます。

さらに質問がある場合は、受講者向けヘルプセンターにアクセスしてください。