Apa arti ketidakmampuan dalam praktek terbuka untuk diperdebatkan. Mengatakan bahwa problem tidak ada dalam P tidak menyiratkan bahwa semua kasus besar problem itu sulit atau bahkan kebanyakan di antaranya sulit. Misalnya, masalah keputusan di Presburger aritmatika telah ditunjukkan untuk tidak berada di P, namun algoritma telah ditulis yang memecahkan masalah dalam kebanyakan kasus. Serupa dengan itu, algoritma dapat memecahkan masalah ransel lengkap NP lebih dari berbagai ukuran dalam waktu kurang dari kuadrat dan SAT Solvers secara rutin menangani kasus besar dari NP-lengkap Boolean satisfiabilitas masalah.
Variasi aritmatika mana yang menyajikan suatu masalah keputusan yang tidak terbukti dalam P?
Presburger aritmatika Presburger Presburger aritmatika