Preguntas etiquetadas con transitive-closure

Estoy buscando un algoritmo en línea para mantener el cierre transitivo de un gráfico acíclico dirigido con una complejidad temporal menor que O (N ^ 2) por adición de borde. Mi algoritmo actual es así: For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \...

¿Comprobar la transitividad de un dígrafo no es más fácil que (en términos de complejidad asintótica) tomar el cierre transitivo del dígrafo? ¿Conocemos algún límite inferior mejor que para determinar si un dígrafo es transitivo o

Ha habido algunas preguntas ( 1 , 2 , 3 ) sobre la terminación transitiva aquí que me hicieron pensar si algo como esto es posible: Supongamos que obtenemos un gráfico solGG entrada dirigido y nos gustaría responder consultas del tipo " ?", Es decir, preguntar si existe un borde entre dos...