Loading AI tools
structure de données inventée par Daniel Sleator et Robert Tarjan en 1985 De Wikipédia, l'encyclopédie libre
Un arbre splay (ou arbre évasé) est un arbre binaire de recherche auto-équilibré possédant en outre la propriété que les éléments auxquels on a récemment accédé (pour les ajouter, les regarder ou les supprimer) sont rapidement accessibles. Ils disposent ainsi d'une complexité amortie en O(log n) pour les opérations courantes comme insertion, recherche ou suppression. Ainsi dans le cas où les opérations possèdent une certaine structure, ces arbres constituent des bases de données ayant de bonnes performances, et ceci reste vrai même si cette structure est a priori inconnue. Cette structure de données a été inventée par Daniel Sleator et Robert Tarjan en 1985.
Toutes les opérations courantes sur les structures de données sont suivies d'une opération basique nommée évasement (splaying en anglais). Évaser un arbre autour d'un certain élément consiste à réarranger l'arbre afin que cet élément soit placé à la racine tout en conservant la structure ordonnée de l'arbre. Une manière d'obtenir cela est d'effectuer une recherche ordinaire sur un arbre binaire en mémorisant le chemin suivi, puis d'effectuer une série de rotations d'arbre afin d'amener l'élément à la racine. D'autres implémentations permettent d'effectuer ces deux opérations en une seule passe.
Les performances des arbres évasés reposent sur le fait qu'ils s'auto-optimisent, c'est-à-dire que les nœuds fréquemment utilisés vont se rapprocher de la racine où ils pourront être accédés de manière rapide. Dans le pire cas toutefois, la plupart des opérations pourraient avoir une complexité linéaire ; en pratique la plupart ont une complexité moyenne logarithmique.
Rapprocher les nœuds fréquemment utilisés de la racine est avantageux dans la plupart des situations pratiques (une propriété appelé le principe de localité) et en particulier pour implémenter des algorithmes de cache ou de ramasse-miettes.
Finalement, l'absence de données secondaires (telles la hauteur des sous-arbres dans les arbres AVL) permet un stockage de donnée relativement compact.
Le désavantage le plus évident des arbres évasés est qu'ils peuvent dans certains cas terminer avec une hauteur linéaire dans leur taille ce qui peut affecter significativement les performances de toutes les opérations. Une variante randomisée permet cependant de tempérer ce défaut.
Plus subtilement, le fait qu'une simple lecture de l'arbre modifie sa structure peut poser de sérieuses difficultés dans le cas où la base de données représentée doit être accédée par plusieurs clients simultanément. Des implémentations concurrentes de l'accession sont alors parfois nécessaires.
Pour insérer un nouveau nœud dans un arbre évasé :
Pour supprimer un nœud, on procède de façon similaire au cas d'un arbre binaire de recherche. Si le nœud a deux enfants, on échange la valeur de ce dernier avec son successeur direct dans ses sous-arbres et on cherche à supprimer le nœud dont on vient d'échanger la valeur. Dans tous les cas, on va ensuite évaser l'arbre sur le parent du nœud supprimé.
Pour réaliser un évasement sur le nœud , on effectue une série d'étapes d'évasement, chacune rapprochant de la racine. Afin de déterminer quelle étape doit être réalisée, trois facteurs doivent être pris en compte :
Après chaque étape, aura pris la place de (jusqu'à finir à la racine).
Deux opérations, zig et zag permettent alors de former toutes les combinaisons devant être réalisées : zig, zig-zig, zig-zag, zag, zag-zag et zag-zig. Les trois dernières étant les symétriques des trois premières nous nous concentrerons sur celles-là.
Dans le cas où est la racine, l'arbre est pivoté sur le lien entre et . Cette étape n'existe que pour gérer les problèmes de parité et ne sera effectuée qu'en dernière opération (donc après une série de zig-zig et autres).
Lorsque et sont tous les deux enfants à droite (resp. gauche), l'arbre est alors pivoté deux fois : d'abord sur le lien entre et , puis à nouveau sur le lien entre et .
Lorsque et sont deux enfants différents (droite et gauche, ou vice-versa), on effectue d'abord une rotation sur le lien entre et puis une deuxième sur le lien entre et .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.