O problema de encontrar caminhos de custo mínimo em um grafo é um dos problemas mais conhecidos em otimização combinatória. Por isso deve-se tomar cuidado na escolha do algoritmo mais apropriado para a solução do problema. Este trabalho apresenta um algoritmo de busca do caminho mínimo entre dois vértices de um grafo. Sua implementação foi efetuada na linguagem Prolog.
Para melhor entender o problema e a solução encontrada na sua resolução, este trabalho foi dividido em oito capítulos, organizados da seguinte forma:
O capítulo I contextualiza o problema e dá uma visão geral do conteúdo do trabalho.
O capítulo II apresenta o enunciado do problema a ser resolvido.
O capítulo III descreve os conceitos básicos sobre a teoria dos grafos.
O capítulo IV apresenta o pseudocódigo do algoritmo a ser implementado e o formato no qual o grafo deve ser representado no arquivo de entrada.
O capítulo V abrange a implementação efetiva do algoritmo, explicando as funcionalidades dos principais predicados.
O capítulo VI é referente aos testes realizados. Neste são apresentados os grafos testados e seus respectivos resultados.
O capítulo VII, por fim, conclui o trabalho, ressaltando a importância do mesmo.
Já no Apêndice encontramos o código-fonte do sistema.