Explique les opérations d'arbre de recherche binaire, en se concentrant sur l'insertion, la recherche et la conversion de liste, en mettant l'accent sur la vérification formelle et le débogage.
Explore la plus longue sous-séquence commune et les arbres de recherche binaires optimaux, en discutant des algorithmes et des probabilités pour des structures de recherche efficaces.
Explore les arbres de recherche binaires optimaux pour minimiser les coûts de recherche en utilisant la programmation dynamique et les formulations récursives.
Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.
