<s>[INST]Hangi teorik makinede, P'deki bir sorunun NP sınıfına üyeliğe inandığına karar verildi?[/INST]Karmaşıklık sınıfı P, genellikle verimli bir algoritma kabul eden bu hesaplama görevlerini modelleyen matematiksel bir soyutlama olarak görülür. Bu hipoteze Cobham-Edmonds tezi adı verilir. Diğer yandan, karmaşıklık sınıfı NP, insanların verimli bir şekilde çözmek istediği, ancak Boole tatmin edilebilirliği sorunu, Hamilton yolu yolu sorunu ve tepe örtüsü sorunu gibi etkili bir algoritmanın bilinmediği birçok sorunu içerir. Deterministik Turing makineleri deterministik olmayan özel Turing makineleri olduğundan, P'deki her sorunun aynı zamanda NP sınıfının da üyesi olduğu kolayca gözlenir.</s>