Sommersemester 2018
Thema: Darstellungen von Rechteckpackungen
Rechteck-Packungsprobleme haben viele wichtige Anwendungen, insbesondere beim Entwurf von höchstintegrierten Logikchips. Dabei verfolgt man unterschiedliche Optimierungsziele (z.B. Minimierung des Flächenverbrauchs oder Optimierung von Verbindungslängen zwischen den Rechtecken). Die meisten Packungsprobleme erweisen sich dabei als NP-schwer. Um dennoch optimale Packungen zu berechnen, kann man sich enumerativer Methoden bedienen. Dafür muss man Anordnungen von Rechtecken kompakt kodieren können, und man muss in der Lage sein, aus einer Kodierung auf effiziente Art eine zugehörige Rechteckpackung zu bestimmen. In diesem Praktikum sollen verschiedene Repräsentierungen von Rechteckanordnungen implementiert und zur Berechnung optimaler Packungen verwendet werden.
Termine des Abschlusspräsentationen:
Freitag, 20. Juli:- 14:15: Alexander Holz
- 14:30: Josefine Foos
- 14:45: Lars Friederichs
- 16:15: Tobias Bork
- 16:30: Nicholas Schwab und Lukas Kempf
- 17:00: Philipp Holzmann
- 17:15: Pause
- 17:30: Jan Polster
- 17:45: Kuangda Konrad Zou
- 18:00: Eva Gebertz
Hier kann eine genaue Beschreibung der einzelnen Aufgaben heruntergeladen werden, und hier kann eine Liste mit den Teilnehmern und Betreuern heruntergeladen werden.
Kleine Testinstanzen:
Instanzen mit gegebener Platzierung (für die Eintiegsaufgabe):- Instanz 7 mit Platzierung
- Instanz 8 mit Platzierung
- Instanz 9 mit Platzierung
- Instanz 10 mit Platzierung
- Instanz 11 mit Platzierung
Packungsinstanzen:
- Pack-Instanz 1
- Pack-Instanz 2
- Pack-Instanz 3
- Pack-Instanz 4 (mit Korrektur)
- Pack-Instanz 5
- Pack-Instanz 6
- Pack-Instanz 7
- Pack-Instanz 8
- Pack-Instanz 9
- Pack-Instanz 10
- Pack-Instanz 11
- Pack-Instanz 12
- Pack-Instanz 13
- Pack-Instanz 14
- Pack-Instanz 15
- Pack-Instanz 16
- Pack-Instanz 17
- Pack-Instanz 18 (Lösung, Wert: 15)
- Pack-Instanz 19 (Lösung, Wert: 16)
- Pack-Instanz 20 (Lösung, Wert: 13)
- Pack-Instanz 21 (mit Korrektur in der Eingabe) (Lösung, Wert: 6)
Allgemeine Hinweise zum Programmieren.
Prof. Dr. B. Korte,
Prof. Dr. J. Vygen,
Prof. Dr. S. Hougardy,
Prof. Dr. S. Held,
Dr. U. Brenner