À propos de ce cours
4.8
146 notes
33 avis
100 % en ligne

100 % en ligne

Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles

Dates limites flexibles

Réinitialisez les dates limites selon votre disponibilité.
Niveau intermédiaire

Niveau intermédiaire

Heures pour terminer

Approx. 18 heures pour terminer

Recommandé : 4 weeks of study, 6-12 hours/week...
Langues disponibles

Anglais

Sous-titres : Anglais

Compétences que vous acquerrez

Constraint ProgrammingProblem SolvingMathematical ModelDiscrete Optimization
100 % en ligne

100 % en ligne

Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles

Dates limites flexibles

Réinitialisez les dates limites selon votre disponibilité.
Niveau intermédiaire

Niveau intermédiaire

Heures pour terminer

Approx. 18 heures pour terminer

Recommandé : 4 weeks of study, 6-12 hours/week...
Langues disponibles

Anglais

Sous-titres : Anglais

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1
Heures pour terminer
7 heures pour terminer

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. ...
Reading
20 vidéos (Total 219 min), 6 lectures, 1 quiz
Video20 vidéos
1.1.1 First Steps14 min
1.1.2 Second Model7 min
1.1.3 Third Model6 min
1.1.4 Models and Instances10 min
1.1.5 Modeling Objects8 min
1.1.6 Arrays and Comprehensions16 min
1.1.7 Global Constraints9 min
1.1.8 Module 1 Summary5 min
Workshop 0 Solution19 min
Workshop 1 Solution21 min
Assignment Submission - IDE7 min
Assignment Submission - CLI4 min
Reference 1: Basic Features13 min
Reference 2: Booleans Expressions13 min
Reference 3: Sets, Arrays, Comprehensions19 min
Reference 4: Enumerated Types7 min
Reference 5: Strings and Output8 min
Reference 6: Option Types12 min
Reference 7: Command Line Interface8 min
Reading6 lectures
Course Overview10 min
Start of Course Survey12 min
Getting MiniZinc10 min
Workshop 0: First Steps20 min
Workshop 1: Temperature45 min
About the Reference Material2 min
Semaine
2
Heures pour terminer
5 heures pour terminer

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....
Reading
6 vidéos (Total 64 min), 1 lecture, 1 quiz
Video6 vidéos
1.2.2 Choosing a Set Representation7 min
1.2.3 Choosing a Fixed Cardinality Set10 min
1.2.4 Sets with Bounded Cardinality13 min
1.2.5 Module 2 Summary3 min
Workshop 2 Solution19 min
Reading1 lecture
Workshop 2: Surrender Negotiations15 min
Semaine
3
Heures pour terminer
8 heures pour terminer

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....
Reading
7 vidéos (Total 86 min), 1 lecture, 1 quiz
Video7 vidéos
1.3.2 Another Assignment Problem Example8 min
1.3.3 Modeling Partitions10 min
1.3.4 Global Cardinality Constraint9 min
1.3.5 Pure Partitioning14 min
1.3.6 Module 3 Summary5 min
Workshop 3 Solution28 min
Reading1 lecture
Workshop 3: Feast Trap50 min
Semaine
4
Heures pour terminer
7 heures pour terminer

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. ...
Reading
6 vidéos (Total 67 min), 2 lectures, 1 quiz
Video6 vidéos
1.4.2 Permutation13 min
1.4.3 More Permutation Problem8 min
1.4.4 More Multiple Models12 min
1.4.5 Module 4 Summary7 min
Workshop 4 Solution13 min
Reading2 lectures
Workshop 4: Composition5 min
End of Course Survey10 min
4.8
33 avisChevron Right

Meilleurs avis

par PCJan 14th 2018

Great course to learn modeling discrete optimization problems. Excellent pedagogy and amusing problems to model using MiniZinc.

par KPOct 4th 2017

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

Enseignants

Avatar

Prof. Peter James Stuckey

Professor
Computing and Information Systems
Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering

À propos de 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....

À propos de 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....

Foire Aux Questions

  • Une fois que vous êtes inscrit(e) pour un Certificat, vous pouvez accéder à toutes les vidéos de cours, et à tous les quiz et exercices de programmation (le cas échéant). Vous pouvez soumettre des devoirs à examiner par vos pairs et en examiner vous-même uniquement après le début de votre session. Si vous préférez explorer le cours sans l'acheter, vous ne serez peut-être pas en mesure d'accéder à certains devoirs.

  • Lorsque vous achetez un Certificat, vous bénéficiez d'un accès à tout le contenu du cours, y compris les devoirs notés. Lorsque vous avez terminé et réussi le cours, votre Certificat électronique est ajouté à votre page Accomplissements. À partir de cette page, vous pouvez imprimer votre Certificat ou l'ajouter à votre profil LinkedIn. Si vous souhaitez seulement lire et visualiser le contenu du cours, vous pouvez accéder gratuitement au cours en tant qu'auditeur libre.

D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.