Kompleksitas kelas P sering dilihat sebagai abstraksi matematis yang memodelkan tugas-tugas komputasi yang mengakui algoritma yang efisien. Hipotesis ini disebut tesis Cobham-Edmonds. NP kelas kompleksitas, di sisi lain, mengandung banyak masalah yang orang ingin selesaikan secara efisien, tetapi yang tidak diketahui algoritma yang efisien, seperti masalah kepuasan Boolean, masalah jalur Hamiltonian, dan masalah penutup simpul. Karena mesin Turing deterministik adalah mesin Turing non-deterministik khusus, mudah diamati bahwa setiap masalah dalam P juga anggota NP kelas.
Apa, mesin teoritis tidak mengkonfirmasi bahwa ada masalah dalam keanggotaan P di kelas NX?
Mesin turing
mesin Turing
Apa PRI
, PUN
mesin NNO
teoritis ADJ
tidak NEG
mengkonfirmasi VBT
bahwa CSN
ada VBI
masalah NNO
dalam PPO
keanggotaan NNO
P NNO
di PPO
kelas NNO
NX NNP
? PUN