STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science Antibes - Juan les Pins, France, March 14–16, 2002 Proceedings

673 Pages·2002·10.681 MB·English

by  Yan Zong Ding, Michael O. Rabin (auth.), Helmut Alt, Afonso Ferreira (eds.)

L e c t u r e N o t e s i n C o m p u t e r S c i e n c e 2 2 8 5
E d i t e d b y G . G o o s , J . H a r t m a n i s , a n d J . v a n L e e u w e n
3
B e r lin
H e id e lb e r g
N e w Y o r k
B a r c e lo n a
H o n g K o n g
L o n d o n
M ila n
P a r is
T o k y o
H e l m u t A l t A f o n s o F e r r e i r a ( E d s . )
S T A C S 2 0 0 2
1 9 t h A n n u a l S y m p o s i u m
o n T h e o r e t i c a l A s p e c t s o f C o m p u t e r S c i e n c e
A n t i b e s - J u a n l e s P i n s , F r a n c e , M a r c h 1 4 - 1 6 , 2 0 0 2
P r o c e e d i n g s
1 3
S e r ie s E d ito r s
G e r h a r d G o o s , K a r ls r u h e U n iv e r s ity , G e r m a n y
J u r is H a r tm a n is , C o r n e ll U n iv e r s ity , N Y , U S A
J a n v a n L e e u w e n , U tr e c h t U n iv e r s ity , T h e N e th e r la n d s
V o lu m e E d ito r s
H e lm u t A lt
F r e e U n iv e r s ity o f B e r lin , I n s titu te f o r C o m p u te r S c ie n c e
T a k u s tr a ß e 9 , 1 4 1 9 5 B e r lin , G e r m a n y
E - m a il: a lt@ in f .f u - b e r lin .d e
A f o n s o F e r r e ir a
C N R S – I 3 S – I N R I A S o p h ia A n tip o lis
2 0 0 4 R o u te d e s L u c io le s , 0 6 9 0 2 S o p h ia A n tip o lis , F r a n c e
E - m a il: A f o n s o .F e r r e ir a @ s o p h ia .in r ia .f r
C a ta lo g in g - in - P u b lic a tio n D a ta a p p lie d f o r
D ie D e u ts c h e B ib lio th e k - C I P - E in h e its a u f n a h m e
S T A C S < 1 9 , 2 0 0 2 , A n tib e s ; J u a n - le s - P in s > :
P r o c e e d in g s / S T A C S 2 0 0 2 / 1 9 th A n n u a l S y m p o s iu m o n T h e o r e tic a l A s p e c ts o f
C o m p u te r S c ie n c e , A N T I B E S - J u a n le s P in s , F r a n c e , M a r c h 1 4 - 1 6 , 2 0 0 2 .
H e lm u t A lt ; A f o n s o F e r r e ir a ( e d .) . - B e r lin ; H e id e lb e rg ; N e w Y o r k ;
B a r c e lo n a ; H o n g K o n g ; L o n d o n ; M ila n ; P a r is ; T o k y o : S p r in g e r, 2 0 0 2
( L e c tu r e n o te s in c o m p u te r s c ie n c e ; V o l. 2 2 8 5 )
I S B N 3 - 5 4 0 - 4 3 2 8 3 - 3
C R S u b je c t C la s s ifi c a tio n ( 1 9 9 8 ) : F , E .1 , I .3 .5 , G .2
I S S N 0 3 0 2 - 9 7 4 3
I S B N 3 - 5 4 0 - 4 3 2 8 3 - 3 S p r in g e r- V e r la g B e r lin H e id e lb e rg N e w Y o r k
T h is w o rk is su b je c t to c o p y rig h t. A ll rig h ts a re re se rv e d , w h e th e r th e w h o le o r p a rt o f th e m a te ria l is
c o n c e rn e d , sp e c ifi c a lly th e rig h ts o f tra n sla tio n , re p rin tin g , re -u se o f illu stra tio n s, re c ita tio n , b ro a d c a stin g ,
re p ro d u c tio n o n m ic ro fi lm s o r in a n y o th e r w a y , a n d sto ra g e in d a ta b a n k s. D u p lic a tio n o f th is p u b lic a tio n
o r p a rts th e re o f is p e rm itte d o n ly u n d e r th e p ro v isio n s o f th e G e rm a n C o p y rig h t L a w o f S e p te m b e r 9 , 1 9 6 5 ,
in its c u rre n t v e rsio n , a n d p e rm issio n fo r u se m u st a lw a y s b e o b ta in e d fro m S p rin g e r-V e rla g . V io la tio n s a re
lia b le fo r p ro se c u tio n u n d e r th e G e rm a n C o p y rig h t L a w .
S p rin g e r-V e rla g B e rlin H e id e lb e rg N e w Y o rk
a m e m b e r o f B e rte lsm a n n S p rin g e r S c ie n c e + B u sin e ss M e d ia G m b H
h ttp ://w w w .sp rin g e r.d e
© S p rin g e r-V e rla g B e rlin H e id e lb e rg 2 0 0 2
P rin te d in G e rm a n y
T y p e se ttin g : C a m e ra -re a d y b y a u th o r, d a ta c o n v e rsio n b y P T P -B e rlin , S te fa n S o ssn a
P rin te d o n a c id -fre e p a p e r S P IN : 1 0 8 4 6 3 1 9 0 6 /3 1 4 2 5 4 3 2 1 0
Preface
The Symposium on Theoretical Aspects of Computer Science (STACS) has be-
come 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 fo-
undations of computer science: algorithms and data structures, automata and
formal languages, computational and structural complexity, logic, verification,
and current challenges.
STACS 2002, the 19th in this series, was held in Antibes - Juan les Pins, on
theFrenchRiviera,March14–16,2002.PreviousSTACSsymposiatookplacein
Paris(1984),Saarbru¨cken(1985),Orsay(1986),Passau(1987),Bordeaux(1988),
Paderborn (1989), Rouen (1990), Hamburg (1991), Cachan (1992), Wu¨rzburg
(1993), Caen (1994), Mu¨nchen (1995), Grenoble (1996), Lu¨beck (1997), Paris,
(1998), Trier (1999), Lille (2000), and Dresden (2001). The proceedings of all
these symposia have been published in the Lecture Notes in Computer Science
series of Springer-Verlag.
STACS 2002 received 209 submissions from 30 countries, one of the highest
numbersofsubmissionsever,foraEuropeanconferenceontheoreticalcomputer
science. They were dispatched to the Program Committee members, and un-
derwent a thorough review process, where more than 900 reports were written.
ThesereportsthenservedasguidancetotheProgramCommittee,whichmeton
November 16–17, 2001, at the INRIA Sophia Antipolis (near Antibes), France,
in order to select the conference program.
Fortunately,quantityyieldedhighscientificquality,andthetaskofselecting
the best submissions was very difficult indeed. During the 2-day, very intense
meeting of the Program Committee, less than 25% of the submissions were sel-
ected for oral presentation at the conference. The only drawback of this highly
selectiveprocesswasthatmanygood,relevantpaperswithpositivereviewscould
not be included in the final program. On the other hand, such a rigorous selec-
tion process was a guarantee that STACS 2002 was bound to be a scientifically
rich and very fruitful forum for theoretical computer science.
Wethankthethreeinvitedspeakersatthissymposium,GillesDowek(INRIA
Rocquencourt), Michael O. Rabin (Harvard University), and Christian Scheide-
ler(JohnsHopkinsUniversity)foracceptingourinvitationtosharetheirinsights
on new developments in their research areas.
We would like to express our sincere gratitude to all the members of the
local organizing committee who invested their time and energy to organize this
conference.Inparticular,wethankJ.Durand-Lose(LocalOrganizingChair),D.
Coudert (web site), S. Choplin (submissions server), and E. Deriche, B. Martin,
H. Rivano, B. Madeline, D. Sergeant, and M.-H. Zeitoun.
Finally, we acknowledge the various sources of financial support for STACS
2002, namely the French CNRS, ERCIM, ESSI, the INRIA Sophia Antipolis,
I3S, and the French Ministries of Research and Foreign Affairs.
Helmut Alt
December 2001
Afonso Ferreira
Committees and Referees VII
Program Committee Organizing Committee
H. Alt (Berlin), Co-chair S. Choplin
H. Buhrman (Amsterdam) D. Coudert
B. Chlebus (Warsaw) E. Deriche
T. Erlebach (Zu¨rich) J. Durand-Lose, Chair
A. Ferreira (Sophia-Antipolis), Chair S. Julia
H. Ganzinger (Saarbru¨cken) C. Julien
D. Lugiez (Marseille) A. Ferreira, Conference Chair
Y. M´etivier (Bordeaux) B. Martin
C. Moore (Albuquerque/Santa Fe) H. Rivano
A. Muscholl (Paris) D. Sergeant
G. Pucci (Padova) M.-H. Zeitoun
G. Schnitger (Frankfurt)
T. Schwentick (Jena)
D. Trystram (Grenoble)
B. V¨ocking (Saarbru¨cken)
External Referees1
Hosam Abdo Danielle Beauquier Peter Brass
Luca Aceto Bernd Becker Stefan Brass
Dimitris Achlioptas Richard Beigel Jacques Briat
Micah Adler Michael Benedikt Stefan Burkhardt
Jochen Alber Petra Berenbrink Edson Caceres
Eric Allender Anna Bernasconi Cristian Calude
Jean-Paul Allouche Karell Bertet Iannis Caragiannis
Noga Alon Jean Betrema Olivier Carton
Ernst Althaus Mauro Bianco Julien Cassaigne
Andris Ambainis Markus Blaeser Didier Caucal
Klaus Ambos-Spies Johannes Bloemer Frederic Cazals
Christoph Ambu¨hl Hans Bodlaender Julien Cervelle
Eric Angel Bernard Boigelot Samarjit Chakraborty
Dana Angluin Mikolaj Bojanczyk Witold Charatonik
Eugene Asarin Paolo Boldi Victor Chepoi
Jose Balcazar Benedikt Bollig Christian Choffrut
Evripidis Bampis Ahmed Bouajjani Marek Chrobak
David Barrington Olivier Bournez Andrea Clementi
Klaus Barthelmann Patricia Bouyer Richard Cleve
Hannah Bast Julian Bradfield Livio Colussi
1 This list has been automatically compiled from the conference’s database. We
apologize for any omissions or inaccuracies.
VIII Committees and Referees
Robert Cori Stephen Fenner Vollmer Heribert
Ricardo Correa Henning Fernau Holger Hermanns
Stavros Cosmadakis Paolo Ferragina Uli Hertrampf
Solange Coupet Alain Finkel Mika Hirvensalo
Bruno Courcelle Paul Fischer John Hitchcock
Nadia Creignou Michele Flammini Jaap-Henk Hoepman
Pierluigi Crescenzi Paola Flocchini Frank Hoffmann
Maxime Crochemore Riccardo Focardi Hendrik Jan Hoogeboom
Tristan Crolard Florence Forbes Peter Hoyer
Janos Csirik Enrico Formenti Juraj Hromkovich
Felipe Cucker Lance Fortnow Guillaume Huard
Pierre-Louis Curien Pierre Fraigniaud Neil Immerman
Artur Czumaj Denis Francois Sandra Irani
Georges Da Costa Martin Fuerer Giuseppe Italiano
Silvano Dal Zilio Stefan Funke Manfred Jaeger
Vincent Danos Maurizio Gabbrielli Andreas Jakoby
Bhaskar DasGupta Didier Galmiche Peter Jancar
Ju¨rgen Dassow J´erˆome Galtier David Janin
Mart De Graaf Anna Gambin Claude Jard
Ronald De Wolf Leszek Gasieniec Aubin Jarry
Gianna Del Corso Thierry Gautier Emmanuel Jeannot
Joerg Derungs Ricard Gavalda´ Philippe Jorrand
Josee Desharnais Remi Gilleron Sandrine Julia
Luc Devroye Christian Glaßer Yan Jurski
Pietro Di Gianantonio Andreas Goerdt Vanessa K¨a¨ab
Krzysztof Diks Karol Golab Valentine Kabanets
Ju¨rgen Dix Alfredo Goldman Jarkko Kari
David Dobkin Massimiliano Goldwurm Juha Ka¨rkka¨inen
Yevgeniy Dodis Erich Gra¨del Marek Karpinski
Dirk Draheim Martin Grohe Rainer Kemp
Maksymilian Dryja Roberto Grossi Claire Kenyon
Bertrand Ducourthial Andr´e Große Lefteris Kirousis
Serge Dulucq Josef Gruska Daniel Kirsten
Jean-Guillaume Dumas Isabelle Gu´erin Lassous Hartmut Klauck
Arnaud Durand Concettina Guerra Bartek Klin
Jerome Durand-Lose Fr´ederic Guinand Adam Klivans
Pierre-Francois Dutot Jens Gustedt Christian Knauer
David Eppstein Marc Gyssens Pascal Koiran
Zoltan Esik Peter Habermehl Ulrich Kortenkamp
Javier Esparza Torben Hagerup Darek Kowalski
Kousha Etessami Alexander Hall Miroslaw Kowaluk
Rolf Fagerberg Eran Halperin Marcus Kracht
Carlo Fantozzi Joe Halpern Matthias Krause
Sandor Fekete Laura Heinrich-Litan Klaus Kriegel
Stefan Felsner Harald Hempel Danny Krizanc
Committees and Referees IX
Piotr Krysta Angelo Montanari Giovanni Resta
Marcin Kubica Frank Morawietz Andrea Richa
Antonin Kucera Malika More Herve Rivano
Gregory Kucherov R´emi Morin Amadio Roberto
Ravi Kumar Gr´egory Mounie Mike Robson
Orna Kupferman Jean-Frederic Myoupo Hein Roehrig
Dietrich Kuske Markus Nebel Jos´e Rolim
Martin Kutrib Frank Neven Yves Roos
Miroslaw Kutylowski Phong Nguyen Laurent Rosaz
Gregory Lafitte Gaia Nicosia Francesca Rossi
Manuel Lameiras Peter Niebert Gianluca Rossi
Elmar Langetepe Rolf Niedermeier Peter Rossmanith
Denis Lapoire Frank Niessner Guenter Rote
Francois Laroussinie Damian Niwinski Michael Rusinowitch
Slawomir Lasota Mitsunori Ogihara Alex Russell
James Leifer Friedrich Otto Marcin Rychlik
Giacomo Lenzi Martin Otto Zenon Sadowski
Stefano Leonardi Leszek Pacholski Nasser Saheb
Ming Li Linda Pagli Anand Sai
Leonid Libkin Aris Pagourtzis Jacques Sakarovitch
Marek Libura Prakash Panangaden Alex Samorodnitsky
Andrzej Lingas Gilles Parmentier Peter Sanders
Giuseppe Liotta Marco Pellegrini Martin Sauerhoff
Markus Lohrey Bernard Penz Marcus Schaefer
Rita Loogen Adriano Peron Christian Scheideler
Antoni Lozano Giuseppe Persiano Christian Schindelhauer
Fabrizio Luccio Holger Petersen Schmidt-Schauss
Flaminia Luccio Antoine Petit Georg Schnitger
Jack Lutz Andrea Pietracaprina Philippe Schnoebelen
Mukund Madhavan Nicholas Pippenger Elmar Schoemer
Adam Malinowski Wojciech Plandowski Rainer Schuler
Vincenzo Manca Andreas Podelski Go¨tz Schwandtner
Heikki Mannila Christopher Pollett Nicole Schweikardt
Giovanni Manzini Christophe Prieur Michael Seel
Alberto Marchetti- Pavel Pudlak Steve Seiden
Spaccamela Alexander Rabinovich Helmut Seidl
Luciano Margara Rajeev Raman Dietmar Seipel
Bruno Martin Ramanujam Peter Selinger
Elvira Mayordomo Edgar Ramos Alan Selman
Richard Mayr Christophe Rapine Geraud Senisergues
Jacques Mazoyer Andre Raspaud Jiri Sgall
Lutz Meissner Antoine Rauzy Jeffrey Shallit
Wolfgang Merkle Rahul Ray Boris Shapiro
Marino Miculan Michel Raynal Yaoyun Shi
Michael Mitzenmacher Klaus Reinhardt Mihaela Sighireanu
X Committees and Referees
Fred Sobik Jacobo Toran Klaus Wagner
Viorica Sofronie- Leen Torenvliet Uwe Waldmann
Stokkermans Csaba David To´th Igor Walukiewicz
Christian Sohler Stavros Tripakis John Watrous
Siang Song Dieter Van Melkebeek Klaus Weihrauch
Eric Sopena Marc Van Kreveld Pascal Weil
Ewald Speckenmeyer Peter Van emde Boas Maik Weinard
Ludwig Staiger Moshe Vardi Volkmar Welker
Jukna Stasys Nikolai Vereshchagin Carola Wenk
Stamatis Stefanakos Yann C. Verhoeven Matthias Westermann
Angelika Steger Robert Veroff Sue Whitesides
Benjamin Steinberg Stephane Vialette Peter Widmayer
Frank Stephan Laurent Viennot Thomas Wilke
Andrzej Szalas Sebastiano Vigna Gerhard Woeginger
Mario Szegedy Laurent Vigneron Philipp Woelfel
G´eraud S´enizergues Gilles Villard Thomas Worsch
Alain Terlutte Eelco Visser Sergio Yovine
Denis Th´erien Paul Vitanyi Marc Zeitoun
Jacques Theys Joerg Vogel Yunhong Zhou
P.S. Thiagarajan Heribert Vollmer Wieslaw Zielonka
Thomas Thierauf Sergei Vorobyov Alexandre Zvonkine
Rick Thomas Imrich Vrto
Sophie Tison Laurent Vuillon
Ioan Todinca Danica Vukadinovic