T Atigkeitsbericht 1996 Arbeitsgruppe Theoretische Informatik
Total Page：16
File Type：pdf, Size：1020Kb
Tatigkeitsbericht Arb eitsgrupp e Theoretische Informatik Prof Dr Helmut Alt Prof Dr Emo Welzl arz M Institut fur Informatik Fachbereich Mathematik und Informatik at Berlin Freie Universit Takustr D Berlin Tatigkeitsbericht Theoretische Informatik Mitglieder a Professoren Alt Helmut Dr Welzl Emo Dr bis b Gastwissenschaftler Panconesi Alessandro Dr bis HumboldtStip endium c Assistenten wissenschaftliche Mitarb eiter Stip endiaten Alb erts David bis DFG LeibnizPreis Andrzejak Artur bis Felsner Stefan Dr Fuchs Ulrich DFG artner Bernd Dr G Go dau Michael Homann Frank Dr Kettner Lutz bis Graduiertenkolleg Algorithmische Diskrete Mathe matik Kriegel Klaus Dr onherr Sven bis DFG LeibnizPreis seit ESPRIT Sch Pro jekt CGAL Wagner Frank Dr PD HeisenbergStip endium Wernisch Lorenz Dr bis Graduiertenkolleg Algorithmische Diskrete Mathematik Will HansMartin bis Graduiertenkolleg Algorithmische Diskrete Mathematik Wol Alexander DFG seit arin d Sekret arb el bis Bruder B Ro chow Gaye vom bis e Ko ordinatorin des Graduiertenkollegs Felsner Bettina f Forschungstutoren Gerke Stefanie bis DFG LeibnizPreis Papenberg Andre DFG bis Kap o or Vikas DFG Gaste und Vortrage Micha Sharir Tel Aviv University Variants of Szekelys Technique for Incidences and Many Faces Problems Stefan Naher at HalleWittenberg MartinLutherUniversit Ein eleganter und ezienter Algorithmus zum Planaritatstest von Graphen Lutz Kettner ETH Zurich CEBAP ContourEdgeBasedPolyhedronVisualiza tion Friedhelm Meyer auf der Heide at Paderborn Heinz Nixdorf Institut und Universit Universel le Routingstrategien Anand Srivastav at zu Berlin HumboldtUniversit usse uter Randomisierte Konstruktion ganzzahliger Mehrg Martin Skutella at Berlin Technische Universit Approximation Algorithms for the Discrete TimeCost Tradeo Problem Dimitris Alevras KonradZuseZentrum fur Informationstechnik Berlin On the Facial Structure of MinCut Polyhedra Franz Aurenhammer TU Graz ur planare geometrische Graphen Diagramme f Emo Welzl ETH Zurich Kongurationen von Liniensegmenten in der Ebene und Dreiecken im Raum Neue Analysen Tatigkeitsbericht Theoretische Informatik Drittmittel Projekt CGAL Constructing a Geometric Algorithms Library gefordert von der Europaischen Gemeinschaft im Rahmen des Programms ESPRIT IV Pro jektleiter Helmut Alt onherr seit Mitarb eiter Sven Sch Laufzeit Es handelt sich um ein Gemeinschaftspro jekt von sieb en Arb eitsgrupp en in Utrecht Zurich Berlin Sophia AntipolisFrankreich Saarbrucken Linz und Tel Aviv Inhalt des Pro jektes ist die Implementierung der wichtigsten Algo orige theoretische Untersu rithmen der algorithmischen Geometrie und dazugeh chungen Ziel ist es ein Softwarepaket zu erstellen das fur Anwender geome trischer Algorithmen von Interesse ist Das Pro jekt b einhaltet daher auch die Implementierung von Anwendungen aus Gebieten wie Geographische Informati onssysteme GIS Visualisierung und Simulation CADCAM und Formananlyse und rekonstruktion Dies soll in Zusammenarb eit mit mehreren Firmen aus den andern der Pro jektpartner geschehen Unsere Arb eitsgrupp e b eteiligt sich da L b ei an der Implementierung des Kerns elementare geometrische Ob jekte und Algorithmen von Optimierungsalgorithmen und von Matchingalgorithmen fur Muster und Formen Graduiertenkolleg Algorithmische Diskrete Mathematik gefordert von der Deutschen Forschungsgemeinschaft DFG Beteiligte Wissenschaftler Helmut Alt Sprecher Emo Welzl Ko ordination Bettina Felsner Stip endiaten Lutz Kettner bis HansMartin Will bis Lorenz Wernisch bis orderungszeitraum Oktob er September F at der Humboldt Gemeinsames Kolleg von Wissenschaftlern der Freien Universit at und des KonradZuseZentrums at der Technischen Universit Universit Aus den klassischen Gebieten wie Kombinatorik o der Graphentheorie hat sich die diskrete Mathematik unter Einbeziehung des algorithmischen Standpunktes in einen Themenkreis entwickelt der in einzigartiger Weise Asp ekte der Grundlagen wie auch der angewandten Wissenschaften vereint Als Beispie le seien genannt Codierungstheorie und Datensicherheit algorithmische Zahlen theorie und ComputerAlgebra algorithmische Geometrie und Rob otik Netz werkplanung Design von Algorithmen in all diesen Gebieten ist die algorithmi sche diskrete Mathematik Fundament und Wegbereiter fur Anwendungen Vor rangiges Ziel ist es durch eine Konzentrierung von Forschung und Ausbildung age zu wichtigen aktuellen Fragen in den Grundlagen und Anwendungen zu Beitr erarb eiten Projekt Ahnlichkeit geometrischer Ob jekte gefordert von der Deutschen For schungsgemeinschaft DFG Pro jektleiter Helmut Alt Mitarb eiter Ulrich Fuchs orderungszeitraum Mai Dezember F Inhalt des Pro jekts ist die Entwicklung und teilweise Implementierung von Al gorithmen zur Ahnlichkeitsbestimmung und Approximation geometrischer Ob jekte Dab ei sollen Metho den der algorithmischen Geometrie angewandt werden um Muster und Formen zu erkennen o der zu approximieren Fruhere Arb eiten ohere der Arb eitsgrupp e zu diesem Thema sollen verallgemeinert werden auf h Dimensionen und auf allgemeinere Transformationen zum Matching von Formen zB b eliebige ane Abbildungen Insb esondere sollen auch Datenstrukturen ent ahnlichste aus wickelt werden die es erlaub en zu einer gegeb enen Form die dazu einer fest vorgegebenen Menge zu b estimmen Auerdem sollen Algorithmen zur achen im zwei und dreidimensionalen Raum Approximation von Kurven und Fl entwickelt werden Projekt Eziente Algorithmen zur Beschriftung von Landkarten gefordert von der Deutschen Forschungsgemeinschaft DFG Pro jektleiter Frank Wagner Mitarb eiter Alexander Wol Vikas Kap o or orderungszeitraum Juni Mai F Inhalt des Pro jekts ist die Entwicklung die theoretische Analyse die Imple mentierung und exp erimentelle Erprobung von Algorithmen fur eine Reihe von Beschriftungsproblemen von Landkarten Dab ei geht es darum eine gegeb ene Menge von Ob jekten Punkten Linienzugen Regionen so zu b eschriften da keine Beschriftung sich mit einer anderen ub erschneidet die Lesbarkeit durch ei ahrleistet ist und das durch eine Beschriftung oe gew ne hinreichende SchriftGr gekennzeichnete Ob jekt leicht identizierbar ist osung ei ahrten Verfahren zur L Basierend auf einem b ereits in der Praxis b ew ankten Version dieses Problems sollen gemeinsam mit Anwendern ner eingeschr Probleme der klassischen statischen Beschriftung von technischen Karten und ost werden die in geogra dynamische algorithmische Beschriftungsprobleme gel phischen Informationssystemen GIS auftreten oentlichungen und Vortrage Ver oentlichungen in Zeitschriften mit Auswahlverfahren a Ver Helmut Alt Leo Guibas Richard Karp Kurt Mehlhorn Avi Wig derson A Method for Obtaining Probabilistic Algorithms with Smal l Tail Probabilities Algorithmica Vol F Hoffmann E Gyorgi K Kriegel und T Shermer Generalized Guarding and Partitioning for Rectilinear Polygons Computational Geometry Theory and Applications Vol F Hoffmann K Kriegel A Graph Coloring Result and its Consequences for PolygonGuarding Problems SIAM Journal Discrete Mathematics Vol R Kuchem D Wagner F Wagner Optimizing Layer Assignment and Area in KnockKnee Channel Routing Algorithmica Vol J Matousek M Sharir und E Welzl A Subexponential Bound for Linear Programming Algorithmica Vol Tatigkeitsbericht Theoretische Informatik A Panconesi A Srinivasan On the Complexity of Distributed Network Decomposition Journal of Algorithms Vol anden mit Auswahlverfahren oentlichungen in Konferenzb b Ver D Alberts G Cattaneo G F Italiano An Empirical Study of Dynamic Graph Algorithms Pro c th Annual ACMSIAM Symp osium on Discrete Algorithms SODA Helmut Alt Ulrich Fuchs Gunther Rote Gerald Weber Matching Convex Shapes with respect to the Symmetric Dierence Pro c th Annual Europ ean Symp osium on Algorithms ESA Springer Lecture Notes in Computer Science Vol Andreas Fabri GeertJan Giezeman Lutz Kettner Stefan Schirra Sven Schonherr The CGAL Kernel A Basis for Geometric Computation Pro c st ACM Workshop on Applied Computational Geometry WACG ed M C Lin and D Mano cha Lecture Notes in Computer Science Vol Stefan Felsner On the Number of Arrangements of Pseudolines Pro c th Annual ACM Symp osium on on Computational Geometry B Gartner und E Welzl Linear Programming Randomization and Abstract Frameworks Pro c th Annual Symp osium on Theoretical Asp ects of Computer Science STACS Lecture Notes in Computer Science Vol Springer Verlag V Kann S Khanna J Lagergren A Panconesi On the Hardness of Approximating Max k Cut and its Dual Pro c th Israeli Symp osium on Theory of Computing and Systems ISTICS IEEE Computer Science Press Accepted for publication in The Chicago Journal of Theoretical Computer Science Lutz Kettner Emo Welzl Contour Edge Analysis for Polyhedron Pro jections Pro c International Conference Theory and Practice of Geometric Mo deling ed Reinhard Klein Wolfgang Straer Seiten M Sharir und E Welzl Rectilinear and Polygonal pPiercing and pCenter Problems Pro c th Annual ACM Symp osium on Computational Geometry oentlichungen c Sonstige Ver B Gartner Vorlesungsskript zur Algorithmischen Geometrie November F Hoffmann Ch Icking R Klein K Kriegel An Ecient Competitive Strategy for Learning a Polygon Abstracts of the th Europ ean Workshop on Computational Geometry ed K Hinrichs Bericht Institut fur at Munster Informatik Universit A Panconesi E Malesinska On the Hardness of Al locating Frequencies for Hybrid Networks