Defina formalmente as classes de complexidade P (tempo polinomial) e NP (tempo polinomial não-determinístico). Explique a importância teórica de provar se P é igual a NP ou diferente, detalhando as implicações práticas para a criptografia moderna, a otimização logística e a resolução de problemas matemáticos caso P = NP seja verdadeiro.