Selecciona la opción correcta del menú desplegable para completar el 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