Gap theorem

: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. 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 and Allan Borodin. 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.

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. 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 and Allan Borodin. 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. In general, any total computable function t defines some \operatorname{TIME}(t(n)) time complexity class, and we expect that if t'(n) is much larger than t(n) , for all n , then \operatorname{TIME}(t'(n)) should be larger than \operatorname{TIME}(t(n)) . The gap theorem states that this is not necessarily so. Indeed, for any total computable g such that g(n) > n for all n , there exists some total computable function t , such that \operatorname{TIME}(t(n)) = \operatorname{TIME}(g(t(n))) . Intuitively, adding compute time might not allow us to compute more functions. More generally, suppose is an abstract (Blum) complexity measure, then for any total computable function for which g(x) \geq x for every , there is a total computable function such that with respect to , the complexity classes with boundary functions and g \circ t are identical. for any total computable function g : \, \omega \,\to\, \omega such that g(x) \geq x for all , there exists a time bound T(n) such that \mathsf{DTIME}(g(T(n))) = \mathsf{DTIME}(T(n)) . Similarly for the special case of space complexity. Because the bound may be very large (and often will be nonconstructible) the gap theorem does not imply anything interesting for complexity classes such as P or NP, and it does not contradict the time hierarchy theorem or space hierarchy theorem.

Text derived from https://en.wikipedia.org/w/index.php?oldid=1324426176 under CC BY-SA 4.0; modifications have been made.