Théorie des matroïdes et une application
On prouve grâce aux propriétés de certains ensemble, appelés matroïdes, l'optimalité des algorithmes gloutons sur ces ensembles.\rOn applique ensuite cette théorie pour prouver l'optimalité des solutions renvoyées par l'algorithme de Kruskall (calcul d'arbres couvrants de poids minimal)
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 927 | Exemples de preuve d’algorithme : correction, terminaison.2021 |
| 5 | 931 | Schémas algorithmiques. Exemples et applications.2021 |
| 2 | 925 | Graphes : représentations et algorithmes.2021 |
Utilisateur : Devevey
La preuve est légèrement modifiée par rapport à celle du livre pour utiliser un invariant de boucle, ce qui permet le recasage dans la leçon 927 et rend la preuve plus formelle.
Références :
A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis - Anne Benoît, Yves Robert, Frédéric Vivien