Jabarkan Masalah belum terpecahkan dari Masalah Milenium

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. Yang pertama menggambarkan kelas masalah disebut NP, sedangkan yang kedua menggambarkan P. Pertanyaannya adalah apakah atau tidak semua masalah di NP juga di P. Ini umumnya dianggap salah satu pertanyaan terbuka yang paling penting dalam matematika dan ilmu komputer teoretis karena memiliki konsekuensi yang luas dengan masalah lain dalam matematika, biologi, filsafat, dan kriptografi.

Matematikawan dan ilmuwan komputer berharap bahwa P ≠ NP.

Pernyataan resmi dari masalah ini diberikan oleh Stephen Cook.