The Role of Relativization in Complexity Theory
@article{Fortnow1994TheRO, title={The Role of Relativization in Complexity Theory}, author={Lance Fortnow}, journal={Bull. EATCS}, year={1994}, volume={52}, pages={229-243} }
Several recent nonrelativizing results in the area of interactive proofs have caused many people to review the importance of relativization. In this paper we take a look at how complexity theorists use and misuse oracle results. We pay special attention to the new interactive proof systems and program checking results and try to understand why they do not relativize. We give some new results that may help us to understand these questions better.
88 Citations
Relativizing versus Nonrelativizing Techniques: The Role of Local Checkability
- Computer Science
- 1992
It is concluded that relativization techniques cannot prove any meaningful restrictions on the power of the principle of local checkability, which is a known proof technique in complexity theory.
Measure One Results in Computational Complexity Theory
- Computer ScienceAdvances in Algorithms, Languages, and Complexity
- 1997
The examination of relativized complexity theoretic statements which hold for a measure one set of oracles in the measure defined by putting each string into the oracle with probability 1/2 independent of all other strings (a formal definition is given below).
An axiomatic approach to algebrization
- Computer Science, MathematicsSTOC '09
- 2009
An axiomatic approach to "algebrization", which complements and clarifies the approaches of [For94] and [AW08], and presents logical theories formalizing the notion of algebrizing techniques in the following sense.
On Complete Problems, Relativizations and Logics for Complexity Classes
- MathematicsFields of Logic and Computation
- 2010
The question of whether there is a logic capturing P is subject to a relativization barrier is examined and how the question for P differs from those for the other classes by taking a short tour through relativizations, complete problems and recursive enumerations of complexity classes.
Algebrization: A New Barrier in Complexity Theory
- Mathematics, Computer ScienceTOCT
- 2009
This article systematically goes through basic results and open problems in complexity theory to delineate the power of the new algebrization barrier, and shows that almost all of the major open problems---including P versus NP, P versus RP, and NEXP versus P/poly---will require non-algebrizing techniques.
Lecture on Relativization
- Mathematics
- 2008
The main result of this lecture is to show the existence of oracles A,B such that P = NP while P 6= NP . A fancy way of expressing this is to say that the P vs. NP question has contradictory…
Nondeterministic Polynomial Time versus Nondeterministic Logartithmic Space
- Computer Science, Mathematics
- 1996
The possibility of using the relatively old technique of diagonalization to separate complexity classes, in particular NL from NP, is discussed and several results in this direction are shown.
Nonrelativizing separations
- MathematicsProceedings. Thirteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) (Cat. No.98CB36247)
- 1998
It is shown that MA/sub EXP/, the exponential time version of the Merlin-Arthur class, does not have polynomial size circuits and is the first separation result in complexity theory that does not relativize.
Efficient Holographic Proofs
- Computer Science, Mathematics
- 1996
It is shown that the recharacterizations of PSPACE in this framework are lamentably unstable, reinforcing the belief that the framework of relativization is incompatible with these new techniques.
References
SHOWING 1-10 OF 51 REFERENCES
Relativizing versus Nonrelativizing Techniques: The Role of Local Checkability
- Computer Science
- 1992
It is concluded that relativization techniques cannot prove any meaningful restrictions on the power of the principle of local checkability, which is a known proof technique in complexity theory.
On the Power of Multi-Prover Interactive Protocols
- Computer Science, MathematicsTheor. Comput. Sci.
- 1994
E-mail and the unexpected power of interaction
- Computer ScienceProceedings Fifth Annual Structure in Complexity Theory Conference
- 1990
The LFKN protocol, interactive proofs, complexity classes, relativized separation, arithmetization of Boolean formulas, program verification, multiple provers, circuit reductions and publishable…
Separability and One-Way Functions
- MathematicsISAAC
- 1994
The first widespread use of variations of generic oracles to achieve the necessary relativized worlds is made.
PP is closed under intersection
- Computer ScienceSTOC '91
- 1991
It is shown that PP is closed under a variety of polynomial-time truth-table reductions and in complexity theory include the definite collapse and (assuming P ? PP) separation of certain query hierarchies over PP.
Some Observations about Relativization of Space Bounded Computations
- MathematicsCurrent Trends in Theoretical Computer Science
- 1993
In this column we explore what relativization says about space bounded computations and what recent results about space bounded computations say about relativization. There is a strong belief in…
On oracle builder's toolkit
- Computer Science[1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference
- 1993
It is shown how to use various notions of genericity as a tool in oracle creation. A general framework for defining different types of generic sets in terms of arithmetic forcing is given. A number…
The complexity of theorem-proving procedures
- Mathematics, Computer ScienceSTOC
- 1971
It is shown that any recognition problem solved by a polynomial time-bounded nondeterministic Turing machine can be “reduced” to the problem of determining whether a given propositional formula is a…