Defina as classes de complexidade P (tempo polinomial) e NP (tempo polinomial não-determinístico). Explique a diferença fundamental entre resolver um problema e verificar uma solução. Discuta a importância do problema em aberto P versus NP e as implicações de provar que P = NP ou que P ≠ NP.