Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings

724 Pages·2000·7.82 MB·English

by  Silvano Dal Zilio

Lecture Notes in Computer Science 1893
EditedbyG.Goos,J.HartmanisandJ.vanLeeuwen
3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Singapore
Tokyo
Mogens Nielsen Branislav Rovan (Eds.)
Mathematical Foundations
of Computer Science 2000
25th International Symposium, MFCS 2000
Bratislava, Slovakia,August 28 – September 1, 2000
Proceedings
1 3
SeriesEditors
GerhardGoos,KarlsruheUniversity,Germany
JurisHartmanis,CornellUniversity,NY,USA
JanvanLeeuwen,UtrechtUniversity,TheNetherlands
VolumeEditors
MogensNielsen
UniversityofAarhus,DepartmentofComputerScience
NyMunkegade,Bldg.540,8000AarhusC,Denmark
E-mail:[email protected]
BranislavRovan
ComeniusUniversity,DepartmentofComputerSciene
84248Bratislava,Slovakia
E-mail:[email protected]
Cataloging-in-PublicationDataappliedfor
DieDeutscheBibliothek-CIP-Einheitsaufnahme
Mathematicalfoundationsofcomputerscience2000:25thinternational
symposium;proceedings/MFCS2000,Bratislava,Slovakia,August28-
September1,2000.MogensNielsen;BranislavRovan(ed.).-Berlin;
Heidelberg;NewYork;Barcelona;HongKong;London;Milan;Paris;
Singapore;Tokyo:Springer,2000
(Lecturenotesincomputerscience;Vol.1893)
ISBN3-540-67901-4
CRSubjectClassification(1998):F,G.2,D.3,C.2,I.3
ISSN0302-9743
ISBN3-540-67901-4Springer-VerlagBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare
liableforprosecutionundertheGermanCopyrightLaw.
Springer-VerlagisacompanyintheBertelsmannSpringerpublishinggroup.
©Springer-VerlagBerlinHeidelberg2000
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyPTP-Berlin,StefanSossna
Printedonacid-freepaper SPIN:10722549 06/3142 543210
Foreword
This volume contains papers selected for presentation at the Silver Jubilee 25th
Symposium on Mathematical Foundations of Computer Science | MFCS 2000,
held in Bratislava, Slovakia, August 28 { September 1, 2000.
MFCS2000wasorganizedundertheauspicesoftheMinisterofEducationof
theSlovakRepublic,MilanFta(cid:19)(cid:20)cnik,bytheSlovakSocietyforComputerScience,
and the Comenius University in Bratislava, in cooperation with other instituti-
ons in Slovakia. It was supported by the European Association for Theoretical
Computer Science, the European Research Consortium for Informatics and Ma-
thematics, and the Slovak Research Consortium for Informatics and Mathema-
tics.
The series of MFCS symposia, organized alternately in the Czech Republic,
Poland, and Slovakia since 1972, has a well-established tradition. The MFCS
symposiaencouragehigh-qualityresearchinallbranchesoftheoreticalcomputer
science. Their broad scope provides an opportunity of bringing together specia-
lists who do not usually meet at specialized conferences. The previous meetings
took place in Jablonna, 1972; S(cid:20)trbsk(cid:19)e Pleso, 1973; Jadwisin, 1974; Maria(cid:19)nsk(cid:19)e
L(cid:19)azn(cid:20)e,1975;Gdan(cid:18)sk,1976;Tatranska(cid:19)Lomnica,1977;Zakopane,1978;Olomouc,
1979; Rydzina, 1980; S(cid:20)trbsk(cid:19)e Pleso, 1981; Prague, 1984; Bratislava, 1986; Car-
lsbad, 1988; Pora(cid:24)bka-Kozubnik, 1989; Banska(cid:19) Bystrica, 1990; Kazimierz Dolny,
1991; Prague, 1992; Gdan(cid:18)sk, 1993, Ko(cid:20)sice, 1994; Prague, 1995; Krako(cid:19)w, 1996;
Bratislava, 1997; Brno, 1998; and Szklarska Poreba, 1999.
The MFCS 2000 conference was accompanied by three satellite workshops
takingplaceattheweekendsprecedingandfollowingMFCS2000.ThesewereAl-
gorithmic Foundations of Communication Networks, coordinated by M. Mavro-
nicolas;NewDevelopmentsinFormalLanguagesversusComplexity,coordinated
by K.W. Wagner; and Prague Stringology Club Workshop 2000, coordinated by
B. Melichar.
The MFCS 2000 proceedings consist of 8 invited papers and 57 contribu-
ted papers. The latter were selected by the Program Committee from a total
of 147 submitted papers. The following program committee members took part
in the evaluation and selection of submitted papers (those denoted by (cid:3) took
part at the selection meeting in Bratislava on May 20{21, 2000): M. Broy (Mu-
nich), J. D(cid:19)(cid:16)az (Barcelona), R. Freivalds (Riga), Z. Fu¨lo¨p(cid:3) (Szeged), G. Gott-
lob (Vienna), B. Jonsson (Uppsala), J. Karhuma¨ki(cid:3) (Turku), L. Kari (Lon-
don, Ontario), D. Kozen (Ithaca), M. K(cid:20)ret(cid:19)(cid:16)nsky(cid:19)(cid:3) (Brno), C. March(cid:19)e (Orsay),
A.Marchetti-Spaccamela(Rome),M.Mavronicolas(cid:3) (Nicosia),B.Monien(cid:3) (Pa-
derborn), M. Nielsen(cid:3) (Aarhus, co-chair), L. Pacholski(cid:3) (Wrocl aw), J.-E. Pin
(Paris), B. Rovan(cid:3) (Bratislava, chair), J. Rutten(cid:3) (Amsterdam), P. Ru(cid:20)zi(cid:20)cka(cid:3)
(Bratislava),V.Sassone(cid:3)(Catania),J.Sgall(Prague),A.Simpson(cid:3)(Edinburgh),
K. Wagner(cid:3) (Wu¨rzburg), I. Walukiewicz(cid:3) (Warsaw).
VI Foreword
Wewouldliketothankallprogramcommitteemembersfortheirmeritorious
work in evaluating the submitted papers as well as the following referees, who
assisted the program committee members:
F. Ablayev, L. Aceto, M. Alberts, G. Alford, E. Allender, H. Alt, Th. Al-
tenkirch,C.Alvarez,A.Ambainis,T.Amnell,F.d’Amore,O.Arieli,A.Arnold,
D. Aspinall, A. Atserias, J.-M. Autebert, F. Baader, M. Baaz, M. Baldamus,
P.Baldan,A.Baltag,G.Bauer,M.vonderBeeck,P.Berenbrink,M.Bernardo,
J.-C. Birget, F.S. de Boer, R. Bol, M. Bonsangue, S. Bozapalidis, J. Brad(cid:12)eld,
P. Braun, M. Breitling, L. Brim, R. Bruni, M. Bruynooghe, H. Buhrman, J.-
Y. Cai, C. Calcagno, C.S. Calude, J. Cassaigne, I. C(cid:20)erna(cid:19), M. Chrobak, C. Cir-
stea, A. Clementi, A. Condon, A. Corradini, T. Crolard, R. Crole, J. Csima,
E. Csuhaj-Varju(cid:19), A. Czumaj, M. Dakilic, M. Daley, G. Da(cid:19)nyi, R. De Nicola,
M. Dietzfelbinger, F. Drewes, J.-P. Duval, H. Ehler, S. Eidenbenz, R. Elsaes-
ser,Z.E(cid:19)sik,T.Fahle,P.Fatourou,R.Feldmann,Ch.Fermueller,J.-C.Fillia^tre,
M.Fiore,R.Focardi,L.Fortnow,D.Fridlender,D.Frigioni,C.Fritz,J.Gabarro(cid:19),
F.Gadducci,V.Ge(cid:11)ert,J.Gehring,R.Glu¨ck,Ch.Glasser,I.Gnaedig,S.Goetz,
B.Gramlich,S.Grothklags,V.Halava,A.Hall,T.Harju,J.denHartog,M.Ha-
segawa, K. Havelund, J.G. Henriksen, H. Herbelin, M. Hermann, U. Hertrampf,
Th. Hildebrandt, M. Hirvensalo, Th. Hofmeister, J. Honkala, H.J. Hoogeboom,
J. Hromkovi(cid:20)c, F. Hurtado, H. Hu¨ttel, K. Inoue, P. Iyer, P. Jan(cid:20)car, T. Jiang,
J.E.Jonker,M.Jurdzinski,T.Jurdzinski,B.Ko¨nig,S.Kahrs,J.Kaneps,J.Kari,
Z. Ka(cid:19)sa, R. Khardon, Z. Khasidashvili, E. Kieron(cid:19)ski, A. Kisielewicz, R. Kitto,
M. Kiwi, Klein, G. Kliewer, J. Koebler, B. Konikowska, S. Kosub, J. Kristo(cid:11)er-
sen, I. Kru¨ger, R. Kra(cid:19)l’ovi(cid:20)c, J. Kraj(cid:19)(cid:16)(cid:20)cek, M. Krause, A. Ku(cid:20)cera, O. Kupferman,
P.K(cid:23)urka,D.Kuske,M.Kutrib,R.Laemmel,C.Laneve,M.Latteux,Th.Lecroq,
M. Lenisa, A. Lepisto, F. Levi, L. Libkin, L. Lisovic, I. Litovsky, H. Loetz-
beyer, J. Longley, U. Lorenz, A. Lozano, R. Lueling, G. Luettgen, M.O. Mo¨ller,
J. Man(cid:20)uch, A. Maes, J. Marcinkowski, E. Mayordomo, E.W. Mayr, R. Mayr,
J. Mazoyer, M. McGettrick, W. Merkle, O. Mi(cid:19)s, M. Miculan, G. Mirkowska,
M. Mlotkowski, R. Mubarakzjanov, M. Mundhenk, A. Muscholl, W. Narasche-
wski, P. Narendran, G. Navarro, U. Nestmann, M. Nilsson, C. Nippl, D. Ni-
winski, A. Nonnengart, A. Nylen, D. von Oheimb, H.J. Ohlbach, V. van Oo-
strom, M. Parigot, R. Pendavingh, T. Petkovic, I. Petre, P. Pettersson, A. Phi-
lippou, Philipps, A. Piperno, M. Pistore, T. Plachetka, M. Pocchiola, J. Power,
R. Preis, L. Prensa, A. Pretschner, P. Pudla(cid:19)k, R. Pugliese, A. Pultr, Ch. Ro¨ckl,
P.R(cid:19)ety,J.Ramon,K.W.Regan,M.Riedel,P.Rychlikowski,Z.Sadowski,A.Sa-
lomaa, G. Salzer, R. Sandner, D. Sangiorgi, J.E. Santo, L. Santocanale, P. Sa-
vicky, B. Scha¨tz, Ch. Scheideler, T. Schickinger, B. Schieder, A.B. Schmidt,
O. Schmidt, H. Schmitz, U. Schoening, M. Schoenmakers, U.-P. Schroeder,
R. Schuler, J. Schulze, R.A.G. Seely, M. Sellmann, A.L. Selman, N. Sensen,
M. Serna, P. Sewell, H. Sezinando, A. Shokrollahi, J. Simpson, L. S(cid:20)karvada,
A.Slobodova(cid:19),O.Sokolsky,K.Spies,Z.Splawski,J.Srba,J.St(cid:20)r(cid:19)(cid:16)brna(cid:19),L.Staiger,
Th. Stauner, R. Steinbrueggen, C. Stirling, L. Stougie, H. Straubing, A. Streit,
D. Taimina, V. Terrier, P. Thanisch, P.S. Thiagarajan, Th. Thierauf, W. To-
manik, J. Toran, T. Truderung, E. Ukkonen, P. Valtr, Gy. Vaszil, H. Veith,
Foreword VII
B. Victor, L. Vigano(cid:18), J. Vogel, S. Vogel, H. Vollmer, S. Vorobyov, R. Wanka,
O. Watanabe, M. Wenzel, P. Widmayer, T. Wierzbicki, T. Wilke, G. Winskel,
G. Woeginger, R. de Wolf, U. Wolter, J. Worrell, D. Wotschke, W. Zielonka.
Being the editors of these proceedings we are much indebted to all contri-
butors to the scienti(cid:12)c program of the symposium, especially to the authors of
papers. Special thanks go to those authors who prepared the manuscripts ac-
cording to the instructions and made life easier for us. We would also like to
thank those who responded promptly to our requests for minor modi(cid:12)cations
and corrections in their manuscript. Our special thanks belong to Miroslav Ch-
ladny(cid:19) who designed (and manned) the database and electronic support for the
Program Committee and who did most of the hard technical work in preparing
this volume. We are also thankful to the members of the Organizing Committee
who made sure that the conference ran smoothly in a pleasant environment.
Last but not least we want to thank Springer-Verlag for excellent co-operation
in publication of this volume.
June 2000 Mogens Nielsen, Branislav Rovan
Silver Jubilee
25th MFCS Conference
(cid:6)
MFCS 2000
Organized under the auspices of
the Minister of Education of the Slovak Republic Milan Fta(cid:19)(cid:20)cnik
by
Slovak Society for Computer Science
Faculty of Mathematics and Physics, Comenius University, Bratislava
Supported by
European Association for Theoretical Computer Science
European Research Consortium for Informatics and Mathematics
Slovak Research Consortium for Informatics and Mathematics
European Research Consortium
Efor InfoRrmatics Cand MaIthemMatics
(cid:3)
SRCIM
Telenor Slovakia providedInternetconnectiontotheconferencesiteandhosted
the MFCS 2000 web page.
Program Committee
M. Broy (Munich), J. D(cid:19)(cid:16)az (Barcelona), R. Freivalds (Riga), Z. Fu¨lo¨p (Szeged),
G. Gottlob (Vienna), B. Jonsson (Uppsala), J. Karhuma¨ki (Turku), L. Kari
(London,Ontario),D.Kozen(Ithaca),M.K(cid:20)ret(cid:19)(cid:16)nsky(cid:19)(Brno),C.March(cid:19)e(Orsay),
A.Marchetti-Spaccamela(Rome),M.Mavronicolas(Nicosia),B.Monien(Pader-
born),M.Nielsen(Aarhus,co-chair),L.Pacholski(Wrocl aw),J.-E.Pin(Paris),
B. Rovan (Bratislava, chair), J. Rutten (Amsterdam), P. Ru(cid:20)zi(cid:20)cka (Bratislava),
V. Sassone (Catania), J. Sgall (Prague), A. Simpson (Edinburgh), K. Wagner
(Wu¨rzburg), I. Walukiewicz (Warsaw)
Organizing Committee
Martin Be(cid:20)cka, Miroslav Chladny(cid:19), Rastislav Graus, Vanda Hamba(cid:19)lkova(cid:19), Zuzana
Kubincova(cid:19), Martin Neh(cid:19)ez, Marek Nagy, Dana Pardubska(cid:19) (vice-chair), Edita
Ri(cid:20)c(cid:19)anyova(cid:19), Branislav Rovan (chair)
Table of Contents
Invited Talks
Region Analysis and a (cid:25)-Calculus with Groups :::::::::::::::::::::::: 1
Silvano Dal Zilio and Andrew D. Gordon
Abstract Data Types in Computer Algebra:::::::::::::::::::::::::::: 21
James H. Davenport
What Do We Learn from Experimental Algorithmics? :::::::::::::::::: 36
Camil Demetrescu and Giuseppe F. Italiano
And/Or Hierarchies and Round Abstraction::::::::::::::::::::::::::: 52
Radu Grosu
Computational Politics: Electoral Systems::::::::::::::::::::::::::::: 64
Edith Hemaspaandra and Lane A. Hemaspaandra
0-1 Laws for Fragments of Existential Second-Order Logic: A Survey ::::: 84
Phokion G. Kolaitis and Moshe Y. Vardi
On Algorithms and Interaction :::::::::::::::::::::::::::::::::::::: 99
Jan van Leeuwen and Ji(cid:20)r(cid:19)(cid:16) Wiedermann
On the Use of Duality and Geometry in Layouts for ATM Networks :::::: 114
Shmuel Zaks
Contributed Papers
On the Lower Bounds for One-Way Quantum Automata :::::::::::::::: 132
Farid Ablayev and Aida Gainutdinova
Axiomatizing Fully Complete Models for ML Polymorphic Types :::::::: 141
Samson Abramsky and Marina Lenisa
Measure Theoretic Completeness Notions for the Exponential
Time Classes :::::::::::::::::::::::::::::::::::::::::::::::::::::: 152
Klaus Ambos-Spies
Edge-Bisection of Chordal Rings ::::::::::::::::::::::::::::::::::::: 162
Lali Barri(cid:18)ere and Josep Fa(cid:18)brega
Equation Satis(cid:12)ability and Program Satis(cid:12)ability for Finite Monoids ::::: 172
David Mix Barrington, Pierre McKenzie, Cris Moore, Pascal Tesson,
and Denis Th(cid:19)erien