布魯姆測度

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

布魯姆測度(Blum measure)亦稱複雜性測度或抽象複雜性測度.依布魯姆公理確定的一種抽象複雜性測度.設}_ }};};E},為一元部分遞歸函式列.若中滿足布魯姆公理,則稱中為一個布魯姆測度.其中的每個函式中稱為計步函式,或複雜性函式,或價值函式.布魯姆測度是從各種具體的計算複雜性測度中抽象出來的一個概念.例如,若令};(n和}', (n)分別表示圖靈機M在輸人n後的計算步數及所用到的單元數,則它們都是布魯姆測度.實際上,布魯測度反映了各種具體的複雜性測度的最基本的共性‘值得指出的是,第一,布魯姆的兩條公理是互相獨立的,第二,布魯姆測度與任何一種具體的計算模型無關;第三,由於布魯姆測度有極大的一般性,可能會帶來一些不自然現象,即有些布魯姆測度看起來不像“複雜性測度”.例如中為一個布魯姆測度,i。為某個遞歸函式的固定下標,令

布魯姆測度

相關詞條

熱門詞條

聯絡我們