À propos de ce cours
5.0
8 notes
1 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
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
6 heures pour terminer

Basic Constraint Programming

This module starts by using an example to illustrate the basic machinery of Constraint Programming solvers, namely constraint propagation and search. While domains represent possibilities for variables, constraints are actively used to reason about domains and can be encoded as domain propagators and bounds propagators. You will learn how a propagation engine handles a set of propagators and coordinates the propagation of constraint information via variable domains. You will also learn basic search, variable and value choices, and how propagation and search can be combined in a seamless and efficient manner. Last but not least, this module describes how to program search in MiniZinc....
Reading
8 vidéos (Total 128 min), 3 lectures, 1 quiz
Video8 vidéos
3.1.1 Constraint Programming Solvers13 min
3.1.2 Domains + Propagators18 min
3.1.3 Bounds Propagation21 min
3.1.4 Propagation Engine21 min
3.1.5 Search25 min
3.1.6 Module 1 Summary4 min
Workshop 919 min
Reading3 lectures
Course Overview10 min
Start of Course Survey10 min
Workshop 9: CP Basic Search Strategies10 min
Semaine
2
Heures pour terminer
6 heures pour terminer

Advanced Constraint Programming

In this module, you will see how Branch and Bound search can solve optimization problems and how search strategies become even more important in such situations. You will be exposed to advanced search strategies, including restart search and impact-based search. The module also uncovers the inner workings of such global constraints as alldifferent and cumulative....
Reading
7 vidéos (Total 143 min), 1 lecture, 1 quiz
Video7 vidéos
3.2.2 Restart and Advanced Search20 min
3.2.3 Inside Alldifferent14 min
3.2.4 Inside Cumulative14 min
3.2.5 Flattening39 min
3.2.6 Module 2 Summary6 min
Workshop 1030 min
Reading1 lecture
Workshop 10: CP Advanced Search Strategies10 min
Semaine
3
Heures pour terminer
5 heures pour terminer

Mixed Integer Programming

This module starts by introducing linear programming and the Simplex algorithm for solving continuous linear optimization problems, before showing how the method can be incorporated into Branch and Bound search for solving Mixed Integer Programs. Learn Gomory Cuts and the Branch and Cut method to see how they can speed up solving....
Reading
6 vidéos (Total 102 min), 1 lecture, 1 quiz
Video6 vidéos
3.3.2 Mixed Integer Programming17 min
3.3.3 Cutting Planes14 min
3.3.4 MiniZinc to MIP13 min
3.3.5 Module 3 Summary4 min
Workshop 1126 min
Reading1 lecture
Workshop 11: MIP Modelling10 min
Semaine
4
Heures pour terminer
6 heures pour terminer

Local Search

This module takes you into the exciting realm of local search methods, which allow for efficient exploration of some otherwise large and complex search space. You will learn the notion of states, moves and neighbourhoods, and how they are utilized in basic greedy search and steepest descent search in constrained search space. Learn various methods of escaping from and avoiding local minima, including restarts, simulated annealing, tabu lists and discrete Lagrange Multipliers. Last but not least, you will see how Large Neighbourhood Search treats finding the best neighbour in a large neighbourhood as a discrete optimization problem, which allows us to explore farther and search more efficiently....
Reading
10 vidéos (Total 160 min), 2 lectures, 1 quiz
Video10 vidéos
3.4.2 Constraints and Local Search12 min
3.4.3 Escaping Local Minima- Restart6 min
3.4.4 Simulated Annealing7 min
3.4.5 Tabu List9 min
3.4.6 Discrete Langrange Multiplier Methods28 min
3.4.7 Large Neighbourhood Search24 min
3.4.8 MiniZinc to Local Search16 min
3.4.9 Module 4 Summary8 min
Workshop 1230 min
Reading2 lectures
Workshop 12: Local Search10 min
End of Course Survey10 min

Enseignants

Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering
Avatar

Prof. Peter James Stuckey

Professor
Computing and Information Systems

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