Définissez formellement les classes de complexité P (temps polynomial) et NP (temps polynomial non-déterministe). Expliquez pourquoi la question de savoir si P est égal à NP est fondamentale pour l'informatique théorique, la cryptographie et l'optimisation. Discutez des implications si P = NP versus P ≠ NP.