Blum axioms

Short description: Axioms in computational complexity theory

In computational complexity theory the Blum axioms or Blum complexity axioms are axioms that specify desirable properties of complexity measures on the set of computable functions. The axioms were first defined by Manuel Blum in 1967.

Importantly, Blum's speedup theorem and the Gap theorem hold for any complexity measure satisfying these axioms. The most well-known measures satisfying these axioms are those of time (i.e., running time) and space (i.e., memory usage).

Definitions

A Blum complexity measure is a pair [math]\displaystyle{ (\varphi, \Phi) }[/math] with [math]\displaystyle{ \varphi }[/math] a numbering of the partial computable functions [math]\displaystyle{ \mathbf{P}^{(1)} }[/math] and a computable function

[math]\displaystyle{ \Phi: \mathbb{N} \to \mathbf{P}^{(1)} }[/math]

which satisfies the following Blum axioms. We write [math]\displaystyle{ \varphi_i }[/math] for the i-th partial computable function under the Gödel numbering [math]\displaystyle{ \varphi }[/math], and [math]\displaystyle{ \Phi_i }[/math] for the partial computable function [math]\displaystyle{ \Phi(i) }[/math].

• the domains of [math]\displaystyle{ \varphi_i }[/math] and [math]\displaystyle{ \Phi_i }[/math] are identical.
• the set [math]\displaystyle{ \{(i,x,t) \in \mathbb{N}^3 | \Phi_i(x) = t\} }[/math] is recursive.

Examples

• [math]\displaystyle{ (\varphi, \Phi) }[/math] is a complexity measure, if [math]\displaystyle{ \Phi }[/math] is either the time or the memory (or some suitable combination thereof) required for the computation coded by i.
• [math]\displaystyle{ (\varphi, \varphi) }[/math] is not a complexity measure, since it fails the second axiom.

Complexity classes

For a total computable function [math]\displaystyle{ f }[/math] complexity classes of computable functions can be defined as

[math]\displaystyle{ C(f) := \{ \varphi_i \in \mathbf{P}^{(1)} | \forall x.\ \Phi_i(x) \leq f(x) \} }[/math]

[math]\displaystyle{ C^0(f) := \{ h \in C(f) | \mathrm{codom}(h) \subseteq \{0,1\} \} }[/math]

[math]\displaystyle{ C(f) }[/math] is the set of all computable functions with a complexity less than [math]\displaystyle{ f }[/math]. [math]\displaystyle{ C^0(f) }[/math] is the set of all boolean-valued functions with a complexity less than [math]\displaystyle{ f }[/math]. If we consider those functions as indicator functions on sets, [math]\displaystyle{ C^0(f) }[/math] can be thought of as a complexity class of sets.