Właściwa funkcja złożoności - Proper complexity function
Właściwa funkcja złożoności jest funkcją f mapowania liczbę naturalną do liczby naturalnej, takich, że:
- F jest niemalejącą;
- istnieje k -string Turinga maszyny M , tak że w każdym wejściu o długości n , M zatrzymywane po O ( n + m ( n )), etapy wykorzystuje O ( f ( n )) miejsca i przekazuje f ( n ) kolejnych półwyrobów ,
Jeśli f i g są dwa odpowiednie funkcje bardziej skomplikowane, a następnie f + g , FG , i 2 M , również są odpowiednie funkcje złożoności.
Podobne pojęcia obejmują uczciwą funkcję, funkcję przestrzeń-constructible oraz funkcję czasową constructible .
