К содержимому
learnspaceYOUR NEXT CHAPTER
ПРОСТРАНСТВО ОБУЧЕНИЯ
ГлавнаяКаталог курсовМоё обучениеCoursera

Знания без границ

Учитесь у лучших университетов и компаний мира.

Открыть Coursera
Интеграция
Пространство университета
Моё пространствоСтраница курса
↵
ЯЛичный кабинетСтудент
© 2026 LearnSpaceКаждый день — возможность узнать больше.Помощь
Advanced Modeling for Discrete Optimization · LearnSpace
Назад в каталог
courseraПрограммирование

Advanced Modeling for Discrete Optimization

Курс от The Chinese University of Hong Kong
Средний≈ 46.5 чАнглийский
О курсеНавыкиПрограммаПреподаватели

О курсе

Optimization is a common form of decision making, and is ubiquitous in our society. Its applications range from solving Sudoku puzzles to arranging seating in a wedding banquet. The same technology can schedule planes and their crews, coordinate the production of steel, and organize the transportation of iron ore from the mines to the ports. Good decisions in manpower and material resources management also allow corporations to improve profit by millions of dollars. Similar problems also underpin much of our daily lives and are part of determining daily delivery routes for packages, making school timetables, and delivering power to our homes. Despite their fundamental importance, all of these problems are a nightmare to solve using traditional undergraduate computer science methods. This course is intended for students who have completed Basic Modelling for Discrete Optimization. In this course you will learn much more about solving challenging discrete optimization problems by stating the problem in a state-of-the-art high level modeling language, and letting library constraint solving software do the rest. This course will focus on debugging and improving models, encapsulating parts of models in predicates, and tackling advanced scheduling and packing problems. As you master this advanced technology, you will be able to tackle problems that were inconceivable to solve previously. Watch the course promotional video here: https://www.youtube.com/watch?v=hc3cBvtrem0&t=8s

Навыки, которые вы освоите

Model OptimizationMathematical ModelingDebuggingGeometryOperations ResearchCode ReusabilityAlgorithmsComputational Logic

Программа курса

5 модулей · 57 учебных материалов

01Debugging and Improving Models28 материалов

Course Preliminaries

Welcome to Advanced Modeling for Discrete OptimizationВидеоCourse OverviewЧтение“Building Decision Support Systems using MiniZinc” by Professor Mark WallaceЧтение

Debugging and Improving Models

2.1.1 Model DebuggingВидео

Учитесь у экспертов

Prof. Jimmy Ho Man Lee

Professor

Prof. Peter J Stuckey

Adjunct Professor

Advanced Modeling for Discrete Optimization
В каталоге вашей программы

Инвестируйте в себя

Новые знания — в удобное для вас время.

Начать на Coursera

Обучение откроется на Coursera
в новой вкладке

Обучение на Coursera

≈ 46.5 ч

5 модулей

Язык: Английский

Субтитры: Арабский, Французский, Украинский, Китайский (Китай), Греческий, Итальянский, Бразильский португальский, Вьетнамский, Нидерландский, Корейский, Немецкий, Русский, Тайский, Индонезийский, Шведский, Турецкий, Испанский, Хинди, Японский, Казахский, Польский

Часть программы вашего университета
2.1.2 Tracing ModelsВидео
2.1.3 Relational SemanticsВидео
2.1.4 Too Many SolutionsВидео
2.1.5 Missing SolutionsВидео
2.1.6 Basic Model ImprovementВидео
2.1.7 Module 1 SummaryВидео

Activities

Getting MiniZincЧтениеWorkshop 5: Poetry ChallengeЧтениеWorkshop 5 SolutionВидеоAssignment Submission - IDEВидеоAssignment Submission - CLIВидеоEscape to Jing ProvinceПрограммирование

Reference Material (Optional)

About the Reference MaterialЧтениеReference 1: Basic FeaturesВидеоReference 2: Booleans ExpressionsВидеоReference 3: Sets, Arrays and ComprehensionsВидеоReference 4: Enumerated TypesВидеоReference 5: Strings and OutputВидеоReference 6: Option TypesВидеоReference 7: PredicatesВидеоReference 8: FlatteningВидеоReference 9: Transforming DataВидеоReference 10: User Defined FunctionsВидеоReference 11: Command Line InterfaceВидео
02Predicates8 материалов

Predicates

2.2.1 PredicatesВидео2.2.2 The let-in ConstructВидео2.2.3 Using PredicatesВидео2.2.4 ContextsВидео2.2.5 Module 2 SummaryВидео

Activities

Workshop 6: Weighing an Elephant: Part 1ЧтениеWorkshop 6 SolutionВидеоWeighing the ElephantПрограммирование
03Scheduling9 материалов

Scheduling

2.3.1 Basic SchedulingВидео2.3.2 Disjunctive SchedulingВидео2.3.3 Cumulative SchedulingВидео2.3.4 Sequence Dependent Scheduling 1Видео2.3.5 Sequence Dependent Scheduling 2Видео2.3.6 Module 3 SummaryВидео

Activities

Workshop 7: Visiting Zhuge LiangЧтениеWorkshop 7 SolutionВидеоSuitor ScheduleПрограммирование
04Packing3 материалов

Packing

2.4.1 Square PackingВидео2.4.2 Rectilinear Packing without RotationВидео2.4.3 Rectilinear Packing with RotationВидео
05Symmetry and Dominance9 материалов

Symmetry and Dominance

2.5.1 Symmetries and LexLeaderВидео2.5.2 Matrix Model SymmetriesВидео2.5.3 Value SymmetriesВидео2.5.4 DominanceВидео2.5.5 Module 4 & 5 SummaryВидеоWhere to from here?Чтение

Activities

Workshop 8: The Dieda PlastersЧтениеWorkshop 8 SolutionВидеоTo Borrow Arrows from Thatched BoatsПрограммирование