Beschrijf theoretisch het verschil tussen de complexiteitsklassen P en NP. Definieer wat bedoeld wordt met 'polynomiale tijd' en 'verifieerbaarheid'. Leg uit waarom de vraag of P gelijk is aan NP zo cruciaal is voor de cryptografie en optimalisatie. Bespreek de implicaties voor de computationele theorie als aangetoond zou worden dat P = NP of dat P ≠ NP.