Správná funkce složitosti - Proper complexity function
Správnou funkci složitost je funkce f mapování přirozené číslo do přirozené číslo takové, že:
- f neklesá;
- existuje k -strunový Turingův stroj M takový, že na jakémkoli vstupu délky n se M zastaví po O ( n + f ( n )) krocích, použije O ( f ( n )) prostor a vydá f ( n ) po sobě jdoucí mezery .
Pokud f a g jsou dvě správné funkce složitosti, pak f + g , fg a 2 f jsou také správné funkce složitosti.
Podobné pojmy zahrnují čestnou funkci, prostorově konstruovatelnou funkci a časově konstruovatelnou funkci .
