Séance de cours
Cette séance de cours explore le concept d'oracles, de certificats et de vérification dans le contexte de la théorie de la complexité. Oracles a toujours fourni des réponses immédiates, tandis que les certificats servent de preuves concises qu'une solution est correcte. La classe NP définit les problèmes dont les solutions peuvent être vérifiées efficacement avec des certificats, posant la fameuse question P versus NP.