Les algorithmes voraces - UQAC
Les algorithmes voraces - UQAC
Les algorithmes voraces - UQAC
- No tags were found...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
8INF430 Algorithmes <strong>voraces</strong> 6✬✩Théorème:Rectitude de l’algorithme(a) Si un noeud i ≠ 1 est dans S alors D[i] donne la longueur duplus court chemin entre 1 et i.(b) Si un noeud i n’est pas dans S alors D[i] donne la longueur duplus court chemin spécial entre 1 et i.Preuve. (par induction mathématique)Base: S = {1}Hypothèse d’induction: <strong>Les</strong> deux conditions sont vraies justeavant d’ajouter le noeud v à S.✫✪