布魯姆測度亦稱複雜性測度或抽象複雜性測度.依布魯姆公理確定的一種抽象複雜性測度.設}_ }};};E},為一元部分遞歸函式列.

布魯姆測度亦稱複雜性測度或抽象複雜性測度.依布魯姆公理確定的一種抽象複雜性測度.設}_ }};};E},為一元部分遞歸函式列.

布魯姆測度亦稱複雜性測度或抽象複雜性測度.依布魯姆公理確定的一種抽象複雜性測度.設}_ }};};E},為一元部分遞歸函式列...
布魯姆公理(Blum axioms)用以刻畫計算複雜性測度的兩條公理.它是由布魯姆(Blum , M.)於1967年引進的.設{}P,.};E。為全體一元部分遞歸函式的能行枚舉.}_ ...
計算複雜性測度(computational complexitymeasure)簡稱複雜性測度,是對計算複雜性概念的一種定量刻畫。...
有窮不變性測度(finite invariance measure)反映計算複雜性性質的一種測度.設中為一個複雜性測度,如果任何遞歸函式t,t的複雜性類}<t>在有窮變換下不變,即只要f...
相關性定理(related ness theorem)反映複雜性測度間關係的一個重要結論。...... [1] 具體地說,任何兩個布魯姆測度中和少都是遞歸相關的.也即存在遞歸...
2. }pf<,} (x) =y是一個三元可判定謂詞(即三元遞歸謂詞).則稱屍為一個度量集.例如中為一個布魯姆測度,則全體測度函式之集{};IZE}}便是一個度量集....
純正函式(honest f unction)一種特殊的部分遞歸函式.這種函式的值可以“反映”其複雜性.具體地說,設f為一元部分遞歸函式,g為二元遞歸函式,中是一個布魯姆測度,...
能行可加速函式(effectively speedable func-lion)一種可加速函式。指可能行地找到越來越好的算法的可計算函式.設g為二元遞歸函式,中-{}r}rE。為布魯姆測度.若...
