Vous êtes sur la page 1sur 21

n 2 Analyse des problmes Leon n.

1 Introduction et vue densemble

Structures de donnes

CONCEPTION DE PROGRAMMES:
ANALYSE DES PROBLMES

Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Plan de la leon
Du problme rel au programme
Production dalgorithmes

Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Du problme rel au programme

Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Du problme au programme
Problme

Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Du problme au programme
Programme

Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Rsolution de problmes
Problme
Formuler le problme Spcifier les donnes

Modle
Construire une solution
Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Rsolution de problmes
Algorithme
Mettre en uvre l'algorithme valuer la complexit de la solution

Programme
crire le programme, le tester et le documenter
Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Spcification dun modle


Problme
Numrique

Modle
Systmes linaires & Equations diffrentielles
Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Spcification dun modle


Systme de signalisation
Donnes
Ensemble de changements de directions permis
Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

AD et EB incompatibles

D B E A

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Spcification dun modle


Systme de signalisation
Rsultats
AD et EB incompatibles

Systmes de feux tel que les directions de mme couleur soit possibles simultanment
Prof. A. EL FAKER

D B E A

ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Spcification dun modle


Modle: structure
de graphe Sommet
Un changement de directions permis
Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

CE
AD AB ED EB

EC

CA

AC CB

AE

CD

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Spcification dun modle


Modle: structure
de graphe Arte
Itinraire incompatible
EC
AD AB ED EB

CE

CA

AC CB

AE

CD

Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Spcification dun modle


Problme rsoudre
Trouver le nombre de couleurs diffrentes ncessaires la coloration du graphe des itinraires
Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

CE
AD

EC

CA ED

AB

EB

AC CB

AE

CD

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Production dalgorithmes

Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Production dalgorithmes
Algorithme
Dbut Slectionner un sommet non color et lui attribuer une couleur Fin
Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

CE EC AD

CA

AB ED

EB

AC CB

AE

CD

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Production dalgorithmes
CE EC AD

CA

AB ED

EB

AC CB

AE

CD

Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Production dalgorithmes
Procdure memeCouleur
Entre : Graphe G Sortie : S ensemble de sommets pouvant porter la mme couleur Dbut S := pour chaque sommet v non colori de G si v nest reli aucun sommet de S alors Classer v parmi les sommets coloris Ajouter v S Fin
Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Production dalgorithmes
Preuves de programmes Analyse Stratgies de constructions

Algorithmes
Implantation Mise en oeuvre
Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

Complexit

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Analyse descendante
Dcouper le schma de rsolution en tches modulaires Match {de tennis} Manche
Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Analyse descendante
TraitementDunMatch {de tennis} TraitementDuneManche TraitementDunJeu Dbut lire le rsultat du point (A/B) G := le joueur ayant gagn le point NbPG++; //nombre de pts si (NbPG >40) et (la diffrence 2) alors NbJG ++; //nombre de jeux sinon TraitementEgalit Fin
Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI

n 2 Analyse des problmes Leon n. 1 Introduction et vue densemble

Structures de donnes

Analyse ascendante
Composer des outils existants (algorithmes)

Prof. A. EL FAKER
ENSIAS - UNIVERSITE MOHAMMED V SOUISSI