Algoritmo eficiente para recuperar el cierre transitivo de un gráfico acíclico dirigido

Estoy tratando de resolver un problema gráfico (no es para la tarea, solo para practicar mis habilidades). Se da un DAG , donde es el conjunto de vértices y los bordes. El gráfico se representa como una lista de adyacencia, por lo que es un conjunto que contiene todas las conexiones de . Mi tarea es encontrar el que los vértices son accesibles desde cada vértice . La solución que uso tiene una complejidad de , con cierre transitivo, pero leí que en un blog puede ser más rápido, aunque no reveló cómo. ¿Alguien podría decirme otra forma (con mayor complejidad) para resolver el problema de cierre transitivo en un DAG? $G(V,E)$ $V$ $E$ $A_v$ $v$ $v\in V$ $O(V^3)$

algorithms graph-theory graphs Rontogiannis Aristofanis
fuente

Eche un vistazo a: stackoverflow.com/questions/3517524/…

AJed

y esto: cs.hut.fi/~enu/thesis.html

AJed

Sin embargo, mi sugerencia es mantener el

. pero solo intenta disminuir el número de comparaciones en promedio. Es decir, adivine y agregue reglas simples a su algoritmo. Puede usar la multiplicación de matrices, pero si la está usando para gráficos pequeños, entonces es un desastre y, de hecho, en la práctica, su método es mejor.

O (| V |^{3})

$O(|V|^3)$

AJed

@AJed En este problema particular,

excederá el límite de tiempo.

O (V^{3})

$O(V^3)$

Rontogiannis Aristofanis

@RondogiannisAristophanes Cuando dice límite de tiempo, ¿quiere decir que esto es un problema en algunos desafíos de programación / algoritmos como topcoder, etc.? Si es así, y si está seguro de que ha implementado correctamente una solución

, es posible que desee ver el problema nuevamente. Puede haber alguna otra propiedad oculta que pueda simplificar las cosas, o puede haber una mejor manera de expresar el problema para que no se necesite un cierre transitivo. Porque el cierre transitivo es tan difícil como la multiplicación de matrices. Lea student.cs.uwaterloo.ca/~cs466/Old_courses/F08/…

O (V^{3})

$O(V^3)$

Paresh el

Respuestas:

El hecho de que nuestro gráfico sea acíclico hace que este problema sea mucho más simple.

La ordenación topológica puede darnos una ordenación de los vértices manera que, si , entonces no hay un borde de a . Hemos enumerado los vértices de modo que todos los bordes en "avance" en nuestra lista. $v_1,v_2,\dots,v_n$ $i < j$ $v_j$ $v_i$

(editado para corregir el análisis y dar un algoritmo ligeramente más rápido)

Ahora solo retrocedemos por esta lista, comenzando en el último vértice . El cierre transitivo de es solo en sí mismo. Agregue también al cierre transitivo de cada vértice con un borde para . $v_n$ $v_n$ $v_n$ $v_n$

Para cada vértice , yendo desde el extremo hacia atrás, primero agregue a su propio cierre transitivo, luego agregue todo en el cierre transitivo de al cierre transitivo de todos los vértices con un borde a . $v_i$ $v_i$ $v_i$ $v_i$

El tiempo de ejecución es en el peor de los casos, con el número de vértices y el número de aristas. La ordenación topológica lleva tiempo . Luego hacemos otro trabajo en el paso hacia atrás: a medida que avanzamos hacia atrás en la lista, para cada borde, tenemos que sumar $O(n+m+nm) = O(n^3)$ $n$ $m \in O(n^2)$ $O(n+m)$ $O(mn)$ $n$ vértices al cierre transitivo de alguien.

$n=64$ $i$ $i$ $i$ $j$ $c_j$ $c_i$

$n > 64$

$O$ $O(n^3)$

usul
fuente

Probablemente podría usar una representación de lista vinculada para los conjuntos y terminarían compartiendo colas comunes.

Kyle Butt