Funzione complessità corretta - Proper complexity function
Una funzione complessità corretta è una funzione f mappatura di un numero naturale di un numero naturale tale che:
- f è non decrescente;
- esiste un k -string Turing macchina M per cui una qualsiasi input di lunghezza n , M arresta dopo O ( n + f ( n gradini)), utilizza O ( f ( n )) spazio, e fornisce in uscita f ( n ) sbozzati consecutivi .
Se f e g sono due funzioni proprie complessità, quindi f + g , FG , e 2 f , sono anche funzioni complessità adeguati.
Nozioni simili includono la funzione onesti, la funzione di spazio costruibile , e la funzione time-costruibile .
