The question is whether or not, for all problems for which an algorithm can verify a given solution quickly (that is, in polynomial time), an algorithm can also find that solution quickly.
Pertanyaannya adalah apakah, untuk semua masalah algoritme dapat memverifikasi sebuah solusi yang diberikan cepat (yaitu, dalam waktu polinomial), algoritme juga dapat menemukan solusi yang cepat.