Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
9. März 2004
09:45-10:00 | Begrüßung |
10:00-10:30 | Alexander Offtermatt-Souza,
Angelika Steger (ETH Zürich) The Expected Competitive Ratio for Weighted Completion Time Scheduling |
10:30-11:00 | Arfst Nickelsen,
Birgit Schelm (TU Berlin) HP ≠ AvgP |
11:00-11:30 | Kaffeepause |
11:30-12:00 | Henning Fernau (U Newcastle, Callaghan & U Tübingen) Parametric Duality: Kernel Size & Algorithmics |
12:00-12:30 | Jiong Guo,
Rolf Niedermeier (U Tübingen) Exact Algorithms for Tree-like Weighted Set Cover |
12:30-13:00 | Sebastian Wernicke (TU München),
Jochen Alber,
Jens Gramm,
Jiong Guo,
Rolf Niedermeier (U Tübingen) Vermeidung verbotener Teilmatrizen durch Zeilenlöschungen |
13:00-14:00 | Mittagspause |
14:00-14:30 | Elmar Böhler,
Christian Glaßer,
Bernhard Schwarz,
Klaus W. Wagner (U Würzburg) Generierungsprobleme |
14:30-15:00 | Stephen Travers (U Würzburg) Die Komplexität von Auswertungsproblemen für Schaltkreise über Mengen von ganzen Zahlen |
15:00-15:30 | Daniel Meister (U Würzburg) Auswertung von rekurrenten Systemen über den natürlichen Zahlen |
15:30-16:00 | Kaffeepause |
16:00-16:30 | Edith Hemaspaandra (RIT),
Holger Spakowski (U Düsseldorf),
Mayur Thakur (U Rochester) Complexity of Cycle Length Modularity Problems in Graphs |
16:30-17:00 | Christian Glaßer (U Würzburg) Counting with Counterfree Automata |
17:00-17:30 | Holger Petersen (U Stuttgart) Das Eindeutigkeitsproblem auf Turingmaschinen |