We will answer questions like:
- Does a particular method work correctly?
- Does it terminate and, if yes, in what time?
- Can we prove that a solution is optimal?
The course constitutes about half of the material on linear and discrete optimization that is taught for mathematics and computer science undergraduates at EPFL and will feature video lectures, quizzes, programming assignments, and a final exam.