Séance de cours
Arbres binaires et nombres catalans
Description
Cette séance de cours couvre la définition des arbres binaires comme une structure inductive, la formule récursive pour le nombre d'arbres binaires avec n vertices, la fonction génératrice pour les nombres catalans, et la dérivation de la formule récursive pour les arbres binaires en utilisant des fonctions génératrices.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
Séances de cours associées (27)
L'algorithme de Huffman : mécaniser la preuve
Explore la mécanisation de l'algorithme de Huffman et sa mise en œuvre fonctionnelle.
Intervalle rapide Requêtes
Se concentre sur la conception d'une structure de données pour des requêtes d'intervalles rapides sur un arbre binaire complet.
Recherche Binaire: Bases et ExécutionMOOC: Information, Calcul, Communication: Introduction à la pensée informatique
Explore les fondamentaux de la recherche binaire, l'efficacité et la complexité temporelle dans la recherche algorithmique.
Arbres de recherche binaires: opérations et procédures
Couvre les opérations et les procédures liées aux arbres de recherche binaires, y compris la recherche de successeurs et de prédécesseurs.
Arbres de recherche binaires optimaux
Explique Optimal Binary Search Trees en utilisant la programmation dynamique et couvre un examen de mi-parcours à partir de 2016.