关于此课程： 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
此课程适用人群： The course is for penultimate/final year undergraduates and graduates in computing and related disciplines. You will need to have basic computer programming skills, and knowledge of fundamental algorithms, discrete mathematics, logic and linear algebra in order to take this course. Please note, this course is also available wholly in Chinese, see: https://www.coursera.org/learn/lisan-youhua-jianmo-gaojiepian
教学方： Prof. Jimmy Ho Man Lee, Professor
Department of Computer Science and Engineering
教学方： Prof. Peter James Stuckey, Professor
Computing and Information Systems
| 级别 | Intermediate |
| 承诺学习时间 | 5 weeks of study, 6-12 hours/week |
| 语言 | English |
| 如何通过 | 通过所有计分作业以完成课程。 |
| 用户评分 |
- Reading: Course Overview
- Reading: Start of Course Survey
- 视频: 2.1.1 Model Debugging
- 视频: 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
- Reading: Getting MiniZinc
- Reading: Workshop 5: Poetry Challenge
- 视频: Workshop 5 Solution
- 视频: Assignment Submission - IDE
- 视频: Assignment Submission - CLI
- Reading: 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
- 视频: 2.2.2 The let-in Construct
- 视频: 2.2.3 Using Predicates
- 视频: 2.2.4 Contexts
- 视频: 2.2.5 Module 2 Summary
- Reading: Workshop 6: Weighing an Elephant: Part 1
- 视频: Workshop 6 Solution
- 视频: 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
- Reading: Workshop 7: Visiting Zhuge Liang
- 视频: Workshop 7 Solution
- 视频: 2.4.2 Rectilinear Packing without Rotation
- 视频: 2.4.3 Rectilinear Packing with Rotation
- 视频: 2.5.2 Matrix Model Symmetries
- 视频: 2.5.3 Value Symmetries
- 视频: 2.5.4 Dominance
- 视频: 2.5.5 Module 4 & 5 Summary
- Reading: Where to from here?
- Reading: Workshop 8: The Dieda Plasters
- 视频: Workshop 8 Solution
- Reading: End of Course Survey
Each course is like an interactive textbook, featuring pre-recorded videos, quizzes and projects.
Connect with thousands of other learners and debate ideas, discuss course material, and get help mastering concepts.
Earn official recognition for your work, and share your success with friends, colleagues, and employers.
Great course! I particularly appreciated the assignment and the staging which lets you build the final solution in a progressive manner. Looking for course 3 now...
Nice course for modelling skills upgrade.
Lively and engaging course.
If you found "basic modeling" fun, then "advanced modeling" is just as fun, but be warned the assignments will require somewhat more time: about the time indicated, maybe more.
Y
Great course! Good presentation and lectures, challenging assignments. Learned a lot