Académique Documents
Professionnel Documents
Culture Documents
Bertrand Mareschal
bmaresc@ulb.ac.be
http://homepages.ulb.ac.be/~bmaresc/math-umons.html
2019/2020 1
Plan du cours
1. Introduction
– Contenu du cours
2. Logique mathématique
– Calcul propositionnel
– Calcul des prédicats
– Logique floue et aide à la décision
3. Récurrence et induction
4. Analyse d’algorithmes
– Comparaison asymptotique de fonctions
– Complexité
5. Mathématique de la gestion
– Théorie des graphes
– Optimisation
2019/2020 2
1. Introduction
• Présentations et documents disponibles sur la page
web du cours.
• Optionnel: Livres de référence:
– G. Haggard, J. Schlipf et S. Whitesides (2006): Discrete
Mathematics for Computer Science, Thomson
Brooks/Cole, ISBN: 9-780534-495015
– S. Lipschutz (1983): Mathématiques pour
informaticiens, série Schaum, McGraw Hill, ISBN: 2-7042-
1067-5
– R. Sedgewick et P. Flajolet (1996): Introduction à
l’analyse des algorithmes, International Thomson
Publishing, ISBN: 2-84180-957-9
• Evaluation :
– Projet personnel (aide à la décision)
– Examen écrit en deux parties : théorie (sans notes) et
exercices (à livre ouvert).
2019/2020 3
Plan du cours
1. Introduction
– Contenu du cours
2. Logique mathématique
– Calcul propositionnel
– Calcul des prédicats
– Logique floue et aide à la décision
3. Récurrence et induction
4. Analyse d’algorithmes
– Comparaison asymptotique de fonctions
– Complexité
5. Mathématique de la gestion
– Théorie des graphes
– Optimisation
2019/2020 4
2. Logique mathématique
• Logique classique :
– Un énoncé a 2 valeurs de vérité possibles :
• Vrai (V) ou faux (F).
– Calcul propositionnel.
– Calcul des prédicats.
• Logique floue :
– Un énoncé peut être « plus ou moins » vrai
ou faux.
– Application en aide à la décision.
2019/2020 5
Calcul propositionnel
• Enoncé :
– 2 valeurs de vérité possibles : V (vrai) ou F faux)
– Exemples :
• Paris est en France.
• Charleroi est au nord de Bruxelles.
•2+2=5
– Attention :
• Où allez-vous ? (n’est pas un énoncé)
• Enoncé composé : sous-énoncés connectés à
l’aide d’opérateurs logiques.
• Proposition : énoncé composé faisant
intervenir des variables (p, q, r, …)
2019/2020 6
Conjonction logique – « et »
• Conjonction de deux propositions p et q :
pÙq
• Table de vérité :
p q pÙq
V V V
V F F
F V F
2019/2020 F F F 7
Disjonction logique – « ou »
• Disjonction de deux propositions p et q :
« ou » non exclusif pÚq
• Table de vérité :
p q pÚq
V V V
V F V
F V V
2019/2020 F F F 8
Négation logique – « non »
• Négation d’une proposition p :
« il est faux que… » pÚq
• Table de vérité :
p ¬p
V F
F V
2019/2020 9
Table de vérité
d’une proposition
• Exemple : ¬ ( p Ù ¬q )
p q ¬q p Ù ¬q ¬ ( p Ù ¬q )
V V F F V
V F V V F
F V F F V
F F V F V
2019/2020 10
Propositions particulières
• Tautologie :
– Proposition qui est toujours vraie (V partout dans la
dernière colonne de la table de vérité).
• Contradiction :
– Proposition qui est toujours fausse (F partout dans la
dernière colonne de la table de vérité).
• Exemples :
– Tautologie : p Ú ¬p
– Contradiction : p Ù ¬p
2019/2020 11
Equivalence logique
• Deux propositions P et Q sont
logiquement équivalentes si elles ont des
tables de vérité identiques : P º Q
• Exemple : ¬ ( p Ù q ) º ¬p Ú ¬q
p q p Ù q ¬( p Ù q ) p q ¬p ¬q ¬p Ú ¬q
V V V F V V F F F
V F F V V F F V V
F V F V F V V F V
F F F V F F V V V
2019/2020 12
Algèbre des propositions (1)
• Lois idempotentes :
pÚ p º p pÙ pº p
• Lois d’associativité :
( p Ú q) Ú r º p Ú (q Ú r )
( p Ù q) Ù r º p Ù (q Ù r )
• Lois de commutativité :
pÚq ºqÚ p pÙq ºqÙ p
2019/2020 13
Algèbre des propositions (2)
• Lois de distributivité :
p Ú (q Ù r ) º ( p Ú q) Ù ( p Ú r )
p Ù (q Ú r ) º ( p Ù q) Ú ( p Ù r )
• Lois d’identité :
pÚ f º p pÙt º p
pÚt ºt pÙ f º f
(t : tautologie, f : contradiction)
2019/2020 14
Algèbre des propositions (3)
• Lois de complémentarité :
p Ú ¬p º t p Ù ¬p º f
¬t º f ¬f º t
• Loi d’involution : ¬¬p º p
• Lois de de Morgan :
¬ ( p Ú q ) º ¬p Ù ¬q
¬ ( p Ù q ) º ¬p Ú ¬q
2019/2020 15
Enoncé conditionnel
• « Si p, alors q » : p®q
– p implique q, p seulement si q
• Table de vérité :
p q p®q
V V V
V F F
F V V
2019/2020 F F V 16
Enoncé biconditionnel
• « p si et seulement si q » : p « q
• Table de vérité :
p q p«q
V V V
V F F
F V F
2019/2020 F F V 17
Propriétés
• En fonction des opérateurs logiques :
p ® q º ¬p Ú q
• Contraposée :
p q p ® q q ® p ¬p ® ¬ q ¬ q ® ¬ p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
2019/2020 p ® q º ¬q ® ¬p 18
Exemples
• Si j’étudie, je réussis mon examen.
• Si je réussis mon examen, c’est que j’ai étudié.
• Si je ne réussis pas mon examen, c’est que je
n’ai pas étudié.
• Si je n’étudie pas, je ne réussis pas mon
examen.
• Exemple : pÞ pÚq
2019/2020 22
Propriétés
• Théorème : Les trois énoncés suivants
sont équivalents :
1. P Þ Q
2. Le raisonnement P ! Q est valide
3. P ® Q est une tautologie
2019/2020 24
Forme normale disjonctive
• Exemple 1 :
– Les deux propositions suivantes sont
logiquement équivalentes :
( p ® ( q Ú r )) « ( q ® p )
( p Ù q ) Ú ( p Ù ¬q Ù r ) Ú ( ¬p Ù ¬q )
– Vérification : tables de vérité identiques.
– La 2ème est sous forme normale disjonctive.
2019/2020 25
p q r qÚr p® q®p «
qÚr
V V V V V V V
V V F V V V V
V F V V V V V
V F F F F V F
F V V V V F F
F V F V V F F
F F V V V V V
F
2019/2020
F F F V V V 26
p q r qÚr p® q®p «
qÚr
V V V V V V V
V V F V V V V
V F V V V V V
V F F F F V F
F V V V V F F
F V F V V F F
F F V V V V V
F
2019/2020
F F F V V V 27
Forme normale disjonctive
• Exemple 2 : (négation)
¬(( p ® ( q Ú r )) « ( q ® p ))
( ¬p Ù q ) Ú ( p Ù ¬q Ù ¬r )
2019/2020 28
Forme normale disjonctive
• Théorème :
Toute proposition est logiquement équivalente à
une proposition sous forme normale disjonctive
(pas nécessairement unique).
• Principe de démonstration :
– Ecrire la table de vérité.
– Identifier les lignes pour lesquelles la proposition est
vraie.
– Ecrire la disjonction des conjonctions de « lettres »
correspondantes.
2019/2020 29
Exemple 3
¬ ( p ® q ) ® ( q Ù ¬r )
p q r ¬(p®q) qÙ¬r ®
V V V F F V
V V F F V V
V F V V F F
V F F V F F
F V V F F V
F V F F V V
F F V F F V
F F F F F V
2019/2020 30
Exemple 3
¬ ( p ® q ) ® ( q Ù ¬r )
p q r ¬(p®q) qÙ¬r ®
V V V F F V
V V F F V V
V F V V F F
V F F V F F
F V V F F V
F V F F V V
F F V F F V
F F F F F V
2019/2020 ( p Ù q ) Ú ¬p 31
Forme normale conjonctive
• Exemple 1 :
– Les deux propositions suivantes sont
logiquement équivalentes :
( p ® ( q Ú r )) « ( q ® p )
( p Ú ¬q ) Ù ( ¬p Ú q Ú r )
– Vérification : tables de vérité identiques.
– La 2ème est sous forme normale conjonctive.
2019/2020 32
Forme normale conjonctive
• Théorème :
Toute proposition est logiquement équivalente à
une proposition sous forme normale conjonctive
(pas nécessairement unique).
• Principe de démonstration :
– Transformer la négation de la proposition sous forme
normale disjonctive.
– Utiliser la loi de De Morgan pour se ramener à une
forme normale conjonctive pour la proposition.
2019/2020 33
Exemple 3
¬ ( p ® q ) ® ( q Ù ¬r )
p q r ¬(p®q) qÙ¬r ®
V V V F F V
V V F F V V
V F V V F F
V F F V F F
F V V F F V
F V F F V V
F F V F F V
F F F F F V
2019/2020 34
Exemple 3
¬ ( ¬ ( p ® q ) ® ( q Ù ¬r ) )
p q r ¬(p®q) qÙ¬r ¬ (®)
V V V F F F
V V F F V F
V F V V F V
V F F V F V
F V V F F F
F V F F V F
F F V F F F
F F F F F F
2019/2020 35
Exemple 3
¬ ( ¬ ( p ® q ) ® ( q Ù ¬r ) )
p q r ¬(p®q) qÙ¬r ¬ (®)
V V V F F F
V V F F V F
V F V V F V
V F F V F V
F V V F F F
F V F F V F
F F V F F F
F F F F F F
2019/2020 ( p Ù ¬q Ù r ) Ú ( p Ù ¬q Ù ¬r ) 36
Exemple 3
¬ ( ¬ ( p ® q ) ® ( q Ù ¬r ) )
º
( p Ù ¬q Ù r ) Ú ( p Ù ¬q Ù ¬r )
¬ ( p ® q ) ® ( q Ù ¬r )
º
( ¬p Ú q Ú ¬r ) Ù ( ¬ p Ú q Ú r )
2019/2020 37
Calcul des prédicats
• Prédicat : Proposition qui porte sur des
éléments variables d’un ensemble fixé.
• Exemples :
– n est pair.
– Le triangle T est isocèle.
– La relation R sur N est réflexive.
2019/2020 38
Prédicat
• Définition : Application P qui associe une
proposition P(x) à chaque élément x d’un
ensemble E (univers du prédicat).
• Poids d’un prédicat : nombre de variables.
• Exemples :
P ( n ) = {n Î ! est pair} (poids 1)
P ( a, b ) = {a, b Î sont tels que a + b = 5} (poids 2)
Q ( b ) = P ( 3, b ) = {b Î est tel que 3 + b = 5} (poids 1)
R = Q ( 9 ) = {3 + 9 = 5} (poids 0)
P ( a ) = {a Î " est positif } (poids 1)
Q ( a, b ) = {a Î " , b Î B sont tels que a est positif } (poids 2)
2019/2020 39
Combinaisons de prédicats
• Exemples :
P ( n ) = {n Î est pair}
Q ( n ) = {n Î est le carré d'un autre entier naturel}
¬P ( n ) = {n Î n'est pas pair}
P Ù Q ( n ) = {n Î est pair et est le carré d'un autre entier naturel}
P Ú Q ( n ) = {n Î est pair ou est le carré d'un autre entier naturel}
2019/2020 40
Combinaisons de prédicats
• Exemples :
P ( n ) = {n Î est pair}
Q ( m ) = {m Î est divisible par 3}
P Ù Q ( n ) = {n Î est pair et est divisible par 3}
R ( m, n ) = {n Î est pair}
S ( m, n ) = {m Î est divisible par 3}
R Ù S ( m, n ) = {n Î est pair et m Î est divisible par 3}
2019/2020 41
Quantificateurs
• Quantificateur universel :
– Quel que soit x la proposition P(x) est vraie :
"x : P ( x )
• Quantificateur existentiel :
– Il existe x tel que la proposition P(x) est vraie
:
$x : P ( x )
2019/2020 42
Quantificateurs
• Exemples :
P ( n ) = {n Î est pair}
"n : P ( n ) = {tout entier naturel est pair} (faux)
$n : P ( n ) = {il existe un entier naturel est pair} (vrai)
2019/2020 43
Quantificateurs
• Théorème 1 : Soit P(a,b) un prédicat de
poids 2. Alors :
1° "a"b : P ( a, b ) º "b"a : P ( a, b )
2° $a$b : P ( a, b ) º $b$a : P ( a, b )
3° $b : "a : P ( a, b ) Þ "a : $b : P ( a, b )
4° $a : "b : P ( a, b ) Þ "b : $a : P ( a, b )
2019/2020 44
Quantificateurs
• Exemple :
P ( a, b ) = {a, b Î ! sont tels que a + b = 5}
"a"b : P ( a, b ) ì tous les a, b Î ! sont ü F
í ý
î tels que a + b = 5 þ
$a$b : P ( a, b ) V
$b : "a : P ( a, b ) F
"a : $b : P ( a, b ) V
$a : "b : P ( a, b ) F
"a : $b : P ( a, b )
2019/2020 V 45
Quantificateurs
• Théorème 2 :
1° ¬ ( "x : P ( x ) ) º $x : ( ¬P ( x ) )
2° ¬ ( $x : P ( x ) ) º "x : ( ¬P ( x ) )
• Exemples :
¬ ( "n : n est divisible par 3)
º
$n : n n'est pas divisible par 3
¬ ( "x : $y : P ( x, y ) ) º $x : "y : ¬P ( x, y )
2019/2020 46
Quantificateurs
• Théorème 3 :
1° "x : ( P ( x ) Ù Q ( x ) ) º ( "x : P ( x ) ) Ù ( "x : Q ( x ) )
2° $x : ( P ( x ) Ù Q ( x ) ) Þ ( $x : P ( x ) ) Ù ( $x : Q ( x ) )
3° $x : ( P ( x ) Ú Q ( x ) ) º ( $x : P ( x ) ) Ú ( $x : Q ( x ) )
4° "x : ( P ( x ) Ú Q ( x ) ) Ü ( "x : P ( x ) ) Ú ( "x : Q ( x ) )
2019/2020 47
Quantificateurs
P ( x ) = { x Î est pair}
• Exemple :
Q ( x ) = { x Î est impair}
"x : ( P ( x ) Ù Q ( x ) ) F
( "x : P ( x ) ) Ù ( "x : Q ( x ) ) F
$x : ( P ( x ) Ù Q ( x ) ) F
( $x : P ( x ) ) Ù ( $x : Q ( x ) ) V
$x : ( P ( x ) Ú Q ( x ) ) V
( $x : P ( x ) ) Ú ( $x : Q ( x ) ) V
( "x : P ( x ) ) Ú ( "x : Q ( x ) ) F
2019/2020 "x : ( P ( x ) Ú Q ( x ) ) V 48
Logique floue
• Un énoncé a un degré de vérité compris
entre 0 et 1.
• Exemple : « il fait chaud »
– 0 : faux,
– 0,2 : plutôt faux,
– 0,5 : peut-être bien…
– 0,8 : plutôt vrai,
– 1 : vrai.
• Redéfinition des opérateurs logiques.
2019/2020 49
Application en aide à la
décision
• Problèmes de décision.
• Modélisation des préférences.
• Structures de préférences.
• La méthodologie PROMETHEE.
2019/2020 50
Quelques Problèmes de
Décision et d’Evaluation
• Choisir le site d’implantation d’une
nouvelle usine, d’un magasin, ...
• Engager du personnel, GRH.
• Acheter du matériel.
• Evaluer la qualité des fournisseurs.
• Evaluer des projets.
• Choisir une stratégie d’investissement.
2019/2020 51
Tableau Multicritère
• Actions :
– décisions possibles,
– items à évaluer.
• Critères :
– quantitatifs,
– qualitatifs.
2019/2020 52
Tableau Multicritère
Action 1
Action 2
Action 3
Action 4
Action 5
…
2019/2020 53
Tableau Multicritère
Action 1
Action 2
Action 3
Action 4
Action 5
…
2019/2020 54
Tableau Multicritère
Crit. 1 Crit. 2 Crit. 3 Crit. 4
…
(/20) (cote) (appréc.) (O/N)
2019/2020 58
Tableau Multicritère
Marque Prix Puissance Consomm. Habitabilité Confort
Moyenne A 360000 75 8,0 3 3
Sport 390000 110 9,0 1 2
Moyenne B 355000 85 7,0 4 3
Luxe 1 480000 90 8,5 4 5
Economic 250000 50 7,5 2 1
Luxe 2 450000 85 9,0 5 4
2019/2020 59
Tableau Multicritère
Marque Prix Puissance Consomm. Habitabilité Confort
Moyenne A 360000 75 8,0 3 3
Sport 390000 110 9,0 1 2
Moyenne B 355000 85 7,0 4 3
Luxe 1 480000 90 8,5 4 5
Economic 250000 50 7,5 2 1
Luxe 2 450000 85 9,0 5 4
2019/2020 60
Tableau Multicritère
Marque Prix Puissance Consomm. Habitabilité Confort
Moyenne A 360000 75 8,0 3 3
Sport 390000 110 9,0 1 2
Moyenne B 355000 85 7,0 4 3
Luxe 1 480000 90 8,5 4 5
Economic 250000 50 7,5 2 1
Luxe 2 450000 85 9,0 5 4
2019/2020 61
Tableau Multicritère
Marque Prix Puissance Consomm. Habitabilité Confort
Moyenne A 360000 75 8,0 3 3
Sport 390000 110 9,0 1 2
Moyenne B 355000 85 7,0 4 3
Luxe 1 480000 90 8,5 4 5
Economic 250000 50 7,5 2 1
Luxe 2 450000 85 9,0 5 4
2019/2020 63
Structure de préférences
• Propriétés (logiques):
aPb Þ non bPa P est asymétrique
aIa I est réflexive
aIb Þ bIa I est symétrique
Non aRa R est irréflexive
aRb Þ bRa R est symétrique
• Ces trois relations de préférence forment
une structure de préférence (s.p.), si pour
tous a,b de A on a toujours l’une des quatre
situations suivantes :
2019/2020 aPb ou bPa ou aIb ou aRb 64
Structure de préférence
traditionnelle (unicritère)
• Optimisation d’une fonction g définie sur A
ìaPb Û g ( a ) > g ( b )
"a, b Î A : í
îaIb Û g ( a ) = g ( b )
• Conséquences :
R est vide
P est transitive
I est transitive
• Préordre total.
2019/2020 65
Notion de seuil
d’indifférence
• Problème : Intransitivité de
l’indifférence.
Cf. Paradoxe de la tasse de café (Luce, 1956)
• Introduction d’un seuil d’indifférence :
ìaPb Û g ( a ) > g (b ) + q
"a, b Î A : í
îaIb Û g ( a ) - g (b ) £ q
• Quasi-ordre
2019/2020
: P est transitive, mais pas I.
66
Autres structures de
préférences
• Seuil d’indifférence variable
Þ Notion d’ordre d’intervalle.
• Seuil de préférence + seuil
d’indifférence
Þ Notion de pseudo-ordre.
• Modèles incluant l’incomparabilité
Þ Notion d’ordre partiel.
• Structures valuées de préférences.
2019/2020 67
Théorie du choix social
• Problème :
– Un groupe de personnes doivent choisir un candidat
parmi plusieurs (élection).
– Chaque personne (électeur) classe les candidats par
ordre de préférence.
– Quel candidat doit être élu ?
• Quelle est la « meilleure » procédure de vote ?
• Analogie avec les modèles multicritères :
– Candidats « actions,
– Electeurs « critères.
2019/2020 68
5 procédures…
… parmi d’autres…
1. Majorité relative.
2. Condorcet.
3. Scrutin à 2 tours (présidentielle).
4. Borda.
5. Eliminations successives.
2019/2020 69
Procédure 1 : Majorité
relative
3 candidats: Albert, Bruno, Claire
30 votants:
11 10 9
votants votants votants
A 11
A B C
B 10
B C B
C 9
C A A
Albert est élu
2019/2020 70
Procédure 1 : Majorité
relative
3 candidats: Albert, Bruno, Claire
30 votants:
11 10 9
votants votants votants
A 11
A B C
B 10
B C B
C 9
C A A
Problème : B et C préférés à A
Albert est élu
2019/2020 par une majorité de votants ! 71
Marie Jean Antoine Nicolas de Caritat
Marquis de Condorcet
1743 - 1794
2019/2020 72
Procédure 2 : Condorcet
3 candidats: Albert, Bruno, Claire
30 votants:
11 10 9
votants votants votants B meilleur que A 19
votes
A B C 21
B meilleur que C
votes
B C B 19
C meilleur que A
votes
C A A
4 3 2
votants votants votants A meilleur que B 6
votes
A B C 7
B meilleur que C
votes
B C A 5
C meilleur que A
votes
C A B
2019/2020 74
pas d’élu !
Procédure 3 : Scrutin à 2 tours
(élection présidentielle française)
4 candidats: Albert, Bruno, Claire, Diane
63 votants:
22 21 20
votants votants votants 1er tour: B et C
B C D C bat B
2ème tour:
(41 contre 22)
A A A
C D C
Claire est élue
D B B
2019/2020 75
Procédure 3 : Scrutin à 2 tours
(élection présidentielle française)
4 candidats: Albert, Bruno, Claire, Diane
63 votants:
B C A C
2019/2020 77
Procédure 3 : scrutin à 2 tours
(élection présidentielle française)
3 candidats: Albert, Bruno, Claire
17 votants: Albert était élu
5 6 4 2
votants votants votants votants
1er tour: A et C
C A B AB
C bat A
A B C BA 2ème tour:
(9 contre 8)
B C A C
Claire est élue !
2019/2020
Problème : non-monotonicité ! 78
Jean Charles de Borda
1733 - 1799
2019/2020 79
Procédure 4 : Borda
31 x 2 + 39 x 1
30 29 10 10 1 1 Points Scores
votants votants votants votants votant votant
A C C B A B 2 A 101
C A B A B C 1 B 33
B B A C C A 0 C 109
2019/2020
Claire est élue ! 39 x 2 + 31 x 1
80
Procédure 4 : Borda
3 candidats: Albert, Bruno, Claire
81 votants:
30 29 10 10 1 1 Points Scores
votants votants votants votants votant votant
A C C B A B 2 A 101
C A B A B C 1 B 33
B B A C C A 0 C 109
2019/2020 87
En conclusion ?
5 candidats: Albert, Bruno, Claire, Diane, Eric
25 votants: Majorité relative:
8 7 4 4 2 Albert est élu
votants votants votants votants votants Procédure française:
Bruno est élu
A B E D C
Procédure de Condorcet:
C D C E E Claire est élue
Procédure de Borda:
D C D B D Diane est élue
B E B C B Eliminations successives:
Eric est élu
E
2019/2020
A A A A 88
Kenneth Arrow
(Nobel d’économie, 1972)
• Théorème d’impossibilité (1952) :
Avec au moins 2 votants et 3 candidats, il est impossible de
construire une procédure de vote satisfaisant simultanément les 5
propriétés suivantes :
– Non-dictature.
– Universalité.
– Indépendance vis-à-vis des tiers.
– Monotonicité.
– Non-imposition.
2019/2020 89
Méthodes de Surclassement
• Principe de majorité
(Cf théorie du choix social)
• Comparaisons par paires des actions.
2019/2020 90
Méthodes d’Aide à la Décision
• Information supplémentaire :
Perception des échelles
Pondération des critères
• Procédure d’analyse :
Approche prescriptive : PROMETHEE
Approche descriptive : GAIA
2019/2020 91
Comparaison de 2 Actions
Crit. 1 Crit. 2 Crit. 3 Crit. 4
…
(/20) (cote) (appréc.) (O/N)
Degré de préférence
1
Différence
0
Q 6 P
2019/2020 94
PROMETHEE
Economic Luxe 1
1,0 -230000 250000 Prix 480000
50 Puissance 90 +40 1,0
0,5 -1,0 7,5 Consomm. 8,5
2 Habitabilité 4 +2 0,5
1 Confort 5 +4 1,0
Préférence
Ecart
2019/2020 95
PROMETHEE
Préf (Eco.,Lux.) Economic Luxe 1 Préf (Lux.,Eco.)
1,0 -230000 250000 Prix 480000 0,0
0,0 50 Puissance 90 +40 1,0
0,5 -1,0 7,5 Consomm. 8,5 0,0
0,0 2 Habitabilité 4 +2 0,5
0,0 1 Confort 5 +4 1,0
Préférence
Ecart
2019/2020 96
PROMETHEE
Préf (Eco.,Lux.) Préf (Lux.,Eco.)
Economic Luxe 1 Poids
1,0 -230000 250000 Prix 480000 0,0 1
0,0 50 Puissance 90 +40 1,0 1
0,5 -1,0 7,5 Consomm. 8,5 0,0 1
0,0 2 Habitabilité 4 +2 0,5 1
0,0 1 Confort 5 +4 1,0 1
Préférence
q Préf (Eco.,Lux.) = 0,3
= (1 + 0 + 0,5 + 0 + 0 ) / 5
q Préf (Lux.,Eco.) = 0,5
Ecart = (0 + 1 + 0 + 0,5 + 1 ) / 5
2019/2020 97
PROMETHEE
Préf (Eco.,Lux.) Préf (Lux.,Eco.)
Economic Luxe 1 Poids
1,0 -230000 250000 Prix 480000 0,0 2
0,0 50 Puissance 90 +40 1,0 1
0,5 -1,0 7,5 Consomm. 8,5 0,0 2
0,0 2 Habitabilité 4 +2 0,5 1
0,0 1 Confort 5 +4 1,0 1
Préférence
q Préf (Eco.,Lux.) = 0,43
= (2 x 1 + 0 + 2 x 0,5 + 0 + 0 ) / 7
q Préf (Lux.,Eco.) = 0,36
Ecart = (0 + 1 + 0 + 0,5 + 1 ) / 7
2019/2020 98
PROMETHEE
Préf (Eco.,Lux.) Economic Luxe 1 Préf (Lux.,Eco.)
1,0 -230000 250000 Prix 480000 0,0
0,0 50 Puissance 90 +40 1,0
0,5 -1,0 7,5 Consomm. 8,5 0,0
0,0 2 Habitabilité 4 +2 0,5
0,0 1 Confort 5 +4 1,0
Préférence
Q P
Critère usuel Critère en « U » Critère en « V »
Q P Q P S
2019/2020 101
Matrice des p (a,b)
p ( a, b ) Moy. A Sport Moy.B Lux.1 Econ. Lux.2 f ( a ) +
Moy. A 0,00
Sport 0,00
Moy.B 0,00
Lux.1 0,00 0,50
Econ. 0,30 0,00
Lux.2 0,00
f (a)
-
f (a)
2019/2020 102
Matrice des p (a,b)
p ( a, b ) Moy. A Sport Moy.B Lux.1 Econ. Lux.2 f ( a ) +
f (a)
2019/2020 103
Calcul de f+(a)
p ( a, b ) Moy. A Sport Moy.B Lux.1 Econ. Lux.2 f ( a ) +
f (a)
2019/2020 104
Calcul de f+(a)
p ( a, b ) Moy. A Sport Moy.B Lux.1 Econ. Lux.2 f ( a ) +
f (a)
2019/2020 105
Calcul de f-(a)
p ( a, b ) Moy. A Sport Moy.B Lux.1 Econ. Lux.2 f ( a ) +
2019/2020 106
Calcul de f-(a)
p ( a, b ) Moy. A Sport Moy.B Lux.1 Econ. Lux.2 f ( a ) +
2019/2020 107
Calcul de f (a)
p ( a, b ) Moy. A Sport Moy.B Lux.1 Econ. Lux.2 f ( a ) +
2019/2020 108
Calcul de f (a)
p ( a, b ) Moy. A Sport Moy.B Lux.1 Econ. Lux.2 f ( a ) +
2019/2020 109
Calcul des flux de
préférence
p ( a, b ) Moy. A Sport Moy.B Lux.1 Econ. Lux.2 f ( a ) +
2019/2020 110
Flux de Préférence
b b
f + (a) f - (a)
a a
+ 1
• Flux sortant : f (a) = å p ( a, b )
(puissance) n - 1 bÎA
- 1
• Flux entrant : f (a) = å p ( b, a )
(faiblesse) n - 1 bÎA
• Flux net : f (a) = f + (a) - f - (a)
2019/2020 111
PROMETHEE
• Classer les
décisions de la
meilleure à la
moins bonne
• Mettre en
évidence les
meilleurs
compromis
2019/2020 112
PROMETHEE
• PROMETHEE I : classement partiel f + ,f -
2019/2020 113
PROMETHEE I & II
+ -
• PROMETHEE I : classement partiel – f ,f
2019/2020 114
Diamant PROMETHEE
i+
Ph
Ph
i
2019/2020 115
Analyse de Sensibilité avec
PROMETHEE
• Poids des critères « classement
PROMETHEE.
• Analyse de sensibilité interactive :
« Walking Weights ».
• Robustesse par rapport aux poids ?
– Intervalles de stabilité.
– Intervalles de stabilité visuels.
2019/2020 116
Walking Weights
2019/2020 117
Visual Stability Intervals
• Représentation
graphique.
• 5 dimensions !
2019/2020 119
GAIA
1. Calcul des flux nets
unicritères (normalisation)
2. Projection sur un plan :
• Représentation
graphique.
• 5 dimensions !
2019/2020 120
GAIA
• Mettre en
évidence les
conflits entre
critères.
• Identifier les
compromis
possibles.
• Aider à fixer
les priorités.
2019/2020 121
GAIA
• Actions :
points
• Critères :
axes
2019/2020
D = 90% 122
GAIA
Prix
• Economico: 15 k€
• Turismo: 25,5-26 k€
• Deportivo: 29 k€
• Lujo: 35-38 k€
2019/2020
D = 90% 123
GAIA
Puissance
• Deportivo: 110 kW
• Lujo: 85-90 kW
• Turismo: 75-85 kW
• Economico: 50 kW
2019/2020
D = 90% 124
GAIA
• Actions:
PROMETHEE II !
points
• Turismo B : 0,26
• Criteria: 0,06
• Lujo 1 :
axes
• Turismo A : 0,02
• Decision
• Lujo 2 : 0,00
axis
• Economico : -0,15
• Deportivo : -0,17
2019/2020
D = 90% 125
GAIA-Brain
20 ans 35 ans
2019/2020 126
GAIA
• Actions :
points
• Critères :
axes
• Axe de décision
2019/2020
D = 90% !! D % d’information seulement !! 127
GAIA Webs
Lujo 1 Lujo 2
Turismo A Turismo B
Action profile – Turismo B
Deportes Economico
2019/2020 128
Méthodes PROMETHEE & GAIA
• PROMETHEE : approche prescriptive
– Classement partiel des actions
- PROMETHEE I
– Classement complet des actions
- PROMETHEE II
• GAIA : approche descriptive
– Identification des conflits entre critères.
– Profils caractéristiques des actions.
– Fixer les priorités, analyse de sensibilité.
2019/2020 129
Exemple 2 :
Localisation d’une usine
• Actions : 5 sites potentiels
• Critères :
– f1 : Coût (investissement)
– f2 : Coût (opérations)
– f3 : Emploi
– f4 : Transport
– f5 : Impact sur l’environnement
– f6 : Impact social
2019/2020 130
Tableau d’Evaluation
2019/2020 133
Matrice Multicritère
• Adapter les méthodes
multicritères à la
dimension
multidécideur.
• Etudier les conflits
entre décideurs.
Actions
DM
's
• Aider à atteindre une
Critères solution de
consensus.
2019/2020 134
Modèle Multi-scénarios
• Scénarios :
– Points de vue,
– Hypothèses de travail, …
• Evaluations :
– Critères ‘objectifs’ : évaluations
communes.
– Critères ‘subjectifs’ : évaluations
particulières à chaque scénario.
• Structures de préférences différentes :
– Poids, seuils de préférence.
2019/2020 135
Modèle Multi-scénarios
• Adaptation de PROMETHEE :
– Classements individuels
– Classements globaux (groupe) en tenant
compte d’une pondération éventuelle des
scénarios
• Adaptation de GAIA :
– GAIA-Critères
– GAIA-Scénarios
– GAIA-Unicritère
2019/2020 136
2019/2020 137
Visual PROMETHEE
WWW.PROMETHEE-GAIA.NET
• 3-level simple hierarchical criteria
structure.
• New visual tools:
– PROMETHEE rankings and Diamond,
– Visual Weight Stability Intervals,
– Decision-maker’s Brain (PROMETHEE VI),
– GAIA-3D,
– GAIA-Webs and PROMap GIS integration,
– Performance (input-output) analysis, …
2019/2020 138
PROMap
• Intégration avec Google Maps :
2019/2020 139
Travail personnel
• Elaborer un problème de décision : min. 8
actions, 5 critères et 2 scénarios.
• Modéliser le problème avec PROMETHEE.
• Analyser le problème avec Visual
PROMETHEE:
– Classements PROMETHEE.
– Analyse GAIA.
– Analyse de sensibilité:
• Poids des critères.
• Différents scénarios.
– Bonus: catégories, groupes, clusters, …
2019/2020 140
Etapes
1. Définir le problème :
– Vérifier la faisabilité.
2. Définir les actions, critères et scénarios :
– Echelles.
3. Modélisation des préférences :
– Fonctions de préférences.
– Pondération des critères.
4. Analyse critique :
– Classements PROMETHEE.
– GAIA.
– Analyse de sensibilité (poids).
– Analyse multi-scénarios.
– Bonus (utilisation d’outils additionnels).
– Conclusion.
2019/2020 141
Bonus
• Définition de catégories d’actions, de
groupes et de clusters de critères.
• Utilisation d’outils supplémentaires :
– Arc-en-ciel PROMETHEE,
– Profils, GAIA-Webs,
– Intervalles de stabilité,
– PROMETHEE V,
– GIS,
– …
2019/2020 142
Pour utiliser PROMETHEE
1. Définir les actions :
– Liste.
2. Définir les critères :
– Quantitatifs,
– Qualitatifs (choix de l’échelle).
3. Evaluer (tableau).
4. Pour chaque critère :
– Choisir un type de fonction de préférence.
– Fixer les seuils correspondants.
5. Pondérer les critères.
2019/2020 143
Critères qualitatifs & quantitatifs
• Critères quantitatifs :
– Echelle numérique naturelle.
• Critères qualitatifs :
– Echelle qualitative ordinale (ex: échelles de Likert).
– Maximum 9 niveaux (7 ± 2) pour assurer une
évaluation cohérente.
– Présence d’un niveau neutre ?
– Exemples:
• Très bon, Bon, Moyen, Mauvais, Très mauvais
• Oui, Non
• ++, +, 0, -, --
• ++, +, -, --
– Echelle numérique sous-jacente (codage).
2019/2020 144
Fonctions de préférence
(disponibles dans Visual PROMETHEE)
Q P
Usuelle En « U » En « V »
Q P Q P S
Construction
de la
LGV Tanger – Casablanca
2019/2020 147
LGV Tanger - Casablanca
2019/2020 148
LGV Tanger - Casa
https://www.oncf.ma/fr/Developpement/Grands-projets/Ligne-a-grande-vitesse-tanger-casablanca
2019/2020 151
Les critères
• Coût
– Quantitatif – monétaire (milliards de DH)
• Vitesse commerciale
– Quantitatif (km/h)
• Ouvrages d’art
– Quantitatif – discret (nombre – de 9 à 14)
• Expropriations
– Quantitatif (nombre de ménages)
• Emplois créés
– Quantitatif (nombre d’emplois)
• Impact environnemental
– Qualitatif (5 pts – de très faible à très élevé)
2019/2020 152
Plan du cours
1. Introduction
– Contenu du cours
2. Logique mathématique
– Calcul propositionnel
– Calcul des prédicats
– Logique floue et aide à la décision
3. Récurrence et induction
4. Analyse d’algorithmes
– Comparaison asymptotique de fonctions
– Complexité
5. Mathématique de la gestion
– Théorie des graphes
– Optimisation
2019/2020 153
Récurrence
• Propositions construites à partir d’un
prédicat de poids 1 et du quantificateur
universel :
"n : P ( n )
• Exemple :
n ( n + 1)
"n ³ 0 : 0 + 1 + 2 + ! + n =
2
• Démonstration par récurrence.
2019/2020 154
Principe d’induction faible
• Soit P(n) un prédicat de poids 1 dont
l’univers est N.
• Si P(0) est vraie et si
"n : ( P ( n ) ® P ( n + 1) )
est vraie, alors
"n : P ( n )
est une proposition vraie.
2019/2020 155
Principe d’induction faible
• Exemple :
– P(0) est vraie (évident).
– Supposons P(n) vraie :
n ( n + 1)
0 +1+ 2 +! + n =
alors : 2
n ( n + 1)
0 + 1 + 2 + ! + n + ( n + 1) = + ( n + 1)
2
=
( n + 1)( n + 2 )
2019/2020 2 156
Principe d’induction faible
• Variante : Soient P(n) un prédicat de poids 1
dont l’univers est N et d un nombre naturel.
• Si P(d) est vraie et si
"n ³ d : ( P ( n ) ® P ( n + 1) )
est vraie, alors
"n ³ d : P ( n )
est une proposition vraie.
2019/2020 157
Principe d’induction forte
• Soit P(n) un prédicat de poids 1 dont
l’univers est N.
• Si P(0) est vraie et si
"n : ( ( P ( 0 ) Ù P (1) Ù ! Ù P ( n ) ) ® P ( n + 1) )
est vraie, alors
"n : P ( n )
est une proposition vraie.
2019/2020 158
Principe d’induction forte
• Variante : Soient P(n) un prédicat de poids 1
dont l’univers est N et d un nombre naturel.
• Si P(d) est vraie et si
"n ³ d : ( ( P ( d ) Ù ! Ù P ( n ) ) ® P ( n + 1) )
est vraie, alors
"n ³ d : P ( n )
est une proposition vraie.
2019/2020 159
Principes d’induction
• Les deux principes d’induction sont
équivalents.
• Le principe d’induction forte peut se
généraliser à d’autres ensembles que N.
• Le principe d’induction forte est parfois
plus facile à utiliser dans les
démonstrations.
2019/2020 160
Exemple
• Montrer que :
2019/2020 161