Doğru karmaşıklık fonksiyonu - Proper complexity function
Bir uygun karmaşıklık fonksiyonu bir fonksiyonudur f bir haritalama doğal sayı doğal sayı gibi edilene:
- f azalmayan bir;
- Bir vardır k -String Turing makinesi M uzunluğu herhangi bir giriş üzerinde bu şekilde n , M (O sonra durur , n + f ( n )) adımları, O (kullanan f ( n )) alan ve çıktı olarak f ( n ) birbirini takip eden boşluklar .
Eğer f ve g , sonra iki uygun karmaşıklık işlevleridir f + g , fg ve 2 f , aynı zamanda uygun bir karmaşıklık işlevlerdir.
Buna benzer yaklaşımlar dürüst fonksiyonu içerir uzay-constructible fonksiyonu ve zaman-constructible fonksiyonu .