<s>[INST]Polinom zamanına uyumu koruyarak deterministik bir Turing makinesi tarafından çözülebilen karar sorunları hangi sınıfa aittir?[/INST]Ancak hesaplama zamanını yukarıda belirtilen bazı somut fonksiyonlarla sınırlamak f (n) genellikle seçilen makine modeline bağlı karmaşıklık sınıfları verir. Örneğin, {xx | x, herhangi bir ikili dizedir}, çok bantlı bir Turing makinesinde doğrusal zamanda çözülebilir, ancak tek bantlı Turing makinelerinin modelinde mutlaka kuadratik zaman gerekir. Çalışma süresindeki polinom değişikliklerine izin verirsek, Cobham-Edmonds tezi “herhangi iki makul ve genel hesaplama modelindeki zaman karmaşıklıklarının polinomla ilişkili olduğunu” belirtir (Goldreich 2008, Bölüm 1.2). Bu, polinom süresi içinde deterministik bir Turing makinesi tarafından çözülebilen karar sorunları kümesi olan karmaşıklık sınıfı P için temel oluşturur. Karşılık gelen fonksiyon sorunları kümesi FP'dir.</s>