Verifiquemos ahora que el problema de satisfacibilidade está em NP. Para ello, simplemente exhibimos el siguiente algoritmo ND de orden polinomial:
As instruções BOOLEANA, PARA e REPITE são utilizadas para declarar variáveis e criar ciclos, respectivamente.
O algoritmo utiliza uma instrução não determinística para fazer a magia e encontrar a resposta correta.
O algoritmo tem ordem polinomial, o que significa que é eficiente e pode ser resolvido em tempo razoável.
O algoritmo utiliza uma estratégia de busca exaustiva para encontrar a resposta correta.
Verdadeiro
Verdadeiro
Verdadeiro
Falso