corrige Chapitre option informatique Corrigé des exercices ? Arbres binaires ? Exercice ? La première solution qui vient à l ? esprit est sans doute celle-ci let rec profondeur p function Nil ?? a when p ?? a Noeud fg fd ?? profondeur p ?? fg profondeur p
Chapitre option informatique Corrigé des exercices ? Arbres binaires ? Exercice ? La première solution qui vient à l ? esprit est sans doute celle-ci let rec profondeur p function Nil ?? a when p ?? a Noeud fg fd ?? profondeur p ?? fg profondeur p ?? fd mais elle n ? est pas optimale car il faut se souvenir que la concaténation de deux listes e ?ectue un nombre d ? insertions en tête de liste égal à la longueur de la liste de gauche Dans le cas d ? un arbre complet de hauteur p le nombre tp d ? insertions e ?ectuées véri ?e la relation tp tp ?? p ?? Celle-ci se résout en sommant l ? égalité télescopique tp p ?? tp ?? p ?? soit tp p p ?? Ainsi dans le cas d ? un arbre binaire complet le coût de cette fonction est un n log n avec n A p ?? On peut faire mieux en utilisant un accumulateur let profondeur let rec aux acc p function Nil ?? raise Not found a when p ?? a acc Noeud fg fd ?? aux aux acc p ?? fd p ?? fg in aux Avec cette fonction chaque arbre n ? est inséré qu ? une fois en tête de liste ce qui est optimal dans le cas de l ? arbre binaire complet le nombre d ? insertion est égal à p le coût est un n ? Exercice ? Le calcul de la hauteur d ? un arbre est linéaire vis-à-vis de la taille de l ? arbre donc lorsque A est un arbre binaire complet de taille n le coût tn de cette fonction véri ?e la relation tn t n n D ? après le théorème ma? tre tn n log n Le cas d ? un arbre incomplet est plus délicat à étudier à cause de l ? évaluation paresseuse mais on peut au moins donner une majoration du coût tn tp tq n avec p q n ?? ce qui permet d ? obtenir tn O n dans le cas général De toute façon on peut faire mieux en utilisant une fonction auxiliaire qui calcule la hauteur en même temps qu ? elle détermine si l ? arbre est complet ou non let est complet a let rec aux function Nil ?? true ?? Noeud fg fd ?? let b h aux fg and b h aux fd in b b h h max h h in fst aux a Le coût de cette fonction véri ?e cette fois la relation tn tp tq avec p q n ?? ce qui conduit à tn n le coût est linéaire dans tous les cas Jean-Pierre Becirspahic C option informatique ? Exercice ? On génère un arbre complet de taille n s ? il en existe à l ? aide de la fonction let rec complet function ?? Nil n when n mod ?? failwith complet n
Documents similaires
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/11701707468kk1dvnmm8hcg5pdwlkby7ehyn8aiylvj8q4gopy6en8sjtipbssqzqtgjevm4mqlsl7n7rgmkbhmg1owwtzv9wf9eau9gjfmtc8d.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/11701710232onbtxelbg2tiapnzfrtpvglkshnngficn7wx1ksqtjmsvvwvolcshiddjodg7b6ybggl5nvsij7mam4asinbc3dpj7pugj4f0mau.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/myXDahTclLz3Ouk3TOvol2hJkh67aBtk1r9OHwG3o5oLG1NeihMKJTz30GoqZDnIzMSipv0NdP75Mc82Ii9PfiJt.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/xoH2EEoaLfTJhokZmlx2UPAFKf9d6UXximBGYke3Qq0LIlqrGx0m4xmT8RJZpoH1e42rxed6OBArt92kG9vH2iDn.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/HTrT00N514o98YeyrjBlQeiF5fGKAaKENzkHZ3X7j3Q8mpHFIUO2IrzR2GNbKI7g9q5MWE6gcBwr40SAzuhjGPj6.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/yhDZ3Fw50KYwIckDM170JhsdX7OX1ywuCMDvaoGQmouKOc4gq1gFOs7eEzIN53wC6ZMMrePzW9ilH40kC5OAMra1.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/117017751648zvdywltpop6ajj52eqhjulsrht8tgnmayjydf14rlqije8u4742d2ztt8ybozqnlkzcv0kgyjexwu8szmvq1htoqmwkkvnw198m.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/1170171040707wkiycdv5t9ifa5fjcgvwbgrcv9culucd014asninsmhtqfd9uk226vtxkm6i6uwtyxuiq5f7jwju1fbo7fzblmjydt0z6k0sqg.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/MRG1CeKJzW5OXz3ywGb5n7zVRVsF0Tb2cGlXPQqWmCweU4ZXammjMbgeyQc9ZCeixUweiJhUQ2WEWmHLq2Qi3WbT.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/11701701495ymxmqgwsdaoyg4qgtunad3euncy6phf7uvshrjbqym4qyi9jjknnuqsrnjrhgv3pxikdohrvk2ldw4zegxis4zrb3tgr3f2jwuqw.png)
-
30
-
0
-
0
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise- Détails
- Publié le Jui 07, 2021
- Catégorie Law / Droit
- Langue French
- Taille du fichier 64.2kB