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.
Dalam mesin teoretis apa itu dikonfirmasikan bahwa suatu masalah dalam keanggotaan P memungkiri kelas NP?
Mesin turing
mesin Turing
Dalam PPO
mesin NNO
teoretis ADJ
apa PRI
itu ART
dikonfirmasikan VBP
bahwa CSN
suatu KUA
masalah NNO
dalam PPO
keanggotaan NNO
P NNP
memungkiri VBT
kelas NNO
NP NNP
? PUN