Wähle von der Aufklappliste, um den Text zu vervollständigen.
( 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