Perguntas com a marcação «directed-acyclic-graph»

Suponha que eu tenha um gráfico acíclico direcionado com pesos em número real em seus vértices. Quero encontrar uma ordem topológica do DAG em que, para cada prefixo da ordem topológica, a soma dos pesos não seja negativa. Ou, se você preferir a terminologia teórica da ordem, tenho uma ordem …

45 ds.algorithms  directed-acyclic-graph  partial-order 

O problema, é claro, é a contagem dupla. É fácil o suficiente para certas classes de DAGs = uma árvore ou mesmo uma árvore serial-paralela. O único algoritmo que encontrei que funciona em DAGs gerais em tempo razoável é aproximado (difusão de sinopse), mas aumentar sua precisão é exponencial no …

34 ds.algorithms  graph-theory  directed-acyclic-graph 

Por que a "classificação topológica" é chamada de "topológica"? É apenas porque determina uma ordem sem alterar vértices ou arestas - como um donut e uma xícara de café são topologicamente equivalentes? Por que não é chamado "tipo de dependência" ou outra coisa? Por que "topológico"? Eu admito que estou …

28 graph-theory  graph-algorithms  directed-acyclic-graph  topology 

Dado um gráfico acíclico direcionado, , é possível oferecer suporte eficiente às seguintes operações?G(V,E)G(V,E)G(V,E) L um bisConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b) : determina se existe um caminho em do nó para o nóGGGaaabbb a b Glink(G,a,b)link(G,a,b)link(G,a,b) : Adiciona uma aresta de a no gráficoaaabbbGGG a b Gunlink(G,a,b)unlink(G,a,b)unlink(G,a,b) : remove a aresta de para emaaabbbGGG …

17 ds.algorithms  graph-algorithms  directed-acyclic-graph  online-algorithms 

Um gráfico misto é um gráfico que pode ter bordas direcionadas e não direcionadas. Seu gráfico não direcionado subjacente é obtido esquecendo as orientações das arestas direcionadas e, na outra direção, uma orientação de um gráfico misto é obtida atribuindo uma direção a cada aresta não direcionada. Um conjunto de …

16 ds.algorithms  reference-request  graph-theory  graph-algorithms  directed-acyclic-graph 

Estou tentando descobrir como o Path Graph acordo com o algoritmo de Eppstein, neste artigo funciona e como posso reconstruir os caminhos mais curtos de para com a construção de pilha correspondente .P(G)P(G)P(G)kkkssstttH(G)H(G)H(G) Tão longe: out(v)out(v)out(v) contém todas as arestas que saem de um vértice em um gráfico de que …

16 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

Recebi como entrada um DAG de vértices em que cada vértice é adicionalmente rotulado com algum .n x S ( x ) ⊆ { 1 , … , n }GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Um tipo topológico de é uma bijeção dos vértices de para modo que, para todo , …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

Consideramos DAG (gráficos acíclicos dirigidos) com um nó de origem e um nó de destino ; arestas paralelas unindo o mesmo par de vértices são permitidas. Uma - corte é um conjunto de arestas cuja remoção destrói todos - caminhos mais longos do que ; mais curtos - caminhos, bem …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

Estou implementando uma parte do sistema que requer alguma ajuda. Portanto, estou enquadrando-o como um problema gráfico para torná-lo independente de domínio. Problema: Recebemos o gráfico acíclico . Sem perda de generalidade, assuma que tem exatamente um vértice de origem e exatamente um vértice de afundamento ; deixar denotam o …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

Considere o problema em que nos é dado como entrada um gráfico acíclico direcionado , uma função de rotulação de para um conjunto com uma ordem total (por exemplo, os números inteiros) e onde nos perguntam para calcular o tipo topológico lexicograficamente menor de em termos de . Mais precisamente, …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

A largura da árvore mede o quão perto um gráfico está de uma árvore. Vários problemas difíceis de NP são tratáveis ​​em gráficos com largura de árvore delimitada. Se um problema persistir com NP em árvores, a largura da árvore não pode nos salvar. Essa foi a motivação por trás …

12 np-hardness  directed-acyclic-graph 

Este é um seguimento da recente pergunta de David Eppstein e é motivado pelos mesmos problemas. Suponha que eu tenha um dag com pesos em número real em seus vértices. Inicialmente, todos os vértices são desmarcados. Posso alterar o conjunto de vértices marcados (1) marcando um vértice sem predecessores não …

12 ds.algorithms  directed-acyclic-graph  partial-order 

Um antichain em um DAG é um subconjunto Um ⊆ V de vértices que são emparelhados inacessível, ou seja, não há nenhum v ≠ v ' ∈ Um tal que v é acessível a partir de v ' em E . Do teorema de Dilworth na teoria de ordem parcial, …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order 

Deixe ser um gráfico acíclico dirigido , e deixar λ ser uma função rotulagem mapeamento de cada vértice v ∈ V para uma etiqueta λ ( v ) em algum alfabeto finito L . Escrevendo n : = | V | , um tipo topológico de G é uma bijeção …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

Nos sistemas de controle de versão distribuído (como Mercurial e Git ), é necessário comparar eficientemente os gráficos acíclicos direcionados (DAGs). Sou desenvolvedor da Mercurial e gostaríamos muito de ouvir sobre o trabalho teórico que discute a complexidade de tempo e rede da comparação de dois DAGs. Os DAGs em …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph