Apa artinya keras kepala dalam praktek terbuka untuk diperdebatkan. Mengatakan bahwa suatu masalah tidak dalam P tidak berarti bahwa semua kasus besar dari masalah itu sulit atau bahkan sebagian besar dari mereka adalah masalah. Sebagai contoh, masalah keputusan dalam aritmatika Presburger telah ditunjukkan tidak berada dalam P, namun algoritma telah ditulis yang memecahkan masalah pada waktu yang wajar dalam banyak kasus. Demikian pula, algoritma dapat memecahkan masalah knapsack NP-lengkap pada berbagai ukuran dalam waktu kurang dari kuadratik dan pemecah SAT secara rutin menangani contoh besar masalah kepuasan-Boolean NP-lengkap.
Variasi aritmetika apa yang tidak diketahui menghadirkan masalah keputusan yang tidak dibuktikan dalam P?
Aritmatika Presburger
aritmatika Presburger
Variasi NNO
aritmetika NNO
apa PRI
yang PRR
tidak NEG
diketahui VBP
menghadirkan VBT
masalah NNO
keputusan NNO
yang PRR
tidak NEG
dibuktikan VBP
dalam PPO
P NNP
? PUN