<s>[INST]Hangi karmaşıklık sınıfı genellikle çözülebilirliği artırmak için bilinmeyen algoritmalar ile tanımlanır?[/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, NP karmaşıklık sınıfı, insanların verimli bir şekilde çözmek istediği, ancak Boole tatmin edilebilirliği sorunu, Hamilton yolu yolu ve köşe kapak sorunu. 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>