Blum axioms

（重定向自Complexity measure）

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, 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).

单词	Complexity measure
释义	Complexity measure 英语百科 Blum axioms （重定向自Complexity measure） 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, 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).
随便看	strabometer strabometer strabismus strabometry strabometry strabismus strabonic straboscopic disk strabotic strabotic strabismus strabotome strabotomies strabotomy STRAC Stracathro stracathroes Stracchino Stracchino cheese stracciatella Strach Strachan Strachan disease Strachan I. strachans strachan syndrome strache Stracher