Divide-et-Conquérir: Fusionner Trier

Cette séance de cours couvre le concept d'invariants de boucle, l'analyse du temps à l'aide du modèle RAM et l'approche Divide-and-Conquer en mettant l'accent sur Merge Sort. Il explique l'exactitude des algorithmes grâce à des invariants de boucle et l'importance de l'analyse du pire des cas de temps de fonctionnement. La séance de cours se penche sur la mise en œuvre et la simplification de Merge Sort, l'algorithme de fusion et la preuve de l'exactitude de Merge Sort. Il traite également de l'analyse des récurrences en utilisant des techniques telles que la méthode de substitution, les arbres de récurrence et la méthode maître, fournissant des informations sur la résolution d'algorithmes complexes.