<s>[INST]Hangi hipotez, verimli algoritmik işlevselliği olan matematiksel bir soyutlama olarak görülen P karmaşıklığı sınıfıyla ilişkilidir?[/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 denir. 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 NP sınıfının da üyesi olduğu kolayca gözlemlenir.</s>