Definieer de klassen P en NP in de context van computationele complexiteitstheorie. Leg uit wat het P versus NP-problem precies inhoudt en waarom een bewijs van P=NP of P≠NP verreikende gevolgen zou hebben voor gebieden zoals cryptografie, operationeel onderzoek en wiskundig bewijs. Geef voorbeelden van NP-complete problemen.