Explore le tri topologique, les graphes acycliques, les composants fortement connectés, l'algorithme magique, le graphe des composants, les réseaux de flux et leurs applications.
Couvre des sujets tels que la sortie DFS, la classification des bords, les graphes acycliques, l'exactitude, l'analyse du temps, les SCC et l'algorithme de tri topologique.
Explorer l'optimisation de la correspondance graphique avec les techniques de partage de travail et la parallélisation contextuelle pour l'extraction de motifs à l'échelle.
Introduit EIRM*, un planificateur qui résout efficacement plusieurs problèmes de planification en réutilisant l'information et en gérant efficacement la taille des graphiques.