Blum axioms

Blum axioms
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Blum_axioms".

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

Importantly, the Speedup and Gap theorems 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).

content

1 Definitions
- 1.1 Notes
- 1.2 Examples
2 Complexity classes
3 References

Definitions

A Blum complexity measure is a tuple $(\varphi, \Phi)$ with $\varphi$ a Gödel numbering of the partial computable functions $\mathbf{P}^{(1)}$ and a computable function

$\Phi: \mathbb{N} \to \mathbf{P}^{(1)}$

which satisfies the following Blum axioms. We write $\varphi_i$ for the i-th partial computable function under the Gödel numbering $\varphi$ , and $Φ i$ for the partial computable function $Φ(i)$ .

the domain of $\varphi_i$ and the domain of $Φ i$ is identical.
the set $\{(i,x,t) \in \mathbb{N}^3 | \Phi_i(x) = t\}$ is recursive

Notes

A Blum complexity measure is defined using computable functions without any reference to a specific model of computation. In order to make the definition more accessible we rephrase the Blum axioms in terms of Turing machines:

A Blum complexity measure is a function $Φ$ from pairs (Turing machine $M$ , input $x$ to $M$ ) to the natural numbers union infinity. Furthermore, $Φ$ should satisfy the following axioms:

$Φ(M, x)$ is finite if and only if $M (x)$ halts
There is an algorithm which, on input $(M, x, n)$ decides if $Φ(M, x) = n$

For example, suppose $Φ(M, x)$ gives the number of time steps that the machine M runs for on input x before halting. The first axiom is clear; the second follows because a universal Turing machine can simulate M on x while counting its steps. If M exceeds n steps, it can halt and reject, so there is no need to determine if M halts on x.

Examples

$(\varphi, \Phi)$ is a complexity measure, if $Φ$ is either the time or the memory (or some suitable combination thereof) required for the computation coded by i.
$(\varphi, \varphi)$ is not a complexity measure, since it fails the second axiom.

Complexity classes

For a total computable function $f$ complexity classes of computable functions can be defined as

$C(f) := \{ \varphi_i \in \mathbf{P}^{(1)} | \forall x \Phi_i(x) \leq f(x) \}$

$C^0(f) := \{ h \in C(f) | \mathrm{codom}(h) \subseteq \{0,1\} \}$

$C (f)$ is the set of all computable functions with a complexity less than $f$ . $C 0 (f)$ is the set of all boolean-valued functions with a complexity less than $f$ . If we consider those functions as indicator functions on sets, $C 0 (f)$ can be thought of as a complexity class of sets.

References

M. Blum. "A machine-independent theory of the complexity of recursive functions". Journal of the ACM, 14(2):322 336, 1967.

Your Ad Here

Contents

Definitions

Notes

Examples

Complexity classes

References