Preguntas etiquetadas con directed-acyclic-graph

Supongamos que tengo un gráfico acíclico dirigido con pesos de números reales en sus vértices. Quiero encontrar un orden topológico del DAG en el que, para cada prefijo del orden topológico, la suma de los pesos no sea negativa. O si prefiere la terminología de la teoría del orden, tengo …

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

El problema, por supuesto, es contar dos veces. Es bastante fácil de hacer para ciertas clases de DAG = un árbol, o incluso un árbol serie-paralelo. El único algoritmo que he encontrado que funciona en DAG generales en un tiempo razonable es aproximado (difusión de sinopsis), pero aumentar su precisión …

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

¿Por qué la "clasificación topológica" se llama "topológica"? ¿Es solo porque determina un orden sin alterar los vértices o los bordes, como una dona y una taza de café son topológicamente equivalentes? ¿Por qué no se llama "tipo de dependencia" u otra cosa? ¿Por qué "topológico"? Admito que estoy desconcertado.

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

Dado un gráfico acíclico dirigido, , ¿es posible soportar eficientemente las siguientes operaciones?G(V,E)G(V,E)G(V,E) : determina si hay una ruta en G del nodo a al nodo bisConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b)GGGaaabbb : Agrega una arista de a a b en el gráfico Glink(G,a,b)link(G,a,b)link(G,a,b)aaabbbGGG : elimina el borde de a a b en Gunlink(G,a,b)unlink(G,a,b)unlink(G,a,b)aaabbbGGG : …

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

Un gráfico mixto es un gráfico que puede tener bordes tanto dirigidos como no dirigidos. Su gráfico subyacente no dirigido se obtiene olvidando las orientaciones de los bordes dirigidos, y en la otra dirección se obtiene una orientación de un gráfico mixto al asignar una dirección a cada borde no …

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

Estoy tratando de descubrir cómo funciona el Gráfico de ruta P(G)P(G)P(G) según el Algoritmo de Eppstein en este documento y cómo puedo reconstruir las kkk rutas más cortas de a con la construcción del montón .ssstttH(G)H(G)H(G) Hasta aquí: v G Gout(v)out(v)out(v) contiene todos los bordes dejando un vértice en un …

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

Se me da como entrada un DAG de vértices donde cada vértice se etiqueta adicionalmente con algo de .n x S ( x ) ⊆ { 1 , … , n }GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Un tipo topológico de es una biyección desde los vértices de a tal que …

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

Consideramos DAG (gráficos acíclicos dirigidos) con un nodo fuente sss un nodo objetivo ttt ; Se permiten bordes paralelos que unen el mismo par de vértices. A kkk - corte es un conjunto de bordes cuya eliminación destruye todas las sss - ttt caminos de más de kkk ; ¡las …

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

Estoy implementando alguna parte del sistema que requiere ayuda. Por lo tanto, lo estoy enmarcando como un problema gráfico para que sea independiente del dominio. Problema: se nos da un gráfico acíclico dirigido . Sin pérdida de generalidad, suponga que G tiene exactamente un vértice fuente s y exactamente un …

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

Considere el problema en el que se nos da como entrada un gráfico acíclico dirigido G=(V,E)G=(V,E)G = (V, E) , una función de etiquetado λλ\lambda de VVV a algún conjunto LLL con un orden total &lt;L&lt;L<_L (por ejemplo, los enteros), y donde se nos pide calcule el tipo topológico lexicográficamente …

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

El ancho del árbol mide qué tan cerca está un gráfico de un árbol. Varios problemas NP-hard son manejables en gráficos con ancho de árbol acotado. Si un problema sigue siendo NP-hard en los árboles, entonces el ancho del árbol no puede salvarnos. Esta fue la motivación detrás de una …

12 np-hardness  directed-acyclic-graph 

Este es un seguimiento de la reciente pregunta de David Eppstein y está motivado por los mismos problemas. Supongamos que tengo un dag con pesos de números reales en sus vértices. Inicialmente, todos los vértices no están marcados. Puedo cambiar el conjunto de vértices marcados marcando (1) un vértice sin …

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

Un anticadena en un DAG (V,E)(V,E)(V, E) es un subconjunto A⊆VA⊆VA \subseteq V de vértices que son pairwise inalcanzable, es decir, no hay v≠v′∈Av≠v′∈Av \neq v' \in A tal que vvv es alcanzable desde v′v′v' en EEE . Por el teorema de Dilworth en la teoría del orden parcial, se …

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

Deje que sea un gráfico acíclico dirigido , y dejar que λ ser una función de etiquetado mapear cada vértice v ∈ V a una etiqueta λ ( v ) en algunos finito alfabeto L . Escribiendo n : = | V | , un tipo topológico de G es …

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

En los sistemas de control de versiones distribuidas (como Mercurial y Git ) existe la necesidad de comparar eficientemente los gráficos acíclicos dirigidos (DAG). Soy un desarrollador de Mercurial, y estaríamos muy interesados ​​en escuchar sobre el trabajo teórico que discute la complejidad del tiempo y la red de comparar …

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