Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Blum_axioms> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples per page.
- Blum_axioms abstract "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).".
- Blum_axioms wikiPageID "2392005".
- Blum_axioms wikiPageLength "3818".
- Blum_axioms wikiPageOutDegree "21".
- Blum_axioms wikiPageRevisionID "678367190".
- Blum_axioms wikiPageWikiLink Axiom.
- Blum_axioms wikiPageWikiLink Axioms.
- Blum_axioms wikiPageWikiLink Blums_speedup_theorem.
- Blum_axioms wikiPageWikiLink Boolean-valued_function.
- Blum_axioms wikiPageWikiLink Category:Mathematical_axioms.
- Blum_axioms wikiPageWikiLink Category:Structural_complexity_theory.
- Blum_axioms wikiPageWikiLink Complexity_class.
- Blum_axioms wikiPageWikiLink Computable_function.
- Blum_axioms wikiPageWikiLink Computational_complexity_theory.
- Blum_axioms wikiPageWikiLink Domain_(mathematics).
- Blum_axioms wikiPageWikiLink Domain_of_a_function.
- Blum_axioms wikiPageWikiLink Gap_theorem.
- Blum_axioms wikiPageWikiLink Gödel_numbering.
- Blum_axioms wikiPageWikiLink Halting_problem.
- Blum_axioms wikiPageWikiLink Indicator_function.
- Blum_axioms wikiPageWikiLink Manuel_Blum.
- Blum_axioms wikiPageWikiLink Model_of_computation.
- Blum_axioms wikiPageWikiLink Partial_computable_function.
- Blum_axioms wikiPageWikiLink Recursive_language.
- Blum_axioms wikiPageWikiLink Total_computable_function.
- Blum_axioms wikiPageWikiLink Turing_machine.
- Blum_axioms wikiPageWikiLink Universal_Turing_machine.
- Blum_axioms wikiPageWikiLinkText "Blum axioms".
- Blum_axioms wikiPageWikiLinkText "abstract (Blum) complexity measure".
- Blum_axioms wikiPageWikiLinkText "axioms".
- Blum_axioms hasPhotoCollection Blum_axioms.
- Blum_axioms wikiPageUsesTemplate Template:Reflist.
- Blum_axioms subject Category:Mathematical_axioms.
- Blum_axioms subject Category:Structural_complexity_theory.
- Blum_axioms hypernym Axioms.
- Blum_axioms type Concept.
- Blum_axioms comment "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).".
- Blum_axioms label "Blum axioms".
- Blum_axioms sameAs ブラムの公理.
- Blum_axioms sameAs Axiomas_de_Blum.
- Blum_axioms sameAs m.078rp0.
- Blum_axioms sameAs Аксиомы_Блюма.
- Blum_axioms sameAs Q4059945.
- Blum_axioms sameAs Q4059945.
- Blum_axioms wasDerivedFrom Blum_axioms?oldid=678367190.
- Blum_axioms isPrimaryTopicOf Blum_axioms.