DPR : Diviser Pour Régner

Contenu du chapitre
1. Principe de la méthode
2. Théorème-Maître (Akra-Bazzi) pour l’analyse des performances
2.1 Théorème de base
2.2 Extension
3. Application
 Recherche dichotomique dans un vecteur trié
 Exponentiation rapide
 Multiplication de deux polynô mes : algorithme de Karatsuba
 Multiplication de deux matrices : algorithme de Strassen
 Tri par fusion
 Tri rapide (Quicksort)

 Réseaux de tri parallèle (Paradis du DPR)
o Tri parallèle
o Notion de comparateur
o Structure d’un réseau de tri parallèle avec illustration sur le tri par
insertion
o Structure récursive du tri parallèle par fusion
o Preuve de validité
 Théorème 0-1 pour la preuve de validité des réseaux de tri
(éléments collés) : admis sans démonstration
 Réseau de fusion parallèle de deux suites triées et preuve sur
les suites binaires
 Réseau de fusion parallèle
 Réseau de tri par fusion
 Analyse du temps d’exécution du réseau de tri parallèle par
fusion
 Tri bitonique
 Calcul des sommes préfixes d’une suite
o Schéma de base
o Application aux additionneurs parallèles
1 - Principe de l’approche DPR (Diviser-Pour-Régner)
Pour résoudre un problème P par le paradigme Diviser-Pour-Régner (programmation
récurrente descendante), on procède en trois étapes :
1. Faire apparaître P comme cas particulier d’une famille de problèmes Pi ou Pij ou
Pijk
2. Trouver les solutions des problèmes de base
3. Trouver une solution récurrente en trois étapes pour le calcul de la solution d’un
problème de taille n qui n’est pas de base :
a. Décomposer un problème de taille n en a sous-problèmes similaires de
taille n/b
b. Résoudre les a sous-problèmes de taille n/b
c. Combiner les solutions des a sous-problèmes de taille n/b pour obtenir
une solution du problème de taille n
3.1 Multiplication de deux polynô mes : algorithme de Karatsuba
3.2 Multiplication de deux matrices : algorithme de Strassen
3.3 Réseaux parallèles (Paradis du DPR)
3.3.1 Tri par Fusion 
3.3.1.1 Présentation générale du tri par fusion
3.3.1.2 Analyse du tri séquentiel par fusion
3.3.1.3 Réseau de tri parallèle par fusion
o Notion de comparateur
o Structure d’un réseau de tri parallèle avec illustration sur le tri par
insertion : illustration du parallélisme
o Structure récursive du réseau de tri par fusion
o Théorème 0-1 pour la preuve de validité des réseaux de tri (éléments
collés) : admis sans démonstration
o Algorithme de fusion parallèle de deux suites triées et preuve sur les
suites binaires
o Réseau de fusion parallèle 
o Réseau de tri par fusion
o Analyse du temps d’exécution du réseau de tri parallèle par fusion

3.3.2 Tri Bitonique 

Contenu de la section
3.3.3 Définition d’une suite bitonique
3.3.4 Algorithme de tri DPR d’une suite bitonique
3.3.5 Réseau de tri d’une suite bitonique
3.3.6 Réseau de tri bitonique d’une suite quelconque

- Multiplication de deux polynô mes : algorithme de Karatsuba

- Multiplication de deux matrices : algorithme de Strassen
- Réseau de calcul des sommes préfixes d’une suite
o Formulation récursive
o Temps d’exécution
o Réseau de calcul en parallèle des sommes préfixes
o Application au calcul en parallèle des retenues lors de l’addition de deux
nombres codés en binaire