Questions marquées «transitive-closure»

Je recherche un algorithme en ligne pour maintenir la fermeture transitive d'un graphe acyclique dirigé avec une complexité temporelle inférieure à O (N ^ 2) par addition de bord. Mon algorithme actuel est comme ceci: For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes...

La vérification de la transitivité d'un digraphe n'est-elle pas plus facile que (en termes de complexité asymptotique) de prendre la fermeture transitive du digraphe? Connaissons-nous mieux une borne inférieure que pour déterminer si un digraphe est transitif ou non?Ω (

Il y a eu quelques questions ( 1 , 2 , 3 ) sur l'achèvement transitif ici qui m'ont fait penser si quelque chose comme ça était possible: Supposons que nous obtenions un graphe orienté en entrée et que nous souhaitions répondre aux requêtes de type " ?", C'est-à-dire demander s'il existe une arête...