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.
Apa yang biasanya tidak ditangani oleh pemecah SAT saat pengujian?
Pemecah SAT secara rutin menangani contoh besar masalah kepuasan Boolean NP-complete.
pemecah SAT secara rutin menangani contoh besar masalah kepuasan-Boolean NP-lengkap.
Apa PRI
yang PRR
biasanya ADV
tidak NEG
ditangani VBP
oleh PPO
pemecah NNO
SAT NNP
saat NNO
pengujian NNO
? PUN