Algoritmos Exatos baseados em Programação Linear Inteira Conceito