Perguntas com a marcação «graphs»

13
Redução transitiva de DAG

Eu estou procurando o algoritmo O (V + E) para encontrar a redução transitiva dado um DAG. Isso remove o maior número possível de arestas, para que, se você puder alcançar v de u, para v e u arbitrários, ainda possa alcançá-lo após a remoção das arestas. Se este for um problema padrão, indique-me...

13
Etapas que garantem a saída de um labirinto

Dado um labirinto bidimensional onde você pode dar 4 comandos "mover para cima / baixo / direita / esquerda". Conhecendo o labirinto, mas não onde está a pessoa, como encontrar a sequência mínima de comandos que garante a saída do labirinto? Estou procurando uma única sequência de comandos que...

12
Por que não podemos encontrar caminhos mais curtos com pesos negativos apenas adicionando uma constante para que todos os pesos sejam positivos?

Atualmente, estou lendo a introdução aos algoritmos e vim pelo algoritmo de Johnson, que depende de garantir que todos os caminhos sejam positivos. o algo depende de encontrar uma nova função de peso (w ') que seja positiva para todas as arestas e mantenha a correção das relações de caminhos mais...

12
Encontre caminhos mais curtos em um gráfico unipático pesado

Diz- se que um gráfico direcionado é unipático se, para quaisquer dois vértices uuu e no gráfico , houver no máximo um caminho simples de para .vvvG=(V,E)G=(V,E)G=(V,E)uuuvvv Suponha que eu receba um gráfico unipático modo que cada aresta tenha um peso positivo ou negativo, mas não contenha ciclos...

12
Pesquisa em teoria de grafos versus algoritmos de grafos

Eu tenho uma pergunta muito genérica a fazer. Está relacionado à pesquisa. Estou interessado na teoria dos grafos. Eu fiz um curso nele. Fiz alguns tópicos relacionados à teoria dos grafos como ponto de vista de fazê-lo como estudante de matemática e também estudei alguns algoritmos de grafos. Vou...

11
Inferindo tipos de refinamento

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

11
Isso é difícil de NP? Eu não posso provar isso.

Eu tenho um problema e acho difícil de NP, mas não posso provar. Aqui está um gráfico de camadas, em que a camada 0 é a camada mais alta e a camada L, a mais baixa. há alguma aresta direcionada entre as camadas, onde uma aresta (A, B) indica que o nó A pode [cobrir] o nó B. E quando A pode cobrir...

11
União-encontrar dirigido

Considere um gráfico direcionado GGG no qual é possível adicionar dinamicamente arestas e fazer algumas consultas específicas. Exemplo: floresta com conjunto separado Considere o seguinte conjunto de consultas: arrow(u, v) equiv(u, v) find(u) o primeiro adiciona uma seta u→vvocê→vu→v para o...