Déployeur universel

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Un déployeur universel, ou dovetailing en anglais, est un type d'algorithme qui entrelace plusieurs calculs et les exécute en quelque sorte en parallèle.

De façon plus précise, étant donné une famille potentiellement infine de programmes à exécuter, dont l'exécution ne termine pas forcément, le déployeur universel procédera en exécutant l'étape 0 de , puis l'étape 1 de et l'étape 0 de , puis l'étape 2 de , l'étape 1 de et l'étape 0 de de , et ainsi de suite. On remarque que l'étape du programme est exécutée à l'instant , où est la fonction de couplage de Cantor, qui « code » un couple d'entiers (naturels) en lui associant l'entier .

Article connexe[modifier | modifier le code]

Algorithme de parcours en largeur