Explique formalmente o Problema P versus NP na Ciência da Computação Teórica. Defina as classes de complexidade P (tempo polinomial) e NP (tempo polinomial não-determinístico) e discuta a importância teórica de determinar se P é igual a NP.