| dbo:abstract
|
- Στην θεωρία υπολογιστικής πολυπλοκότητας τα αξιώματα Μπλουμ ή αξιώματα πολυπλοκότητας Μπλουμ είναι τα αξιώματα που καθορίζουν επιθυμητές ιδιότητες των μέτρων πολυπλοκότητας για το σύνολο των υπολογίσιμων συναρτήσεων. Τα αξιώματα ορίστηκαν πρώτα από τον Εμάνουελ Μπλουμ , το 1967. Κυρίως, τα θεωρήματα της Επιτάχυνσης και του Κενού θεωρήματα ισχύουν για οποιοδήποτε μέτρο πολυπλοκότητας που ικανοποιεί τα αξιώματα. Τα πιο γνωστά μέτρα που ικανοποιούν τα αξιώματα είναι εκείνα του χρόνου (δηλαδή, τρέχοντος χρόνου) και του χώρου (δηλαδή, τη χρήση της μνήμης). (el)
- 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). (en)
- 計算複雑性理論におけるブラムの公理（ブラムのこうり、英: Blum axioms）またはブラムの複雑性公理とは、計算可能関数の集合上の複雑性測度の満たすべき性質を述べた公理である。この公理はマヌエル・ブラムによって1967年に導入された。 重要な結果として、公理を満たす任意の複雑性測度でブラムの加速定理とギャップ定理が成り立つことが知られる。公理を満たす測度として最もよく知られているものとしては時間複雑性と空間複雑性がある。 (ja)
- Na teoria da complexidade computacional, os axiomas de Blum ou axiomas de complexidade de Blum são axiomas que especificam propriedades desejáveis de medidas de complexidade no conjunto de funções computáveis. Os axiomas foram inicialmente definidos por Manuel Blum em 1967. É importante ressaltar que os teoremas da aceleração e do intervalo se mantêm para qualquer medida de complexidade que satisfaz estes axiomas. As medidas mais conhecidas que satisfazem estes axiomas são as medidas de tempo (ou seja, tempo de execução) e espaço (ou seja, uso de memória). (pt)
- В теории сложности вычислений аксиомы Блюма — это аксиомы, которые определяют свойства мер сложности на множестве вычислимых функций. Впервые эти аксиомы были сформулированы Мануэлем Блюмом в 1967 году. Важным является тот факт, что и теорема Блюма об ускорении, и теорема о промежутке верны для любых мер сложности, удовлетворяющих этим аксиомам. Наиболее известными примерами таких мер являются время выполнения (TIME) и объём используемой памяти (SPACE). (ru)
- 布魯姆公理（英語：Blum Axioms），或稱布魯姆複雜度公理（英語：Blum Complexity Axioms），是計算複雜性理論中，定義可計算函數的複雜度時，應滿足的條件。這些公理最先由曼紐爾·布魯姆於1967年提出。 重要的是，只要複雜度衡量滿足這些公理，布盧姆加速定理和間隙定理就成立。滿足這些公理的複雜度衡量裡，最有名的是有關時間（見時間複雜度）和空間（見空間複雜度）的複雜度。 (zh)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2736 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Στην θεωρία υπολογιστικής πολυπλοκότητας τα αξιώματα Μπλουμ ή αξιώματα πολυπλοκότητας Μπλουμ είναι τα αξιώματα που καθορίζουν επιθυμητές ιδιότητες των μέτρων πολυπλοκότητας για το σύνολο των υπολογίσιμων συναρτήσεων. Τα αξιώματα ορίστηκαν πρώτα από τον Εμάνουελ Μπλουμ , το 1967. Κυρίως, τα θεωρήματα της Επιτάχυνσης και του Κενού θεωρήματα ισχύουν για οποιοδήποτε μέτρο πολυπλοκότητας που ικανοποιεί τα αξιώματα. Τα πιο γνωστά μέτρα που ικανοποιούν τα αξιώματα είναι εκείνα του χρόνου (δηλαδή, τρέχοντος χρόνου) και του χώρου (δηλαδή, τη χρήση της μνήμης). (el)
- 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). (en)
- 計算複雑性理論におけるブラムの公理（ブラムのこうり、英: Blum axioms）またはブラムの複雑性公理とは、計算可能関数の集合上の複雑性測度の満たすべき性質を述べた公理である。この公理はマヌエル・ブラムによって1967年に導入された。 重要な結果として、公理を満たす任意の複雑性測度でブラムの加速定理とギャップ定理が成り立つことが知られる。公理を満たす測度として最もよく知られているものとしては時間複雑性と空間複雑性がある。 (ja)
- Na teoria da complexidade computacional, os axiomas de Blum ou axiomas de complexidade de Blum são axiomas que especificam propriedades desejáveis de medidas de complexidade no conjunto de funções computáveis. Os axiomas foram inicialmente definidos por Manuel Blum em 1967. É importante ressaltar que os teoremas da aceleração e do intervalo se mantêm para qualquer medida de complexidade que satisfaz estes axiomas. As medidas mais conhecidas que satisfazem estes axiomas são as medidas de tempo (ou seja, tempo de execução) e espaço (ou seja, uso de memória). (pt)
- В теории сложности вычислений аксиомы Блюма — это аксиомы, которые определяют свойства мер сложности на множестве вычислимых функций. Впервые эти аксиомы были сформулированы Мануэлем Блюмом в 1967 году. Важным является тот факт, что и теорема Блюма об ускорении, и теорема о промежутке верны для любых мер сложности, удовлетворяющих этим аксиомам. Наиболее известными примерами таких мер являются время выполнения (TIME) и объём используемой памяти (SPACE). (ru)
- 布魯姆公理（英語：Blum Axioms），或稱布魯姆複雜度公理（英語：Blum Complexity Axioms），是計算複雜性理論中，定義可計算函數的複雜度時，應滿足的條件。這些公理最先由曼紐爾·布魯姆於1967年提出。 重要的是，只要複雜度衡量滿足這些公理，布盧姆加速定理和間隙定理就成立。滿足這些公理的複雜度衡量裡，最有名的是有關時間（見時間複雜度）和空間（見空間複雜度）的複雜度。 (zh)
|
| rdfs:label
|
- Αξιώματα Μπλουμ (el)
- Blum axioms (en)
- ブラムの公理 (ja)
- Axiomas de Blum (pt)
- Аксиомы Блюма (ru)
- 布盧姆公理 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
