Arbres de recherche équilibrés et requêtes ordonnées
Comprendre les requêtes, les rotations et la suppression par successeur, puis borner la hauteur avec les invariants rouge-noir et comparer les conteneurs ordonnés.
Comprendre les requêtes, les rotations et la suppression par successeur, puis borner la hauteur avec les invariants rouge-noir et comparer les conteneurs ordonnés.
Traitement FIFO au moyen de deques, d’extrémités chaînées et de tampons circulaires.
Séquences de nœuds chaînés, raccordements locaux, coûts de parcours et invariants de propriété.
Interface LIFO, choix d’implémentation et invariants algorithmiques qu’elle exprime.
Comparer l’espace et le coût des opérations sur un petit graphe, traiter les doublons, les boucles et les sommets isolés, puis choisir une représentation adaptée aux algorithmes.
Une carte centrée sur la représentation pour choisir les conteneurs selon les opérations, les invariants et le comportement mémoire.
Une comparaison des séquences contiguës, des nœuds chaînés, des piles et des files.
Stockage indexé contigu, redimensionnement, ajout amorti et coût des décalages.
Comprendre les contraintes sur les clés, les collisions, la charge et les coûts en espérance et amortis grâce à une trace avec suppression et reconstruction.