Blum axioms
http://dbpedia.org/resource/Blum_axioms an entity of type: WikicatMathematicalAxioms
Στην θεωρία υπολογιστικής πολυπλοκότητας τα αξιώματα Μπλουμ ή αξιώματα πολυπλοκότητας Μπλουμ είναι τα αξιώματα που καθορίζουν επιθυμητές ιδιότητες των μέτρων πολυπλοκότητας για το σύνολο των υπολογίσιμων συναρτήσεων. Τα αξιώματα ορίστηκαν πρώτα από τον Εμάνουελ Μπλουμ , το 1967. Κυρίως, τα θεωρήματα της Επιτάχυνσης και του Κενού θεωρήματα ισχύουν για οποιοδήποτε μέτρο πολυπλοκότητας που ικανοποιεί τα αξιώματα. Τα πιο γνωστά μέτρα που ικανοποιούν τα αξιώματα είναι εκείνα του χρόνου (δηλαδή, τρέχοντος χρόνου) και του χώρου (δηλαδή, τη χρήση της μνήμης).
rdf:langString
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).
rdf:langString
計算複雑性理論におけるブラムの公理（ブラムのこうり、英: Blum axioms）またはブラムの複雑性公理とは、計算可能関数の集合上の複雑性測度の満たすべき性質を述べた公理である。この公理はマヌエル・ブラムによって1967年に導入された。 重要な結果として、公理を満たす任意の複雑性測度でブラムの加速定理とギャップ定理が成り立つことが知られる。公理を満たす測度として最もよく知られているものとしては時間複雑性と空間複雑性がある。
rdf:langString
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).
rdf:langString
В теории сложности вычислений аксиомы Блюма — это аксиомы, которые определяют свойства мер сложности на множестве вычислимых функций. Впервые эти аксиомы были сформулированы Мануэлем Блюмом в 1967 году. Важным является тот факт, что и теорема Блюма об ускорении, и теорема о промежутке верны для любых мер сложности, удовлетворяющих этим аксиомам. Наиболее известными примерами таких мер являются время выполнения (TIME) и объём используемой памяти (SPACE).
rdf:langString
布魯姆公理（英語：Blum Axioms），或稱布魯姆複雜度公理（英語：Blum Complexity Axioms），是計算複雜性理論中，定義可計算函數的複雜度時，應滿足的條件。這些公理最先由曼紐爾·布魯姆於1967年提出。 重要的是，只要複雜度衡量滿足這些公理，布盧姆加速定理和間隙定理就成立。滿足這些公理的複雜度衡量裡，最有名的是有關時間（見時間複雜度）和空間（見空間複雜度）的複雜度。
rdf:langString
rdf:langString
Αξιώματα Μπλουμ
rdf:langString
Blum axioms
rdf:langString
ブラムの公理
rdf:langString
Axiomas de Blum
rdf:langString
Аксиомы Блюма
rdf:langString
布盧姆公理
xsd:integer
2392005
xsd:integer
1037877851
rdf:langString
Στην θεωρία υπολογιστικής πολυπλοκότητας τα αξιώματα Μπλουμ ή αξιώματα πολυπλοκότητας Μπλουμ είναι τα αξιώματα που καθορίζουν επιθυμητές ιδιότητες των μέτρων πολυπλοκότητας για το σύνολο των υπολογίσιμων συναρτήσεων. Τα αξιώματα ορίστηκαν πρώτα από τον Εμάνουελ Μπλουμ , το 1967. Κυρίως, τα θεωρήματα της Επιτάχυνσης και του Κενού θεωρήματα ισχύουν για οποιοδήποτε μέτρο πολυπλοκότητας που ικανοποιεί τα αξιώματα. Τα πιο γνωστά μέτρα που ικανοποιούν τα αξιώματα είναι εκείνα του χρόνου (δηλαδή, τρέχοντος χρόνου) και του χώρου (δηλαδή, τη χρήση της μνήμης).
rdf:langString
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).
rdf:langString
計算複雑性理論におけるブラムの公理（ブラムのこうり、英: Blum axioms）またはブラムの複雑性公理とは、計算可能関数の集合上の複雑性測度の満たすべき性質を述べた公理である。この公理はマヌエル・ブラムによって1967年に導入された。 重要な結果として、公理を満たす任意の複雑性測度でブラムの加速定理とギャップ定理が成り立つことが知られる。公理を満たす測度として最もよく知られているものとしては時間複雑性と空間複雑性がある。
rdf:langString
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).
rdf:langString
В теории сложности вычислений аксиомы Блюма — это аксиомы, которые определяют свойства мер сложности на множестве вычислимых функций. Впервые эти аксиомы были сформулированы Мануэлем Блюмом в 1967 году. Важным является тот факт, что и теорема Блюма об ускорении, и теорема о промежутке верны для любых мер сложности, удовлетворяющих этим аксиомам. Наиболее известными примерами таких мер являются время выполнения (TIME) и объём используемой памяти (SPACE).
rdf:langString
布魯姆公理（英語：Blum Axioms），或稱布魯姆複雜度公理（英語：Blum Complexity Axioms），是計算複雜性理論中，定義可計算函數的複雜度時，應滿足的條件。這些公理最先由曼紐爾·布魯姆於1967年提出。 重要的是，只要複雜度衡量滿足這些公理，布盧姆加速定理和間隙定理就成立。滿足這些公理的複雜度衡量裡，最有名的是有關時間（見時間複雜度）和空間（見空間複雜度）的複雜度。
xsd:nonNegativeInteger
2736