186.861 Modeling and Solving Constrained Optimization Problems
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022S, VU, 2.0h, 3.0EC, wird geblockt abgehalten
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

- kombinatorische Optimierungsprobleme mithilfe von Constraint Programming (CP) zu modellieren und zu lösen.

- verschiedene Verfahren zur Lösung von CP-Problemen zu implementieren und zu vergleichen.

- die jeweils beste Heuristik zur Steigerung der Suchperformance auszuwählen.

Inhalt der Lehrveranstaltung

- Grundlagen des Constraint Programming: Grundlegende Konzepte, Arten von Wertebereichen (endliche Wertebereiche, Intervalle, Mengen), Constraints, Suche, Branch and Bound
- CP Modellierung: globale Constraints, redundante Constraints, Reduktion von Symmetrien, Constraints für spezielle Anwendungen (z.B. Scheduling), Modellierung von Optimierungsproblemen, Problemreduktionen
- CP Sprachen/Bibliotheken: MiniZinc, ILOG CP Optimierer 
- Modellierungsbeispiele: n-Queens, Cryptoarithmetik, Sudoku, Scheduling, Timetabling, ...
- Grundlegende Lösungsmethoden: Propagierung, Konsistenz, Suche
- Fortgeschrittene Lösungsmethoden: Heuristiken, hybride Ansätze, Kombination mit heuristischen/metaheuristischen Techniken
- Statistische Analyse von Optimierungsalgorithmen
- Lösung von Übungsbeispielen

Methoden

Vorlesungen und Übung mit Programmieraufgaben.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

ECTS-Breakdown:

14 h  Vorlesungen
  6 h  Übung
32 h  Ausarbeitung von Übungsbeispielen
20 h  Vorbereitung auf mündliche Prüfung
  1 h  Mündliche Prüfung und Präsentation der letzten Übungsaufgabe
------
75 h insgesamt 

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
10:00 - 12:0016.05.2022 - 20.05.2022Seminarraum FAV EG B (Seminarraum von Neumann) 186.861: Modeling and Solving Constrained Optimization Problems
13:00 - 15:0016.05.2022 - 20.05.2022Seminarraum FAV EG B (Seminarraum von Neumann) 186.861: Modeling and Solving Constrained Optimization Problems
Modeling and Solving Constrained Optimization Problems - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.16.05.202210:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) 186.861: Modeling and Solving Constrained Optimization Problems
Mo.16.05.202213:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) 186.861: Modeling and Solving Constrained Optimization Problems
Di.17.05.202210:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) 186.861: Modeling and Solving Constrained Optimization Problems
Di.17.05.202213:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) 186.861: Modeling and Solving Constrained Optimization Problems
Mi.18.05.202210:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) 186.861: Modeling and Solving Constrained Optimization Problems
Mi.18.05.202213:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) 186.861: Modeling and Solving Constrained Optimization Problems
Do.19.05.202210:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) 186.861: Modeling and Solving Constrained Optimization Problems
Do.19.05.202213:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) 186.861: Modeling and Solving Constrained Optimization Problems
Fr.20.05.202210:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) 186.861: Modeling and Solving Constrained Optimization Problems
Fr.20.05.202213:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) 186.861: Modeling and Solving Constrained Optimization Problems
LVA wird geblockt abgehalten

Leistungsnachweis

Durchführung und Dokumentation eines Projekts, mündliche Besprechung.

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch