text: Informalmente, la congettura chiede se ogni problema la cui soluzione può essere verificata rapidamente da un computer possa essere risolta rapidamente anche da un computer; si ipotizza che la risposta sia negativa.