Define formalmente las clases de complejidad P (Tiempo Polinómico) y NP (Tiempo Polinómico No Determinista) en el contexto de la teoría de la computación. Discute el problema abierto de si P es igual a NP. Explica por qué la demostración de P=NP o P≠NP tendría consecuencias revolucionarias para la criptografía, la optimización logística y la resolución de problemas matemáticos, proporcionando ejemplos concretos de problemas en cada clase.