Académique Documents
Professionnel Documents
Culture Documents
Modélisation informatique
G G*
Représentations informatique
• Matrices
– Matrice adjacence : 1-graphe (booléenne ou valuée) vs. p-graphe
• Carrée : ligne : noeud, colonne : noeud
• Aij = m+(xi, xj) ou Vrai ou valuation
– Matrice d'incidence :
• noeuds-arcs (-1 -extrémité-, 0, 1 -origine-)
• ligne : noeud, colonne : arc
• Listes : (matrices creuses)
– Listes des noeuds successeurs / prédécesseurs
– Listes des arcs (cocycles)
Représentations informatique (2)
Fonction de coût
1 2 3 4 5
1 0 1 0 1 0
2 1 0 1 1 0
3 0 1 0 0 1
4 1 1 0 0 1
5 0 0 1 1 0
Valuation ! Fonction de coût
• Arc inexistant : 0 ou infini => problème de représentation
1 2 3 4 5
1 0 5 0 2 0
2 0 0 2 0 0
3 0 0 0 0 0
4 0 7 0 0 0
5 0 0 2 3 0
Noeuds-arcs
• p-graphe, pas de boucle
• Colonne : arc, ligne : noeud, origine : + destination : -
1 2 3 4 5 6
1 +1 +1 0 0 0 0
2 -1 0 -1 +1 0 0
3 0 0 0 -1 -1 0
4 0 -1 +1 0 0 -1
5 0 0 0 0 +1 +1
Successeurs
• Tableau : Nœud : tableau [1.. N+1] d’indirections sur les
successeurs ([1.. M+1])
• Principe : idem pour les voisins (non orienté) mais
symétrique => 2M + 1 ou pour les prédécesseurs
Noeud 1 2 3 4 5 6 (N+1)
Indirection 1 3 4 4 5 7 Fin
Noeud 2 4 3 2 3 4 X
Indirection 1 2 3 4 5 6 7
Successeurs (version liste
chaînée)
1 2 3 4 5
2 3 2 3
4
4
Orienté Valué
• Idem successeurs + valuation (liste chaînée : multi-graphe)
Noeud 1 2 3 4 5 6
Indirection 1 3 4 4 5 7
Noeud 2 4 3 2 3 4 X
Coût 5 2 2 7 2 3
Indirection 1 2 3 4 5 6 7
Cocycle
• Idem liste des successeurs mais avec les arcs => p-graphes
avec boucles
1 2 3 4 5 6
Noeud 1 3 4 4 5 7
Arc 1 2 4 3 5 6 X
Extrémité 2 4 3 2 3 4 X
Indirection 1 2 3 4 5 6 7
Passages
Matrice d'adjacence
2
Liste des arcs / arêtes O(N )
• Fermeture transitive
– Simple : Dijkstra : O(V2)
– Méthode matricielle
• Base : N3 log2 N
• Floyd-Warshall : N3
– Méthode de séquence
• Ford : 2 N3
• Yen : N3 / 6
– …. En gros du N3
Complexité (2)