Table Of ContentAdvances in Algorithms, Languages, and Complexity
Advances in
Algorithms, Languages,
and Complexity
edited by
Ding-Zhu Du
University of Minnesota
and
Ker-I Ko
State University of New York at Stony Brook
KLUWER ACADEMIC PUBLISHERS
DORDRECHT I BOSTON I LONDON
A C.I.P. Catalogue record for this book is available from the Library of Congress.
ISBN-I3: 978-1-4613-3396-8 e-ISBN-I3: 978-1-4613-3394-4
DO): 10.1007/978-1-4613-3394-4
Published by Kluwer Academic Publishers,
P.O. Box 17,3300 AA Oordrecht, The Netherlands.
Kluwer Academic Publishers incorporates
the publishing programmes of
D. Reidel, Martinus Nijhoff, Dr W. Junk and MTP Press.
Sold and distributed in the U.S.A. and Canada
by Kluwer Academic Publishers,
101 Philip Drive, Norwell, MA 02061, U.S.A.
In all other countries, sold and distributed
by Kluwer Academic Publishers Group,
P.O. Box 322, 3300 AH Dordrecht, The Netherlands.
Printed on acid-free paper
All Rights Reserved
© 1997 Kluwer Academic P.ublishers
Softcover reprint of the hardcover I ste dition 1997
No part of the material protected by this copyright notice may be reproduced or
utilized in any form or by any means, electronic or mechanical,
including photocopyin~, recording or by any information storage and
retrieval system, without written permission from the copyright owner.
Professor Ronald V. Book
Contents
Contributors ............................................... ix
Foreword xiii
A Summary of R.V. Book's Scientific Research ..................... xv
R.V. Book's Students and Postgraduate Research Fellows ............... XIX
List of R.V. Book's Publications ............................... xxiii
Theorem Proving in Hierarchical Clausal Specifications
J. Avenhaus, K. Madlener .................................. .
Algorithms for Learning Finite Automata from Queries: A Unified View
Jose L. Balcazar, Josep Diaz, Ricard Gavalda, Osamu Watanabe . . . . . .. 53
Coding Complexity: The Computational Complexity of Succinct Descriptions
Jose L. Balcazar, Ricard Gavaldii, Osamu Watanabe ............... 73
Homomorphic Representations of Certain Classes of Languages
Franz J. Brandenburg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 93
Block-Synchronization Context-Free Grammars
Helmut Jurgensen, Kai Salomaa .............................. 111
High Sets for NP
Johannes Kobler, Uwe Schiining . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
Average-Case Analysis Using Kolmogorov Complexity
Ming Li, Paul Vitanyi ..................................... 157
Genericity and Randomness over Feasible Probability Measures
Amy K. Lorentz, Jack H. Lutz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
Book's Impact on the Theory of Thue Systems - Abstract
Robert McNaughton ...................................... 189
vii
viii CONTENTS
Sparse Hard Sets for P
Dieter van Melkebeek, Mitsunori Ogihara ....................... 191
A Survey of Continuous-Time Computation Theory
Pekka Orponen .......................................... 209
Properties of Monoids That Are Presented by Finite Convergent
String-Rewriting Systems - A Survey
F. Otto, Y. Kobayashi ..................................... 225
Relaxed Balancing in Search Trees
Eljas Soisalon-Soininen, Peter Widmayer . ....................... 267
Measure One Results in Computational Complexity Theory
Heribert Vollmer, Klaus W. Wagner ........................... 285
Average-Case Intractable NP Problems
lie Wang .............................................. 313
Multichannel Lightwave Networks
Peng-lun Wan, Feng Cao .................................. 379
Contributors
J. Avenhaus, Universitat Kaiserslautern, Fachbereich Informatik, Postfach
3049, 67653 Kaiserslautern, Germany
E-mail: [email protected]
Jose L. Balcazar, Department oCSoftware (LSI) Universita,t Politecnica de
Catalunya. Pau Gargallo 5, E-08028 Barcelona, Spain.
E-mail: [email protected]
Franz J. Brandenburg, Lehrstuhl fur Informatik, UniversiUit Passau, D-94030
Passau, Germany
E-mail: [email protected]
Feng Cao, Department of Computer Science, University of Minnesota, Min
neapolis, MN 55455, USA.
E-mail: [email protected]. edu
Josep Dfaz, Department of Software (LSI) Universitat Politecnica de Catalunya.
Pau Gargallo 5, E-08028 Barcelona, Spain.
E-mail: [email protected]
Ricard Gavalda, Department of Software (LSI) Universitat Politecnica de
Catalunya. Pau Gargallo 5, E-08028 Barcelona, Spain.
E-mail: gavalda©lsi.upc.es
Helmut Jurgensen Department of Computer Science, University of Western
Ontario, London, Ontario N6A 5n7, Canada.
Y. Kobayashi, Department of Information Science, Faculty of Science, Toho
University, Funabashi 274, Japan.
E-mail: [email protected]
Johannes Kobler, Universitat Ulm, Abt. Theoretische Informatik, D-89069
Ulm, Germany.
E-mail: koebler©informatik.uni-ulm.de
Ming Li, Department of Computer Science, City University of Hong Kong,
Kowloon, Hong Kong and Department of Computer Science, University
of Waterloo, Waterloo, Onto N2L 3G1, Canada.
E-mail: [email protected]
Amy K. Lorentz, Color LaserJet and Consumables Division, Hewlett-Packard
Company, Boise, ID 83714, USA.
E-mail: [email protected]
ix
x CON1RIBUTORS
Jack H. Lutz, Department of Computer Science, Iowa State University, Ames,
IA 50011, U.S.A.
E-mail: lutz@cs. iastate. edu
K. Madlener, Universitat Kaiserslautern, Fachbereich Informatik, Postfach
3049, 67653 Kaiserslautern, Germany
Robert McNaughton, Department of Computer Science, Rensselaer Polytech
nic Institute, Troy, NY 12180, USA.
E-mail: [email protected]. edu
Dieter van Melkebeek, Department of Computer Scienc(\ University of Chicago,
Chicago, IL 60637, USA.
Mitsunori Ogihara, Department of Computer Science, University of Rochester,
Rochester, NY 14627, USA.
E-mail: ogihara@cs. rochester. edu
Pekka Orponen, Department of Mathematics University of Jyvaskyla, P. O.
Box 35, FIN-40351 Jyvaskyla, Finland.
E-mail: [email protected]
F. Otto, Fachbereich Mathematik/Informatik, Universitat - Gh Kassel, 34109
Kassel, Germany.
E-mail: [email protected]
Kai Salomaa, Department of Computer Science, University of Western On
tario, London, Ontario N6A 5B7, Canada.
E-mail: [email protected]
Uwe SchOning, Universitat Ulm, Abt. Theoretische Informatik, D-89069 Ulm,
Germany.
E-mail: [email protected]
Eljas Soisalon-Soininen, Laboratory ofInformation Processing Science, Helsinki
University of Technology, Otakaari 1 A, FIN-02150 Espoo, Finland.
E-mail: [email protected]
Paul Vitanyi, CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands.
Email: [email protected]
Heribert Vollmer, Theoretische Informatik, Universitat Wiirzburg, Am Ex
erzierplatz 3, D-97072 Wiirzburg, Germany.
E-mail: [email protected]
Klaus W. Wagner, Theoretische Informatik, Universitat Wiirzburg, Am Ex
erzierplatz 3, D-97072 Wiirzburg, Germany.
E-mail: [email protected]
CONTRIBUTORS xi
Peng-Jun Wan, Department of Computer Science, University of Minnesota,
Minneapolis, MN 55455, USA.
E-mail: wan<Dcs. umn. edu
Jie Wang, Department of Mathematical Sciences, University of North Carolina
at Greensboro, Greensboro, NC 27412, USA.
E-mail: wang<Duncg. edu
Osamu Watanabe, Department of Computer Science, Tokyo Institute of Tech
nology, Meguro-ku Ookayama, Tokyo 152, Japan.
E-mail: watanabe<Dcs.titech.ac.jp
Peter Widmayer, Institut fur Theoretische Informatik, ETH Zentrum, CH-
8092 Zurich, Switzerland.
E-mail: widmayer<Dinf.ethz.ch
