Rätt komplexitetsfunktion - Proper complexity function
En ordentlig komplexitet funktion är en funktion f mappning av en naturligt tal till ett naturligt tal så att:
- f minskar inte;
- det finns en k -string Turing maskin M så att vid någon tillförsel av längd n , M stannar efter O ( n + f ( n )) steg, använder O ( f ( n )) utrymme, och utmatar f ( n ) på varandra följande ämnen .
Om f och g är två ordentliga komplexitetsfunktioner, är f + g , fg och 2 f också lämpliga komplexitetsfunktioner.
Liknande uppfattningar inkluderar ärlig funktion, rymdkonstruerbar funktion och tidskonstruerbar funktion .
