このコースについて
15,150 最近の表示

100%オンライン

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

柔軟性のある期限

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

中級レベル

約19時間で修了

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

英語

字幕:英語

習得するスキル

Constraint ProgrammingProblem SolvingMathematical ModelDiscrete Optimization

100%オンライン

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

柔軟性のある期限

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

中級レベル

約19時間で修了

推奨: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.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 Survey (Researcher: Professor Gregor Kennedy, Melbourne Centre for the Study of Higher Education)12 分
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.4 Sets with Bounded Cardinality13 分
1.2.5 Module 2 Summary3 分
Workshop 2 Solution19 分
1件の学習用教材
Workshop 2: Surrender Negotiations1 時間 15 分
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.4 Global Cardinality Constraint9 分
1.3.5 Pure Partitioning14 分
1.3.6 Module 3 Summary5 分
Workshop 3 Solution28 分
1件の学習用教材
Workshop 3: Feast Trap2 時間 50 分
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.4 More Multiple Models12 分
1.4.5 Module 4 Summary7 分
Workshop 4 Solution13 分
2件の学習用教材
Workshop 4: Composition2 時間 5 分
End of Course Survey (Researcher: Professor Gregor Kennedy, Melbourne Centre for the Study of Higher Education)10 分
4.8
44件のレビューChevron Right

Basic Modeling for Discrete Optimization からの人気レビュー

by CJMay 30th 2019

Good teachers. They go gradually from very easy to challenging concepts. Also a good intro to the main optimization problems.

by CTJun 8th 2019

Certainly more effort went into this course than I was expecting; well worth the $0 cost of entry.

講師

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のプロフィールに追加したりできます。コースの内容の閲覧のみを希望する場合は、無料でコースを聴講できます。

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