There are arbitrarily large computable gaps in the hierarchy of complexity classes
See also Gap theorem (disambiguation) for other gap theorems in mathematics.
In computational complexity theory, the Gap Theorem, also known as the Borodin–Trakhtenbrot Gap Theorem, is a major theorem about the complexity of computable functions.[1]
It essentially states that there are arbitrarily large computable gaps in the hierarchy of complexity classes. For any computable function that represents an increase in computational resources, one can find a resource bound such that the set of functions computable within the expanded resource bound is the same as the set computable within the original bound.
The theorem was proved independently by Boris Trakhtenbrot[2] and Allan Borodin.[3][4]
Although Trakhtenbrot's derivation preceded Borodin's by several years, it was not known nor recognized in the West until after Borodin's work was published.
^Fortnow, Lance; Homer, Steve (June 2003). "A Short History of Computational Complexity" (PDF). Bulletin of the European Association for Theoretical Computer Science (80): 95–133. Archived from the original (PDF) on 2005-12-29.
^Trakhtenbrot, Boris A. (1967). The Complexity of Algorithms and Computations (Lecture Notes). Novosibirsk University.
^Borodin, Allan (1969). "Complexity classes of recursive functions and the existence of complexity gaps". In Fischer, Patrick C.; Ginsburg, Seymour; Harrison, Michael A. (eds.). Proceedings of the 1st Annual ACM Symposium on Theory of Computing, May 5–7, 1969, Marina del Rey, CA, USA. Association for Computing Machinery. pp. 67–78.
^Borodin, Allan (January 1972). "Computational complexity and the existence of complexity gaps". Journal of the ACM. 19 (1): 158–174. doi:10.1145/321679.321691. hdl:1813/5899.
See also Gaptheorem (disambiguation) for other gaptheorems in mathematics. In computational complexity theory, the GapTheorem, also known as the Borodin–Trakhtenbrot...
power series is called lacunary. This theorem has been substantially generalized by Eugen Fabry (see Fabry's gaptheorem) and George Pólya. Let f ( z ) = ∑...
Fabry gaptheorem is a result about the analytic continuation of complex power series whose non-zero terms are of orders that have a certain "gap" between...
cartridge Gaptheorem (disambiguation) Gaps (disambiguation) The Gap (disambiguation) This disambiguation page lists articles associated with the title Gap. If...
higher number. (The Weierstrass gaptheorem or Lückensatz is the statement that there must be g {\displaystyle g} gaps.) For hyperelliptic curves, for...
approximation Low-discrepancy sequence Dirichlet's approximation theorem Three-gaptheorem P. Bohl, (1909) Über ein in der Theorie der säkularen Störungen...
concrete results like the compression theorem, the gaptheorem, the honesty theorem and the Blum speedup theorem. Some of his other work includes a protocol...
which λk grows this quickly is said to contain Hadamard gaps. See Ostrowski–Hadamard gaptheorem. Mathematicians have also investigated the properties of...
In geometry, the hyperplane separation theorem is a theorem about disjoint convex sets in n-dimensional Euclidean space. There are several rather similar...
inclusive of further developments of the concept. For instance, the three-gaptheorem implies that every generated collection has at most three different steps...
intermediate value theorem does not apply to the rational numbers Q because gaps exist between rational numbers; irrational numbers fill those gaps. For example...
ISBN 978-0-538-73758-6. Dudley 1978, Section 2, Theorem 2, p. 16; Neale, Vicky (2017). Closing the Gap: The Quest to Understand Prime Numbers. Oxford University...
t_{i}} . The theorem can be applied to show that complexity classes like P are well-defined. Together with the speedup theorem, the gaptheorem and the time...
These theorems belong to a larger class of duality theorems in optimization. The strong duality theorem is one of the cases in which the duality gap (the...
of mental calculation Boris Trakhtenbrot, proved the Gaptheorem, developed Trakhtenbrot's theorem Valentin Turchin, inventor of Refal programming language...