I datalogi beskæftiger man sig med at finde ud af om og hvordan problemer kan løses med matematiske algoritmer. Et af de store, uløste problemer er, P=NP-spørgsmålet. Normalt siger man at klassen P rummer de problemer, som kan løses med et rimeligt tidsforbrug af en computer. NP betegner klassen af problemer som kan løses af en algoritme, der har et tidsforbrug som højst er et polynomium af længden af algoritmens input - og hvor algoritmen må foretage gæt undervejs.

Det er vigtigt at finde ud af, om dette gæt er betydende for resultatet, dvs. om klassen P er lig klassen NP eller ej. Jagten på et bevis for P=NP gik ind i 1974 og er endnu uafsluttet. Hvis det lykkes af afgøre P=NP-spørgsmålet, vil det betyde mere end et farvel til en afgørende knast i algoritmisk kompleksitetsteori. Det vil samtidig være et resultat af umådelig praktisk betydning.