The present book brings into focus the contrast between explicit and implicit algorithmic descriptions of objects. These themes are considered in a variety of settings, sometimes crossing traditional boundaries. Special emphasis is given to moderate complexity - exponential or polynomial - but objects with multi-exponential complexity also fit in. Among the items under consideration are graphs, formal proofs, languages, automata, groups, circuits, some connections with geometry of metric spaces, and complexity classes (P, NP, co-NP).

About the Author
A. Carbone, Associate Professor of Computer Science, University of Paris XII, France S. Semmes, Professor of Mathematics, Rice University, Houston, USA

Reviews
... outstanding ... The reviewer highly recommends this novel and interesting monograph. * Zentralblatt Math *
Interesting and this is certainly one of the first treatments of these problems. * EMS *



Book Information
ISBN 9780198507291
Author Alessandra Carbone
Format Hardback
Page Count 520
Imprint Oxford University Press
Publisher Oxford University Press
Weight(grams) 864g
Dimensions(mm) 242mm * 162mm * 31mm