file de priorité
podstatné jméno
—
(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).