Megfelelő komplexitás funkció - Proper complexity function
A megfelelő komplexitásfüggvény az a f függvény, amely egy természetes számot egy természetes számra leképez, így:
- f jelentése nem csökkent;
- létezik egy k -string Turing-gép M olyan, hogy bármely bemeneti hosszúságú N , M megállítja után O ( n + f ( n )) lépéseket, használja O ( f ( n )) helyet, és kimenetek F ( n ) egymást követő üres .
Ha f és g két megfelelő összetettsége funkciót, majd f + g , FG , és 2 f , szintén megfelelő komplexitás funkciókat.
Hasonló fogalmak között szerepel a becsületes függvény, a térkonstruktív funkció és az időkonstruktív funkció .
