Lecture Notes in Computer Science 2010

STACS 2001

18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 1517, 2001. Proceedings

Bearbeitet von Afonso Ferreira, Horst Reichel

1. Auflage 2001. Taschenbuch. XVI, 580 S. Paperback ISBN 978 3 540 41695 1 Format (B x L): 15,5 x 23,3 cm Gewicht: 1830 g

Weitere Fachgebiete > EDV, Informatik > Datenbanken, Informationssicherheit, Geschäftssoftware > Zeichen- und Zahlendarstellungen Zu Inhaltsverzeichnis schnell und portofrei erhältlich bei

Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8 Millionen Produkte.

Preface The Symposium on Theoretical Aspects of Computer Science (STACS) is held annually, alternating between France and Germany. The STACS meetings are organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f¨ ur Informatik (GI) in Germany and the Maison de l’Informatique et des Math´ematiques Discr`etes (MIMD) in France. STACS 2001 was the 18th in this series, held in Dresden, February 15-17, 2001. Previous STACS symposia took place in Paris (1984), Saarbr¨ucken (1985), Orsay (1986), Passau (1987), Bordeaux (1988), Paderborn (1989), Rouen (1990), Hamburg (1991), Cachan (1992), W¨ urzburg (1993), Caen (1994), M¨ unchen (1995), Grenoble (1996), L¨ ubeck (1997), Paris (1998), Trier (1999), and Lille (2000). It may be worth noting that in 2001 the symposium was held in one of the new states of reunited Germany for the first time. The proceedings of all of these symposia have been published in the Lecture Notes in Computer Science series of Springer–Verlag. STACS has become one of the most important annual meetings in Europe for the theoretical computer science community. It covers a wide range of topics in the area of foundations of computer science: algorithms and data structures, automata and formal languages, computational and structural complexity, logic, verification, and current challenges. This year, 153 submissions were received, mostly in electronic form, from more than 30 countries, with a fair portion from non–European countries. We would like to thank Jochen Bern who designed the electronic submission procedure which performed marvelously and was of great help to the program committee. The program committee met for two days in Dresden and selected 46 out of the 153 submissions. Most of the papers were evaluated by four members of the program committee, partly with the assistance of subreferees. We thank the program committee for the thorough and careful work. Our gratitude extends to the numerous subreferees. The program committee was impressed by the high scientific quality of the submissions as well as the broad spectrum they covered. Because of the constraints imposed by the limited period of the symposium, a number of good papers could not be accepted. We thank the three invited speakers at this symposium, Julien Cassaigne (Marseille), Martin Grohe (Chicago), and Dexter Kozen (Ithaca) for accepting our invitation to share their insights on new developments in their research areas. We would like to express our sincere gratitude to all the members of the Institut f¨ ur Theoretische Informatik and to the local organizing committee who invested their time and energy to organize this conference. We would like to acknowledge the various sources of financial support for STACS 2001, especially the Deutsche Forschungsgemeinschaft (DFG), the Ministerium f¨ ur Wissenschaft und Kunst des Landes Sachsen, and Freunde und F¨ orderer der TU Dresden. December 2000

Afonso Ferreira Horst Reichel

Committees and Referees

Program Committee D. Barrington A. Bertone J. Bl¨ omer V. Blondel J. D. Boissonnat M. Bousquet-M´elou M. Dietzfelbinger A. Ferreira L. Fribourg G. Gastin A. Marchetti-Spacamella H. Reichel (Chair) G. Rote N. Vereshchagin Th. Wilke

VII

Local Arrangements Committee H. Vogler P. Buchholz

Referees1 Parosh Abdulla Luca Aceto Micah Adler Marc Aiguier Susanne Albers Paola Alimonti Eric Allender Jean-Paul Allouche Helmut Alt Karine Altisen Andris Ambainis Klaus Ambos–Spies Christoph Ambuehl Eric Angel A. Arnold Giorgio Ausiello Philippe Balbiani E. Bampis Klaus Barthelmann Reuven Bar-Yehuda Christina Bazgan Cristina Bazgan Marie-Pierre Beal 1

Dani`ele Beauquier Luca Becchetti B´eatrice Berard Anna Bernasconi Gilles Bernot J. Berstel Andre Berthiaume A. Bertoni Ingrid Biehl Norbert Blum Luc Boasson Bernard Boigelot Paolo Boldi M. A. Bonuccelli Ahmed Bouajjani Amar Bouali Olivier Bournez Mireille Bousquet-Melou Julian Bradfield Andreas Brandst¨ adt Peter Brass Roberto Bruni V´eronique Bruy`ere

Yegor Bryukhov Peter Buergisser Jan van den Bussche Christian Cachin Benoit Caillaud T. Calamoneri Cristian Calude Olivier Carton Julien Cassaigne Franck Cassez N. Cesa-Bianchi Aleksey Chernov Alexey Chernov Christian Choffrut Francesc Comellas Hubert Comon David Coudert Jean-Michel Couvreur Yves Crama Pierluigi Crescenzi M. Crochemore Carsten Damm Fabrizio d’Amore

The list of referees was compiled automatically from the database that was used by the program committee. We apologize for any omissions and inaccuracies.

VIII

Committees and Referees

Philippe Darondeau J¨ urgen Dassow Anuj Dawar Olivier Delmas Stephane Demri Olivier Devillers Pr. Roberto Di Cosmo Volker Diekert Gilles Dowek Dirk Draheim F. Drewes Michael Drmota Manfred Droste Jean-Christophe Dubacq Sergey Dudakov Serge Dulucq J´erˆ ome Durand-Lose Christoph Durr Stefan Edelkamp Henrik Ejersbo Jensen Peter van Emde Boas Ioannis Z. Emiris Lars Engebretsen Jeff Erickson Kousha Etessami Alexandre Evfimievski Hugues Fauconnier S´ andor Fekete Stefan Felsner Paolo Ferragina Mauro Ferrari Afonso Ferreira Thomas Firley Emmanuel Fleury Dimitris Fotakis Pierre Fraigniaud Paolo G. Franciosa Daniele Frigioni Bernd Gaertner Giulia Galbiati Jerome Galtier Harald Ganzinger Paul Gastin Cyril Gavoille F. Geurts

Silvio Ghilardi Dora Giammarresi Joachim Giesen Alfredo Goldman Massimiliano Goldwurm K. Gorbunov Erich Graedel Suanne Graf Giovanna Guaiana Ir`ene Guessarian David Guijarro Bruno Guillaume P. Habermehl Michel Habib Nicolas Halbwachs Michael Hanus Johan Hastad Jean-Michel Helary Edith Hemaspaandra Miki Hermann Philippe Herrmann Ulrich Hertrampf Frank Hoffmann Michael Hoffmann Thomas Hofmeister Steffen H¨ olldobler Tsan-sheng Hsu I. Izmestiev Gerard Jacob Andreas Jakoby David Janin Klaus Jansen Thierry J´eron Tomasz Jurdzinski Yan Jurski Astrid Kaffanke Christos Kaklamanis Sampath Kannan Burghard von Karger Paul Kearney Richard Kennaway Claire Kenyon Astrid Kiehn Daniel Kirsten Marcos Kiwi

Ralf Klasing Ines Klimann Christian Knauer J. Koebler Pascal Koiran Ulli Kortenkamp Guy Kortsarz Klaus Kriegel Danny Krizanc Vladimir Krupski Antonin Kucera G. Kucherov Ralf Kuesters Dietrich Kuske Denis Lapoire Francois Laroussinie Michel Latteux Alexandre Laugier C. Lautemann Sylvain Lazard Hanno Lefmann Vincent Lef`evre Stefano Leonardi W. Lindner Annie Liu Christof Loeding Markus Lohrey Luc Longpre Rita Loogen Tamas Lukovszki Jon Machta Frederic Magniez Jean Mairesse Johann Makowsky Ornaghi Mario Jean-Yves Marion B. Martin Conrado Martinez Paolo Massazza Jiri Matousek Giancarlo Mauri Alexander May R. Mayr R. McNaughton Lutz Meißner

Committees and Referees

Guy Melan¸con C. Mereghetti Yves Metivier Friedhelm Meyer auf der Heide C. Moore Nicole Morawe Michel Morvan Larry Moss Till Mossakowski Laurent Mounier Andrei Muchnik Madhavan Mukund Markus M¨ uller-Olm Anca Muscholl Kedar Namjoshi Giri Narasimhan Mark-Jan Nederhof Sotiris Nikoletseas Damian Niwinski Vincnet van Oostrom Friedrich Otto Martin Otto Christophe Paul Gheorghe Paun W. Penczek Paolo Penna Mati Pentus Stephane Perennes Pino Persiano Antoine Petit Rossella Petreschi Ulrich Pferschy Birgit Pfitzmann Claudine Picaronny Giovanni Pighizzini Jean-Eric Pin Axel Poigne Lorant Porkolab Alex Rabinovich R. Ramanujam Klaus Reinhardt

Steffen Reith Eric R´emila Antonio Restivo Mark Reynolds Herve Rivano J. M. Robson Andrei E. Romashchenko Gianluca Rossi J¨ org Rothe Michel de Rougemont Jan Rutten Mike Saks Massimo Santini Martin Sauerhoff P. Savicky Christian Schindelhauer Michael Schmitt Philippe Schnoebelen Uwe Sch¨oning Rainer Schuler Nicole Schweikardt Thomas Schwentick Camilla Schwind Geraud Senizergues Alexander Shen Amin Shokrollahi Mihaela Sighireanu David Simplot Vaclav Snasel Roberto Solis-Oba Paul Spirakis Ludwig Staiger Yannis Stamatiou Kathleen Steinh¨ ofel Andrea Sterbini Iain Stewart Colin Stirling Howard Straubing Gregoire Sutre Till Tantau Sergey Tarasov G´ abor Tardos

Hendrik Tews Bernhard Thalheim Denis Therien Peter Thiemann Martin Thimm Wolfgang Thomas Sophie Tison Jacobo Toran Mauro Torelli Francoise Tort Denis Trystram Savio Tse Max Ushakov Erich Valkema Brigitte Vallee Oleg Verbitsky Yann Verhoeven Adrian Vetta M. Vidyasagar Sebastiano Vigna Berthold V¨ocking Heribert Vollmer M. Vyalyi Michael Vyugin Vladimir V’yugin Stephan Waack Klaus Wagner RFC Walters Rolf Wanka Osamu Watanabe Klaus Weihrauch Pascal Weil Emo Welzl Rolf Wiehagen Gerhard W¨ oginger Haiseung Yoo Stanislav Zak Thomas Zeugmann Martin Ziegler Wieslaw Zielonka Alexander Zvonkin Uri Zwick

IX

X

Committees and Referees

Sponsoring Institutions – Deutsche Forschungsgemeinschaft (DFG) – Ministerium f¨ ur Wissenschaft und Kunst des Landes Sachsen – Freunde und F¨ orderer der TU Dresden.