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.
Explore les preuves formelles, les problèmes de satisfaisabilité et les invariants inductifs en utilisant des requêtes SAT dans des circuits séquentiels.
Explore la programmation dynamique du problème Knapsack, en discutant des stratégies, des algorithmes, de la dureté du NP et de l'analyse de la complexité temporelle.
Introduit la linéarité de l'attente et la méthode du premier moment, explore les problèmes de la théorie des probabilités comme l'aiguille de Buffon et discute des tournois transitifs et des chemins du jambon.
Explore l'inférence causale, les graphiques dirigés et l'équité dans les algorithmes, en mettant l'accent sur l'indépendance conditionnelle et les implications des GAD.
