Describe formalmente el problema P vs NP. Analiza las implicaciones teóricas de demostrar que P es igual a NP o que P es distinto de NP, y cómo esto afectaría la criptografía moderna y la resolución de problemas de optimización.