Eu tenho um gráfico ponderado direcionado . Sempre existe uma aresta de um vértice para outro , o peso pode ser infinito positivo e não existe ciclo negativo.
Uma execução de alguns algoritmos encontrará os comprimentos (pesos somados) dos caminhos mais curtos entre todos os pares de vértices, embora não retorne detalhes dos próprios caminhos. Por exemplo, o algoritmo de Floyd-Warshall é direto e funciona. Vamos denotar o resultado por .
Em , é possível que para uma aresta de a , w' (i, j) = w '(i, k_0) + w' (k_0, k_1) + \ pontos + w '(k_n, j) . Vamos fazer de G ' outro gráfico G' ', cujo elemento seja igual a G', exceto w '' (i, j) = \ infty \ neq w '(i, j) . Portanto, sabemos que a execução de um algoritmo de caminhos mais curtos em G '' dará G ' .
Então dado um 'eu gostaria de encontrar todos os gráficos como , tal que para todo e , e pode ser reduzido a através de um algoritmo de caminhos mais curtos.
Espero que minha pergunta seja clara ... Não sei se já existe um algoritmo para isso, alguém tem alguma ideia?