186.835 Mathematical Programming
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2019S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

  • Get a broader knowledge in the area of mathematical optimization with focus on (mixed) integer linear programming (MIP)
  • Be able to model both academic and real world problems as MIPs
  • Be able to theoretically analyze and compare different mathematical programming formulations for a problem
  • Have knowledge on common methodology for solving MIPs
  • Be able to develop practical solution algorithms using state-of-the-art MIP frameworks

Inhalt der Lehrveranstaltung

  • Overview on mathematical optimization (focus on mixed integer models, but also including non-linear and non-deterministic models)
  • Modeling (real world) problems as MIPs (basic techniques, modeling with exponentially many constraints and / or variables)
  • Solution methods for MIPs
    - Cutting plane method, branch-and-cut
    - Decomposition approaches (Langrangian decomposition, Dantzig-Wolfe decomposition) and corresponding solution methods (subgradient method, column generation, branch-and-price)
  • Theory of valid inequalities and further theoretical concepts
    - (Strong) valid inequalities (Chvatal-Gomory cuts, Gomory cuts, mixed integer cuts, cover cuts, theoretical concepts such as dominance, redundancy, facet defining cuts)
    - "Well-solved" problems (properties, total unimodularity, optimization = separation)
  • Further issues in MIP computation and components of modern MIP solvers (presolving, primal heuristics, symmetry, frameworks)
  • Overview on further methods and extensions (stochastic- and robust optimization, non-linear programming, multiobjective optimization)

Weitere Informationen

Estimated effort:

Hours | Purpose
20       | Lecture
15       | Homework exercises 
25       | Programming exercise
15       | Exam preparation and exam
--------------------------------------
75       | Overall

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do.17:00 - 19:0014.03.2019 - 13.06.2019Seminarraum FAV 05 (Seminarraum 186) Lecture
Mathematical Programming - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.14.03.201917:00 - 19:00Seminarraum FAV 05 (Seminarraum 186) Lecture
Do.21.03.201917:00 - 19:00Seminarraum FAV 05 (Seminarraum 186) Lecture
Do.28.03.201917:00 - 19:00Seminarraum FAV 05 (Seminarraum 186) Lecture
Do.04.04.201917:00 - 19:00Seminarraum FAV 05 (Seminarraum 186) Lecture
Do.11.04.201917:00 - 19:00Seminarraum FAV 05 (Seminarraum 186) Lecture
Do.02.05.201917:00 - 19:00Seminarraum FAV 05 (Seminarraum 186) Lecture
Do.09.05.201917:00 - 19:00Seminarraum FAV 05 (Seminarraum 186) Lecture
Do.16.05.201917:00 - 19:00Seminarraum FAV 05 (Seminarraum 186) Lecture
Do.23.05.201917:00 - 19:00Seminarraum FAV 05 (Seminarraum 186) Lecture
Do.06.06.201917:00 - 19:00Seminarraum FAV 05 (Seminarraum 186) Lecture
Do.13.06.201917:00 - 19:00Seminarraum FAV 05 (Seminarraum 186) Lecture

Leistungsnachweis

In addition to the lectures, there will be optional homework assignments and a mandatory programming exercise.

Homework Assignments

Specifications will be made available for download in TISS.

Programming Exercise

You will have to design and implement different integer programming formulations for a specified optimization problem. Specifications and the framework will be available for download in TISS. You should join in groups of two for this programming exercise and send your results by mail to us (deadlines will be announced).

Final Exam

Dates for the final oral exam will be available in June and also in summer if required. Details will be announced here.

  • Each team (w.r.t. the programming exercise) should choose a common date / timeslot for the exercise (unless there are good reasons not to do so).
  • You should register for the exam by email (to both of us). In this email please specify who is going to take the exam (you and your partner), the date and constraints regarding the concrete time (as we will try to schedule the exams such that there are not too long breaks for us). For each group of two we will reserve 45 minutes and for a single student we will reserve 30 minutes.
  • The concrete location of the exam will be announced to you by mail.

Grading

The mark you receive depends on the total points collected for all tasks:

  • (optional) homework exercises: max. 30 points
  • programming exercise: at least 20 points, max. 35 points
  • final oral exam: at least 25 points, max. 50 points

The grade is obtained by the following mapping:

1: 89+ points
2: 76 - 88
3: 63 - 75
4: 50 - 62
5: 0 - 49

LVA-Anmeldung

Von Bis Abmeldung bis
31.01.2019 12:00 31.03.2019 23:59 31.03.2019 23:59

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 504 Masterstudium Embedded Systems Gebundenes Wahlfach
066 645 Data Science Keine Angabe
066 926 Business Informatics Gebundenes Wahlfach
066 931 Logic and Computation Gebundenes Wahlfach
066 932 Visual Computing Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach
066 950 Informatikdidaktik Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

  • Basic knowledge of (integer) linear programming (modeling, LP based Branch-and-Bound) as e.g. taught in Algorithmics
  • Knowledge of basic algorithms and data structures
  • Programming skills in some language, e.g., Java, C++, Python
  • Basic knowledge of linear algebra and graph theory

Vorausgehende Lehrveranstaltungen

Begleitende Lehrveranstaltungen

Sprache

bei Bedarf in Englisch