Alguns problemas computacionais na Teoria dos Grafos: isomorfismo caminho mínimo circuito hamiltoniano ciclo euleriano conjunto estável emparelhamento coloração de vértices coloração de arestas planaridade