๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

The Graph Isomorphism Problem: Its Structural Complexity

โœ Scribed by Johannes Kรถbler, Uwe Schรถning, Jacobo Torรกn (auth.)


Publisher
Birkhรคuser Basel
Year
1993
Tongue
English
Leaves
167
Series
Progress in Theoretical Computer Science
Edition
1
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis


Recently, a variety ofresults on the complexitystatusofthegraph isomorphism problem has been obtained. These results belong to the so-called structural part of Complexity Theory. Our idea behind this book is to summarize such results which might otherwise not be easily accessible in the literature, and also, to give the reader an understanding of the aims and topics in Structural Complexity Theory, in general. The text is basically self contained; the only prerequisite for reading it is some elementary knowledge from Complexity Theory and Probability Theory. It can be used to teach a seminar or a monographic graduate course, but also parts of it (especially Chapter 1) provide a source of examples for a standard graduate course on Complexity Theory. Many people have helped us in different ways III the process of writing this book. Especially, we would like to thank V. Arvind, R.V. Book, E. Mayยญ ordomo, and the referee who gave very constructive comments. This book project was especially made possible by a DAAD grant in the "Acciones Inยญ tegrada" program. The third author has been supported by the ESPRIT project ALCOM-II.

โœฆ Table of Contents


Front Matter....Pages i-vii
Introduction....Pages 1-4
Preliminaries....Pages 5-10
Decision Problems, Search Problems, and Counting Problems....Pages 11-50
Quantifiers, Games, and Interactive Proofs....Pages 51-90
Circuits and Sparse Sets....Pages 91-116
Counting Properties....Pages 117-148
Back Matter....Pages 149-160

โœฆ Subjects


Math Applications in Computer Science; Applications of Mathematics; Combinatorics; Algorithm Analysis and Problem Complexity; Computational Mathematics and Numerical Analysis


๐Ÿ“œ SIMILAR VOLUMES


The Graph Isomorphism Problem: Its Struc
โœ Koebler J., Schoening U., Toran J ๐Ÿ“‚ Library ๐Ÿ“… 1993 ๐Ÿ› Birkhรคuser ๐ŸŒ English

Recently, a variety ofresults on the complexitystatusofthegraph isomorphism problem has been obtained. These results belong to the so-called structural part of Complexity Theory. Our idea behind this book is to summarize such results which might otherwise not be easily accessible in the literature,

The Computational Complexity of Equivale
โœ Thomas Thierauf (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 2000 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p>A computational model is a framework for doing computations according to certain specified rules on some input data. These models come for example from automata theory, formal language theory, logic, or circuit theory. The computational power of such a model can be judged by evaluating certain pr

The Computational Complexity of Equivale
โœ Thomas Thierauf (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 2000 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p>A computational model is a framework for doing computations according to certain specified rules on some input data. These models come for example from automata theory, formal language theory, logic, or circuit theory. The computational power of such a model can be judged by evaluating certain pr