複雜性測度的複合性(compositionality of com-plexity measure)計算複雜性測度的一種性質一個複雜性測度為複合性,是指任何兩個遞歸函式的複合函式之複雜性,可由該兩函式之複雜性經過某種能行運算而得.具體地,設(So, })為一個布魯姆空間,h為遞歸函式,並滿足}}<<r.i} fix) = So; (So; (x) ) ,:為某個二元遞歸函式,若對任何x均有中、(,;)Cx)=sC}ly;}.})),};Cx)),則稱中為具有(<h,s)複合性的測度.若中是具有(<h,)複合性的測度,則任何兩個函式尹和TJ之複合函式Sona.i> }x)=Sor}So;}x))的複雜性函式}}}u.>>,可由中,及中,在外相應處的值經s作用而得.里希克<Lischke , G.)於1975年首先證明了有些布魯姆測度並不具有任何(<h,s)複合性.而且,即使某個魯
姆測度具有(<h,s)複合性.其子測度也未必具有這種性質.另外,複合性不能推出一致性或複雜性類的re性,有窮不變性也不可推出複合性.
姆測度具有(<h,s)複合性.其子測度也未必具有這種性質.另外,複合性不能推出一致性或複雜性類的re性,有窮不變性也不可推出複合性.