Skip to main content

1988 | Buch

Structural Complexity I

verfasst von: Dr. José Luis Balcázar, Prof. Josep Díaz, Dr. Joaquim Gabarró

Verlag: Springer Berlin Heidelberg

Buchreihe : Monographs in Theoretical Computer Science. An EATCS Series

insite
SUCHEN

Über dieses Buch

Since the achievement of a fonnal definition of the concept of "algorithm", the Mathematical Theory of Computation has developed into a broad and rich discipline. The notion of "complexity of an algorithm" yields an important area of research, known as Complexity Theory, that can be approached from several points of view. Some of these are briefly discussed in the Introduction and, in particular, our view of the "Structural" approach is outlined there. We feel the subject is mature enough to permit collecting and interrelating many of the results in book fonn. Let us point out that a substantial part of the knowledge in Structural Complexity Theory can be found only in specialized journals, symposia proceedings, and monographs like doctoral dissertations or similar texts, mostly unpublished. We believe that a task to be done soon is a systematization of the interconnections between all the research lines; this is a serious and long task. We hope that the two volumes of this book can serve as a starting point for this systematization process.

Inhaltsverzeichnis

Frontmatter
Introduction
Abstract
In its most general sense, Complexity Theory encompasses several quite different approaches. All of them have in common two characteristics, which can be considered as a general definition of the field: first, they study algorithms and the problems solved by them; second, they focus on the computational resources required by these algorithms.
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
1. Basic Notions About Models of Computation
Abstract
The aim of this chapter is to define many concepts that the reader is assumed to know, mainly in order to fix our notation. We present here some concepts of formal languages, set theoretic operations and relations, boolean formulas, and several models of computation, such as finite automata and the different versions of Turing machines: deterministic, nondeterministic, and oracle Turing machines.
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
2. Time and Space Bounded Computations
Abstract
We present here, in a survey style, the basic concepts and theorems about complexity classes. These classes are defined by imposing bounds on the time and the space used by the different models of Turing machines. Remember once more that the aim of this book is the study of structural properties of sets and classes of sets, and that these first two chapters are included for the sake of completeness. Readers interested in pursuing the specific topics treated in these two chapters are referred to the books indicated in the bibliographical remarks.
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
3. Central Complexity Classes
Abstract
In this chapter we present some of the ground work for the following chapters. We define the basic concepts of complexity theory, and prove the basic facts about them. Most of the concepts and results can be found in some other textbooks, although several proofs are presented in a different form. A substantial part of the remaining chapters will depend heavily on the notation and the results presented in this one.
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
4. Time Bounded Turing Reducibilities
Abstract
After introducing the polynomial time m-reducibility and the logarithmic space m-reducibility in Chapter 3, in this chapter we shall introduce other types of reducibilities and related considerations, like the properties of sets of low density and the concept of self-reducible set.
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
5. Nonuniform Complexity
Abstract
The complexity measures and the classes introduced so far are intrinsically algorithmic. Our interest is in the amount of resources used by the algorithms solving the problems. But any finite set can be recognized in constant time and zero work space by a deterministic finite automaton; therefore, measuring the amount of resources is meaningless when considering only finite sets. The “intrinsically algorithmic” approach makes sense only when dealing with infinite sets.
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
6. Probabilistic Algorithms
Abstract
In recent times, probabilistic methods have become increasingly used in the design and analysis of algorithms. On the one hand, they have been applied to the analysis of the average case complexity of deterministic exact or approximate algorithms. On the other hand, (pseudo-)random number generators can be incorporated into an algorithm, in such a way that the algorithm will answer correctly with a reasonably high probability. These are called probabilistic, or randomized, algorithms.
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
7. Uniform Diagonalization
Abstract
This chapter presents a powerful technique for proving the existence of certain types of “diagonal” recursive sets: the Uniform Diagonalization Theorem. It allows one to prove the existence of non-complete sets in NP − P, provided that P ≠ NP. We will show also, using this theorem, that under the same hypothesis infinite hierarchies of incomparable sets (with respect to polynomial time reducibilities) exist in NP − P. This theorem allows the original proofs of these results to be considerably simplified, and we will use it later to translate the results to other complexity classes.
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
8. The Polynomial Time Hierarchy
Abstract
In the previous chapter, we have seen that under the hypothesis P ≠ NP there are “hierarchies” of incomparable sets between P and the NP-complete sets. In this section we are going to study a very different kind of hierarchy between P and PSPACE: the polynomial time hierarchy.
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
Backmatter
Metadaten
Titel
Structural Complexity I
verfasst von
Dr. José Luis Balcázar
Prof. Josep Díaz
Dr. Joaquim Gabarró
Copyright-Jahr
1988
Verlag
Springer Berlin Heidelberg
Electronic ISBN
978-3-642-97062-7
Print ISBN
978-3-642-97064-1
DOI
https://doi.org/10.1007/978-3-642-97062-7