P versus NP este următoarea întrebare de interes pentru cei care lucrează cu calculatoare și în matematică: Orice problemă rezolvată al cărei răspuns poate fi verificat rapid de un calculator poate fi, de asemenea, rezolvată rapid de un calculator? P și NP sunt cele două tipuri de probleme de matematică la care se face referire: Problemele P sunt rapid de rezolvat de către calculatoare și, prin urmare, sunt considerate "ușoare". Problemele NP sunt rapid (și deci "ușor") de verificat de către un calculator, dar nu sunt neapărat ușor de rezolvat.

În 1956, Kurt Gödel i-a scris o scrisoare lui John von Neumann. În această scrisoare, Gödel a întrebat dacă o anumită problemă NP completă poate fi rezolvată în timp pătratic sau liniar. În 1971, Stephen Cook a introdus o formulare precisă a problemei P versus NP în articolul său "The complexity of theorem proving procedures".

În prezent, mulți oameni consideră această problemă ca fiind cea mai importantă problemă deschisă din domeniul informaticii. Este una dintre cele șapte Probleme ale Premiului Mileniului selectate de Institutul de Matematică Clay pentru a oferi un premiu de 1.000.000 USD pentru prima soluție corectă.