Korrekt kompleksitetsfunktion - Proper complexity function
En ordentlig kompleksitetsfunktion er en funktion f, der kortlægger et naturligt tal til et naturligt tal, således at:
- f er ikke-faldende;
- der findes en k -string Turing maskine M således, at på en indgang af længde n , M stopper efter O ( n + f ( n )) skridt, bruger O ( f ( n )) rum, og udgange f ( n ) på hinanden følgende emner .
Hvis f og g er to ordentlige kompleksitetsfunktioner, er f + g , fg og 2 f også korrekte kompleksitetsfunktioner.
Lignende begreber inkluderer ærlig funktion, rumkonstruerbar funktion og tidskonstruerbar funktion .
