Selecione da lista do Menu para completar o texto.
( Problema de Satisfatibilidade Booliana, Problema de Roteamento de Veículos, Problema do Caixeiro Viajante, Problema de Coloração de Grafos ) foi o primeiro problema da classe NP-Completo, sendo determinado por Prova Direta através Teorema de Cook-Levin