Em Teoria da computação de Michael Sipser, na página 270, ele escreve: P = a classe de idiomas para os quais a associação pode ser decidida rapidamente. NP = a classe de idiomas para os quais a associação pode ser verificada rapidamente. Qual é a diferença entre "decidido" e...