Comptage des arbres étiquetés

Cette séance de cours couvre le comptage des arbres étiquetés en utilisant les codes Prüfer, fournissant une formule et une preuve faciles. Il explique un algorithme pour convertir les arbres en séquences et vice versa, connu sous le nom d'Algorithm 2. La séance de cours démontre l'application de l'algorithme 1 et de l'algorithme 2, montrant comment ils fournissent des cartes entre les arbres et les séquences. La preuve des théorèmes se fait par induction, en commençant par le cas de base de n=2. La séance de cours se termine par des exercices sur la détermination du code Prüfer d'un arbre et l'apparence des sommets dans le code.