Accueil > Dictionnaire > Définitions du mot « file de priorité »
File de priorité
Définitions de « file de priorité »
File de priorité - Locution nominale
-
(Programmation) Type abstrait de données permettant d'insérer un élément, d'extraire l'élément ayant la plus grande clé, et de tester si la file de priorité est vide ou pas.
Fondamentalement, une file de priorité est un sac (un multiensemble) d’entiers naturels doté de deux opérations particulières par rapport aux sacs : la suppression d’une occurrence du plus petit élément du sac (suppression d’un élément prioritaire de la file) et la rechercher d’une occurrence du plus petit élément (recherche d’un élément prioritaire de la file).
— Marc Guyomard, tructures de données et méthodes formelles
Étymologie de « file de priorité »
Usage du mot « file de priorité »
Évolution historique de l’usage du mot « file de priorité » depuis 1800
Fréquence d'apparition du mot « file de priorité » dans le journal Le Monde depuis 1945
Source : Gallicagram. Créé par Benjamin Azoulay et Benoît de Courson, Gallicagram représente graphiquement l’évolution au cours du temps de la fréquence d’apparition d’un ou plusieurs syntagmes dans les corpus numérisés de Gallica et de beaucoup d’autres bibliothèques.
Citations contenant le mot « file de priorité »
-
Fondamentalement, une file de priorité est un sac (un multiensemble) d'entiers naturels doté de deux opérations particulières par rapport aux sacs : la suppression d'une occurrence du plus petit élément du sac (suppression d'un élément prioritaire de la file) et la rechercher d'une occurrence du plus petit élément (recherche d'un élément prioritaire de la file).
Marc Guyomard — Structures de données et méthodes formelles -
Fondamentalement, une file de priorité est un sac (un multiensemble) d’entiers naturels doté de deux opérations particulières par rapport aux sacs : la suppression d’une occurrence du plus petit élément du sac (suppression d’un élément prioritaire de la file) et la recherche d’une occurrence du plus petit élément (recherche d’un élément prioritaire de la file).
Marc Guyomard — Structures de données et méthodes formelles