Acabei de me deparar com essa pergunta antiga enquanto conduzia uma pesquisa acesa e, por acaso, recentemente obtive respostas neste artigo que eu também poderia compartilhar. Espero que a combinação de necromancia de tópicos e autopromoção seja perdoável.
Podemos produzir qualquer G que daria esses caminhos como o mais curto no tempo polinomial? A versão mais fraca: podemos decidir em tempo polinomial se esse G existe?
A resposta é sim para ambos. O algoritmo de Mohammad definitivamente funciona, mas há um método mais rápido e direto que evita a necessidade de executar oráculos de separação cúbicos. Seja um gráfico auxiliar não ponderado, em que o peso de cada aresta é um número inteiro, indicando quantos dos caminhos tomados na entrada contêm essa aresta. Agora, considere a instância de fluxo multicomodidade capacitada por arestas sobre (interpretando pesos de arestas como capacidades) em que o objetivo é empurrar simultaneamente 1 unidade de fluxo entre cada par de nós. Obviamente, essa instância de fluxo MC pode ser satisfeita pressionando o fluxo de maneira natural pelos caminhos dados na entrada. Como se vê, pode-se provar que nossae ∈ E ( nH=(V,E,w′)e∈E H ( n(n2)H GG(n2)caminhos são caminhos mais curtos exclusivos em alguns se e somente se essa for a maneira exclusiva de satisfazer a instância de fluxo do MC. Podemos testar a singularidade configurando um LP cujas restrições são as usuais para a viabilidade do fluxo de MC mais uma certa função objetivo cuidadosamente escolhida, e os pesos de borda de um satisfatório podem ser extraídos do dual deste LP.GG
A condição óbvia necessária é a seguinte: para cada par de caminhos, sua interseção também é um caminho. Essa condição é suficiente?
Essa condição às vezes é chamada de "consistência" (um conjunto de caminhos é consistente se a interseção de dois) for um subcaminho de cada um). Resulta do exposto que a consistência não é suficiente. Um dos dois contra-exemplos vinculados pelo menor é o seguinte sistema codificado por cores de quatro caminhos em seis nós:
Em outras palavras, não há como atribuir pesos às oito arestas representadas aqui, para que todos esses quatro caminhos sejam simultaneamente o caminho mais curto e único entre seus pontos de extremidade. No entanto, qualquer par deles se cruza em apenas um nó, portanto eles são consistentes (mesmo se os preenchermos com alguns caminhos adicionais da maneira correta para que no total). Existem infinitamente muitos contra-exemplos como este; veja o artigo para uma caracterização.(n2)
Três outros comentários rápidos sobre tudo isso:
- As declarações análogas que você pode esperar para todos são válidas na configuração de gráficos direcionados em vez de não direcionados,
- Há uma boa interpretação topológica dessa teoria que leva a algumas idéias e intuições adicionais sobre como os caminhos mais curtos exclusivos podem ser estruturados e
- Por algumas razões técnicas, a teoria simplifica convenientemente a configuração de DAGs, em vez de gráficos não direcionados ou direcionados (cíclicos).