Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture explores the concept of oracles, certificates, and verification in the context of complexity theory. Oracles historically provided immediate answers, while certificates serve as concise proofs that a solution is correct. The class NP defines problems whose solutions can be efficiently verified with certificates, posing the famous P versus NP question.