Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
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.