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 halting problem, demonstrating the undecidability of determining if a program halts when executed with itself as input. It delves into the complexity theory, discussing the class P for problems solvable in polynomial time, contrasting with the NP class for non-deterministic polynomial problems. The lecture also covers practical algorithms, complexity measurement, and examples of problems in P and NP. It concludes with a discussion on the Traveling Salesman and Knapsack problems, illustrating the challenges of finding optimal solutions within NP complexity.