Voir la source de Table de hachage

{{sources à lier|date=décembre 2013}}
Une '''table de hachage''' est, en [[informatique]], une [[structure de données]] qui permet une association clé–valeur, c'est-à-dire une implémentation du [[type abstrait]] [[tableau associatif]].
Son but principal est de permettre de retrouver une clé donnée très rapidement, en la cherchant à un emplacement de la table correspondant au résultat d'une [[fonction de hachage]] calculée en [[Notation O|<math>O(1)</math>]]. Cela constitue un gain de temps très important pour les grosses tables, lors d'une recherche ou d'un besoin d'accès aux données en utilisant la clé définie.

Il s'agit d'un [[tableau (structure de données)|tableau]] ne comportant pas d'ordre (contrairement à un tableau ordinaire qui est indexé par des [[Entier naturel|entiers]]).
On accède à chaque valeur du tableau par sa [[Clé (structure de données)|clé]], qui, transformée par une [[fonction de hachage]] en une valeur de hachage (un nombre), indexe les éléments de la table, ces derniers étant appelés ''alvéoles'' (en anglais, ''buckets'' ou ''slots'').
[[Fichier:HASHTB08.svg|thumb|362px|Un annuaire représenté comme une table de hachage. La [[fonction de hachage]] transforme les clés (en bleu) en valeurs de hachage (en rouge) indexant les éléments de la table (alvéoles) composés de paires clé–valeur (en vert).]]

Le fait de créer une valeur de hachage à partir d'une clé peut engendrer un problème de ''collision'', c’est-à-dire que deux clés différentes, voire davantage, pourront se retrouver associées à la même valeur de hachage et donc à la même alvéole (les fonctions de hachage ne sont pas [[Injectivité|injectives]]). Pour diminuer les risques de collisions, il faut donc premièrement choisir avec soin sa fonction de hachage. Ensuite, un mécanisme de résolution des collisions sera à implémenter si nécessaire. Il faudra alors stocker dans les alvéoles la paire clé–valeur et pas uniquement la valeur, afin de pouvoir comparer la clé avec celle qui sera donnée en entrée.

Tout comme les tableaux ordinaires, les tables de hachage permettent un accès en [[Notation O|<math>O(1)</math>]] en moyenne, quel que soit le nombre de paires clé–valeur dans la table. Toutefois, comme plusieurs paires clé–valeur peuvent se trouver dans la même alvéole, le temps d'accès dans le pire des cas peut être de [[Notation O|<math>O(n)</math>]]. Comparées aux autres [[Tableau associatif|tableaux associatifs]], les tables de hachage sont surtout utiles lorsque le nombre de paires clé–valeur est très important{{refnec|date=février 2014}}.

La position des paires clé–valeur dans une table de hachage est [[pseudo-aléatoire]] mais dépend de la fonction de hachage choisie et des clés utilisées. Cette structure n'est donc pas adaptée au feuilletage (''browsing'') de données voisines. Des types de structures de données comme les [[Arbre équilibré|arbres équilibrés]], généralement plus lents (en [[Notation O|<math>O(\log{n})</math>]]) et un peu plus complexes à implémenter, maintiennent une structure ordonnée.

== Fonction de hachage ==

{{article détaillé|Fonction de hachage}}

L'idée générale de la fonction de hachage est de répartir les paires clé–valeur dans un tableau d'alvéoles. Une fonction de hachage permet de transformer une clé en une valeur de hachage, donnant ainsi la position d'une alvéole dans le tableau.

Le calcul de la valeur de hachage se fait parfois en deux temps :
# Une fonction de hachage particulière à l'application est utilisée pour produire un nombre entier à partir de la clé ;
# Ce nombre entier est converti en une position possible de la table, en général en calculant le reste [[modulo (informatique)|modulo]] la taille de la table.

Si la clé n'est pas un entier naturel, il faut trouver un moyen de la considérer comme tel. Par exemple, si la clé est une [[Chaîne de caractères|chaine de caractères]], on peut prendre les valeurs numériques (ASCII ou autre) de chaque caractère et les combiner par une fonction rapide comme le [[Fonction OU exclusif|ou exclusif]], donnant un entier qui servira d'index. Dans la pratique, on cherche à éviter le recours aux divisions à cause de leur relative lenteur sur certaines machines.

=== Choix d'une fonction de hachage ===
Une bonne fonction de hachage est utile aux performances, surtout si les collisions sont résolues ensuite par des explorations séquentielles : toute fonction de hachage provoquant beaucoup de collisions (par exemple la fonction qui à une clé associe la valeur [[American Standard Code for Information Interchange|ASCII]] de son premier caractère) ralentira nettement la recherche. Un bon compromis est à trouver entre :

* la rapidité de la fonction de hachage ;
* la taille à réserver pour l'espace de hachage ;
* la réduction du risque des collisions.

Un [[ou exclusif]] de tous les caractères d'une clé fournissait souvent un compromis acceptable dans l'écriture de [[compilateur]]s au début des [[années 1960]].

[[Larry Wall]] utilisa pour implémenter son langage [[Perl (langage)|Perl]] une fonction permettant de doubler autant de fois que nécessaire avec l'extension du nombre de clés l'espace de hachage, sans autre nouveau calcul des clés qu'une translation binaire. {{Pas clair}} {{Référence nécessaire}}

Les tailles des tables de hachage sont souvent des nombres premiers{{Référence nécessaire}}, afin d'éviter les problèmes de diviseurs communs, qui créeraient un nombre important de collisions. Une autre possibilité est d'utiliser une [[puissance de deux]], ce qui permet de réaliser l'opération modulo par de simples décalages, et donc de gagner en rapidité.

Un problème fréquent est le phénomène de ''grumelage'' (''{{Langue|en|clustering}}'') qui désigne le fait que des valeurs de hachage se retrouvent côte à côte dans la table, formant des « grumeaux ». Cela pénalise ces méthodes. Les fonctions de hachage réalisant une [[Loi uniforme discrète|distribution uniforme]] des valeurs de hachage sont à rechercher, mais dès lors que le nombre de clés devient voisin du tiers de la taille de la table ces collisions deviennent probables<ref group=note>Voir [[Attaque des anniversaires]].</ref>.

Quand un attaquant essaye de pénaliser la recherche en soumettant des clés générant un grand nombre de collisions afin de la ralentir (voire de provoquer un [[déni de service]]), une solution possible est de choisir aléatoirement une fonction de hachage au début du programme. L'adversaire n'a alors pas de moyen de connaître le type de données qui produira des collisions. Dans la pratique, les algorithmes sont le plus souvent conçus pour affronter des données réparties de manière aléatoire que contre un adversaire.{{Référence nécessaire}}

=== Fonction de hachage parfaite et minimale ===

Une fonction de hachage est dite ''parfaite'' si elle n'engendre aucune collision. Si toutes les clés sont connues, une fonction de hachage parfaite peut être utilisée pour créer une table de hachage parfaite sans aucune collision.

Une fonction de hachage est dite ''minimale'' si elle est parfaite et répartit <math>n</math> entrées dans une table de exactement <math>n</math> alvéoles.

Une fonction de hachage parfaite permet un accès en [[Complexité en temps|temps constant]] dans tous les cas.

== Facteur de compression  ==

Le ''facteur de compression'' ou de charge (''{{Langue|en|load factor}}'') qui est la proportion d'alvéoles utilisées dans une table de hachage est une indication critique de ses performances.

Il est défini ainsi :
: <math>\text{facteur de compression} = \frac{n}{k},</math>
où
* <math>n</math> est le nombre de paires clé–valeur ;
* <math>k</math> est le nombre d'alvéoles.

=== Modification de la taille de la table ===

Lorsque le facteur de compression de la table augmente au-delà de 50 %, les collisions deviennent fréquentes. Une solution est d'augmenter la taille de la table (c'est-à-dire le nombre d'alvéoles) sitôt atteint ce taux, tout en maintenant cette taille à un [[nombre premier]] ou à une puissance de 2 selon que l'on travaille par division (lent) ou [[modulo (opération)|modulo]] (bien plus rapide). S'il y a des dizaines de milliers de clés ou davantage, le calcul d'une nouvelle valeur doit être aussi rapide que possible — il doit si possible se déduire à partir de la clé antérieure, idéalement par simple décalage binaire (''{{Langue|en|shift}}'').

Le ''rehachage'' (''{{Langue|en|rehash}}'') est une fonction qui, en général, double (au moins) l'espace mémoire alloué pour la table, et recopie parfois ses valeurs (temps d'exécution en <math>O(n)</math>. Cette fonction cherche le plus petit nombre premier supérieur à deux fois sa taille.

Dans la pratique, les fonctions idéales dépendent des progrès relatifs des vitesses de calcul des processeurs et des temps d'accès à la mémoire : des choix bien adaptés à une génération de machines pourront ne plus l'être pour la suivante.

== Résolution des collisions ==

Lorsque deux clés ont la même valeur de hachage, les paires clé–valeur associées sont stockées dans la même alvéole. On doit alors employer une méthode de résolution des collisions.

Le calcul probabiliste montre que même si la fonction de hachage a une distribution parfaitement uniforme, il y a 95 % de chances d'avoir une collision dans une table de hachage à 1 million d'alvéoles avant même qu'elle ne contienne {{nombre|2500}} paires clé–valeur. Les collisions ne posent cependant de réel problème que si elles sont nombreuses au même endroit. Même une collision unique sur chaque clé utilisée n'a pas d'effet très perceptible.

Plusieurs méthodes de traitement des collisions existent. Les plus utilisées sont le chaînage et l'adressage ouvert. Depuis le début des [[années 1990]], les développeurs de logiciels n'ont plus à se préoccuper vraiment du détail de ces méthodes, celles-ci étant directement incorporées dans les langages eux-mêmes — [[Perl (langage)|Perl]], [[PHP]], [[Restructured Extended Executor|REXX]], etc. — ou au pire dans les [[programmation objet|objets]] de la bibliothèque qu'ils utilisent.

=== Chaînage ===
[[Fichier:HASHTB32.svg|thumb|362px|right|Résolution des collisions par chaînage. Le fait que John Smith et Sandra Dee soit dans la même alvéole (873) est résolu en mettant une liste chaînée contenant les deux éléments.]]
Cette méthode est la plus simple. Chaque alvéole de la table est une [[liste chaînée]] des paires clé–valeur qui ont la même valeur de hachage. Une fois l'alvéole trouvée, la recherche est alors linéaire en la taille de la liste chaînée. Dans le pire des cas où la fonction de hachage renvoie toujours la même valeur de hachage quelle que soit la clé, la table de hachage devient alors une liste chaînée, et le temps de recherche est en <math>O(n)</math>. L'avantage du chaînage est que la suppression d'une clé est facile, et que l'agrandissement de la table peut être retardé plus longtemps que dans l'adressage ouvert, les performances se dégradant moins vite.

D'autres structures de données que les listes chaînées peuvent être utilisées. En utilisant un [[arbre équilibré]], le coût théorique de recherche dans le pire des cas est en <math>O(\log{n})</math>. Cependant, la liste étant supposée être courte, cette approche est en général peu efficace à moins d'utiliser la table à sa pleine capacité, ou d'avoir un fort taux de collisions. Un tableau dynamique peut aussi être utilisé pour réduire la perte d'espace mémoire et améliorer les performances du cache lorsque le nombre de paires clé–valeur est petit.

=== Adressage ouvert ===
 
[[Fichier:HASHTB12.svg|thumb|362px|right|Résolution des collisions par adressage ouvert et sondage linéaire. Le fait que que John Smith et Sandra Dee soit a priori dans la même alvéole (873) est résolu en mettant John Smith dans l'alvéole 873 et Sandra Dee dans l'alvéole suivante libre, ici 874.]]
L'adressage ouvert consiste dans le cas d'une collision à stocker les paires clé–valeur dans d'autres alvéoles. La position des alvéoles est déterminée par une méthode de sondage. Lors d'une recherche, si l'alvéole obtenue par hachage direct ne permet pas d'obtenir la bonne clé, une recherche sur les alvéoles obtenues par une méthode de sondage est effectuée jusqu'à trouver la clé, ou non, ce qui indique qu'aucune clé de ce type n'appartient à la table.

Les méthodes de sondage courantes sont :
* le ''sondage linéaire'' : l'intervalle entre les alvéoles est fixe, souvent 1 ;
* le ''sondage quadratique'' : l'intervalle entre les alvéoles augmente linéairement (les indices des alvéoles augmentent donc quadratiquement), ce qui peut s'exprimer par la formule : <math>h_i(x) = \left(h(x) +  (-1)^{i+1} \cdot \left\lceil\frac{i}{2}\right\rceil^2\right) \bmod k</math> où <math>k</math> est le nombre d'alvéoles.
* le ''double hachage'' : l'indice de l'alvéole est donné par une deuxième fonction de hachage, ou hachage secondaire. 

Le sondage linéaire possède la meilleure performance en termes de cache, mais est sensible à l'effet de grumelage décrit plus haut. Le double hachage ne permet pas d'utiliser le cache efficacement, mais permet de réduire presque complètement ce grumelage, au prix d'une complexité plus élevée. Le sondage quadratique se situe entre le linéaire et le double hachage au niveau des performances.

Plus le facteur de compression est proche de 100 %, plus le nombre de sondages à effectuer devient important. Lorsque la table est pleine, les algorithmes de sondage peuvent même échouer. Le facteur de compression est en général limité à 80 %, même en disposant d'une bonne fonction de hachage.

Des facteurs de compression faibles ne sont pas pour autant synonymes de bonnes performances, une mauvaise fonction de hachage pouvant générer un grumelage. L'indexation par la valeur ASCII du premier caractère d'une variable laisserait par exemple nombre de cases inutilisées, tout en assurant un maximum de collisions sur des noms de variables tels que <code>x1</code>, <code>x2</code>, … en calcul scientifique ou sur des prénoms répandus tels que <code>Martin</code>, <code>Michel</code>, … en traitement d'annuaires.

=== Hachage probabiliste ===
{{...}}

== Notes et références ==
=== Bibliographie ===
* {{Knuth-TAOCPVol3}}, partie 6, chap. 4 (« Hashing »), {{p.|513-558}}
* {{Ouvrage |langue=en |prénom1=Thomas H. |nom1=Cormen |lien auteur1=Thomas H. Cormen |prénom2=Charles E. |nom2=Leiserson |lien auteur2=Charles E. Leiserson |prénom3=Ronald L. |nom3=Rivest |lien auteur3=Ronald Rivest |prénom4=Clifford |nom4=Stein |lien auteur4=Clifford Stein |titre=[[Introduction à l'algorithmique]] |titre original=Introduction to Algorithms |éditeur=[[MIT Press]] et [[McGraw-Hill Education|McGraw-Hill]] |année=2001 |numéro d'édition=2 |pages totales=1180 |passage=221-252 |isbn=978-0-262-03293-3 |lire en ligne=https://books.google.fr/books?id=NLngYyWFl_YC&pg=PA221 |numéro chapitre=11 |titre chapitre=Hash Tables}}
* {{Ouvrage |langue=en |auteur1={{Lien|langue=en|fr=Michael T. Goodrich}} |auteur2={{Lien|langue=en|fr=Roberto Tamassia}} |titre=Data Structures and Algorithms in Java |titre original=Data Structures and Algorithms in Java |éditeur=[[John Wiley & Sons]] |année=2005 |numéro d'édition=4 |pages totales=720 |passage=369-418 |isbn=978-0-471-73884-8 |numéro chapitre=9 |titre chapitre=Maps and Dictionaries}}
* {{Ouvrage |langue=fr |prénom1=Christine |nom1=Froidevaux |prénom2=Marie-Claude |nom2=Gaudel |prénom3=Michèle |nom3=Soria |titre=Types de données et algorithmes |éditeur=McGraw-Hill |collection=Informatique |année=1990 |pages totales=575 |isbn=978-2-84074-023-0}}

=== Références ===
{{Traduction/Référence|en|Hash table|50334422|type=note}}
{{Références}}

=== Notes ===
{{Références|groupe=note}}

=== Articles connexes ===
* [[Filtre de Bloom]], une autre structure de données fondée sur les fonctions de hachage.
* [[Fonction de parking]]

{{Palette|Structure de données}}
{{Portail|informatique|Cryptologie|informatique théorique}}

[[Catégorie:Hachage|*]]