silico.biotoul.fr
 

M1 BBS Graphes TP Librairie - Parcours de graphes

From silico.biotoul.fr

(Difference between revisions)
Jump to: navigation, search
m (TP1 - 3h)
m (Parcours en largeur)
(10 intermediate revisions not shown)
Line 5: Line 5:
Cette librairie va permettre :
Cette librairie va permettre :
* le chargement d'un graphe sous différents formats (SIF et TAB vus précédemment, OBO pour la ''Gene Ontology'' et produits de gènes pour les annotations des gènes en ''GOTerm''),
* le chargement d'un graphe sous différents formats (SIF et TAB vus précédemment, OBO pour la ''Gene Ontology'' et produits de gènes pour les annotations des gènes en ''GOTerm''),
 +
* le parcours en largeur (BFS),
* le parcours en profondeur (DFS),
* le parcours en profondeur (DFS),
* la détection de cycle/circuit,
* la détection de cycle/circuit,
* le tri topologique,
* le tri topologique,
-
* le parcours en largeur (BFS),
 
* l'identification des plus courts chemin à partir d'un sommet (Bellman-Ford), ou entre toutes les paires de sommets (Floyd-Warshall),
* l'identification des plus courts chemin à partir d'un sommet (Bellman-Ford), ou entre toutes les paires de sommets (Floyd-Warshall),
* ...
* ...
-
 
-
= TP1 - 3h =
 
== Structures de données et représentation d'un graphe ==
== Structures de données et représentation d'un graphe ==
Line 29: Line 27:
Toutes ces informations peuvent être stockées dans un dictionnaire à l'allure suivante (avec la syntaxe python) :
Toutes ces informations peuvent être stockées dans un dictionnaire à l'allure suivante (avec la syntaxe python) :
  graph = {
  graph = {
-
       'directed':   True/False,
+
       'directed':         True,
-
       'weighted':   True/False,
+
       'weighted':         False,
-
       'attributes': {},
+
       'nodes':             {},
-
       'nodes':       {},
+
       'edges':             {},
-
       'edges':      {}
+
       'nb_edges':         0,
 +
       'weight_attribute':  None,
  }
  }
-
Les clés ''attributes'', ''nodes'' et ''edges'' pointent elles-mêmes vers des dictionnaires imbriqués.
+
Les clés ''nodes'' et ''edges'' pointent elles-mêmes vers des dictionnaires (imbriqués).
Considérons le graphe G très simple suivant constitué de 2 sommets et d'un arc (A,B) ayant un poids de 5 :
Considérons le graphe G très simple suivant constitué de 2 sommets et d'un arc (A,B) ayant un poids de 5 :
-
      5
+
    weight: 5
-
  A ------> B
+
  A -------------> B
Le plus compliqué est le stockage des arcs qui peuvent avoir différents attributs. Le choix proposé est d'utiliser un dictionnaire de dictionnaires de dictionnaires de dictionnaires ... : pour l'arc de A à B de poids 5 :  
Le plus compliqué est le stockage des arcs qui peuvent avoir différents attributs. Le choix proposé est d'utiliser un dictionnaire de dictionnaires de dictionnaires de dictionnaires ... : pour l'arc de A à B de poids 5 :  
Line 54: Line 53:
Pour G, le dictionnaire pour son stockage aura l'allure suivante :
Pour G, le dictionnaire pour son stockage aura l'allure suivante :
<source lang='python'>
<source lang='python'>
-
  G = {
+
  g = {
   'directed': True,
   'directed': True,
   'weighted': True,
   'weighted': True,
-
  'attributes':  {
 
-
      'weight_attribute': 'weight' 
 
-
      },
 
   'nodes': {
   'nodes': {
       'A': { },
       'A': { },
Line 70: Line 66:
           }
           }
         }
         }
-
   }
+
   },
 +
  'nb_edges': 1,
 +
  'weight_attribute': 'weight'
}
}
</source>
</source>
Line 76: Line 74:
Pour créer un graphe, la librairie python que vous allez développer devrait donc commencer par le code python suivant :
Pour créer un graphe, la librairie python que vous allez développer devrait donc commencer par le code python suivant :
<source lang='python'>
<source lang='python'>
-
#!/usr/bin/python3
+
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
# -*- coding: utf-8 -*-
Line 87: Line 85:
def create_graph(directed = True, weighted = False): # TP1
def create_graph(directed = True, weighted = False): # TP1
-
g = { 'directed': directed, 'weighted': weighted, 'nb_nodes': 0, 'nb_edges': 0, 'weight_attribute': None , 'nodes': {}, 'edges': {}  }
+
g = { 'nodes': {}, 'edges': {}, 'nb_edges': 0, 'directed': directed, 'weighted': weighted, 'weight_attribute': None }
return g
return g
Line 95: Line 93:
def TP1():
def TP1():
-
#~ import Graph as gr
 
pprint('#### create_graph ####')
pprint('#### create_graph ####')
-
G = create_graph()
+
g = create_graph()
-
pprint(G)
+
pprint(g)
#############
#############
Line 110: Line 107:
if __name__ == "__main__":
if __name__ == "__main__":
TP1()
TP1()
-
TP2()
+
# TP2()
</source>
</source>
Line 126: Line 123:
g['nodes'][n] = attributes
g['nodes'][n] = attributes
g['edges'][n] = {} # init outgoing edges
g['edges'][n] = {} # init outgoing edges
-
g['nb_nodes'] += 1
 
return g['nodes'][n] # return node attributes
return g['nodes'][n] # return node attributes
</source>
</source>
Line 137: Line 133:
<source lang='python'>
<source lang='python'>
-
def add_edge(g, n1, n2, attributes = None): # TP1
+
def add_edge(g, n1, n2, attributes = None, n1_attributes = None, n2_attributes = None): # TP1
# create nodes if they do not exist
# create nodes if they do not exist
-
if n1 not in g['nodes']: add_node(g, n1) # ensure n1 exists
+
if n1 not in g['nodes']: add_node(g, n1, n1_attributes) # ensure n1 exists
-
if n2 not in g['nodes']: add_node(g, n2) # ensure n2 exists
+
if n2 not in g['nodes']: add_node(g, n2, n2_attributes) # ensure n2 exists
# add edge(s) only if they do not exist
# add edge(s) only if they do not exist
if n2 not in g['edges'][n1]:
if n2 not in g['edges'][n1]:
-
if attributes is None:
+
if attributes is None: # create empty attributes if not provided
attributes = {}
attributes = {}
g['edges'][n1][n2] = attributes
g['edges'][n1][n2] = attributes
Line 149: Line 145:
g['edges'][n2][n1] = g['edges'][n1][n2] # share the same attributes as n1->n2
g['edges'][n2][n1] = g['edges'][n1][n2] # share the same attributes as n1->n2
g['nb_edges'] += 1
g['nb_edges'] += 1
-
return g['edges'][n1][n2] # return edge atributes
+
return g['edges'][n1][n2] # return edge attributes
</source>
</source>
Chargement d'un fichier au format SIF : il s'agit de  
Chargement d'un fichier au format SIF : il s'agit de  
* créer un graphe (orienté ou non, mais pas pondéré)
* créer un graphe (orienté ou non, mais pas pondéré)
-
* lire le fichier ligne par ligne, et pour chacune ligne : ajout des sommets et des arcs
+
* lire le fichier ligne par ligne, et pour chacune des lignes : ajout des sommets et des arcs
<source lang='python'>
<source lang='python'>
Line 172: Line 168:
</source>
</source>
-
Vous pourrez tester ces fonction sue le fichier [[File:M1BBS Graphe dressing.sif|dressing.sif]] avec la fonction TP1() suivante :
+
Vous pourrez tester ces fonctions sur le fichier [[File:M1BBS Graphe dressing.sif|dressing.sif]] avec la fonction TP1() suivante :
<source lang='python'>
<source lang='python'>
def TP1():
def TP1():
print('#### create_graph ####')
print('#### create_graph ####')
-
G = create_graph()
+
g = create_graph()
-
pprint(G)
+
pprint(g)
print('## Adding node A')
print('## Adding node A')
-
add_node(G,'A')
+
add_node(g,'A')
-
pprint(G)
+
pprint(g)
print('## Adding edge A -> B')
print('## Adding edge A -> B')
-
add_edge(G, 'A', 'B')
+
add_edge(g, 'A', 'B')
-
pprint(G)
+
pprint(g)
print('## #Loading SIF file dressing.sif')
print('## #Loading SIF file dressing.sif')
G = load_SIF('dressing.sif')
G = load_SIF('dressing.sif')
-
pprint(G)
+
pprint(g)
</source>
</source>
Line 215: Line 211:
'''Charger''' le graphe utilisé précédemment ([[Media:M1BBS Graphe dressing.sif|dressing.sif]]), et effectuer un parcours en largeur depuis sous-vetements.
'''Charger''' le graphe utilisé précédemment ([[Media:M1BBS Graphe dressing.sif|dressing.sif]]), et effectuer un parcours en largeur depuis sous-vetements.
-
= TP2 & 3 - 6h =
+
Quels sont les sommets que l'on peut atteindre à partir de WBBJ sur EcolA_String_coexpression.sif ?
 +
 
== Parcours en profondeur et applications ==
== Parcours en profondeur et applications ==
Line 247: Line 244:
-
'''Implémentez et testez''' la fonction <tt>isAcyclic()</tt> qui renvoie vrai ou faux selon que le graphe est sans circuit ou non.
+
'''Implémentez et testez''' la fonction <tt>is_acyclic()</tt> qui renvoie vrai ou faux selon que le graphe est sans circuit ou non.
-
'''Implémentez et testez''' la fonction <tt>topologicalSort()</tt> qui renvoie les sommets du graphes en ayant effectué un tri topologique.
+
'''Implémentez et testez''' la fonction <tt>topological_sort()</tt> qui renvoie les sommets du graphes en ayant effectué un tri topologique.
-
Quels sont les sommets que l'on peut atteindre à partir de WBBJ sur EcolA_String_coexpression.sif (en vous servant de DFS) ?
 
Autres fichiers :
Autres fichiers :
Line 277: Line 273:
Afin de gagner du temps, la méthode <tt>loadTAB</tt> vous est fournie :
Afin de gagner du temps, la méthode <tt>loadTAB</tt> vous est fournie :
<source lang='python'>
<source lang='python'>
-
def loadTAB(filename, directed=True): # TP2
+
def load_TAB(filename, directed=True, weighted=False, weight_attribute=None):  
-
g = createGraph(directed)
+
"""
 +
parse a TAB file (as cytoscape format) and returns a graph.
 +
 +
line syntax: id1 id2 att1 att2 att3 ...
 +
"""
 +
g = create_graph(directed, weighted)
with open(filename) as f:  
with open(filename) as f:  
# GET COLUMNS NAMES
# GET COLUMNS NAMES
Line 295: Line 296:
for i in range(len(attNames)):
for i in range(len(attNames)):
att[ attNames[i] ] = vals[i]
att[ attNames[i] ] = vals[i]
-
addEdge(g, v1, v2, att)
+
add_edge(g, v1, v2, att)
row = f.readline().rstrip() # NEXT LINE
row = f.readline().rstrip() # NEXT LINE
return g
return g
Line 338: Line 339:
Quel est le diamètre du graphe ? '''Affichez''' le chemin correspondant.
Quel est le diamètre du graphe ? '''Affichez''' le chemin correspondant.
 +
 +
== Dijkstra ==
 +
 +
Dijkstra(G,w,s)
 +
  INITIALIZE-SINGLE-SOURCE(G, s)
 +
  Q <math>\leftarrow</math> V[G]
 +
  '''while''' Q <math>\neq \emptyset</math>
 +
    '''do''' u <math>\leftarrow</math> EXTRACT-MIN(Q)
 +
        '''for each''' v <math>\in</math> Adj[u]
 +
          '''do''' RELAX(u,v,w)
 +
 +
Pour une plus grande efficacité, il faudra utiliser une file avec priorités (''priority queue'') pour la ligne avec EXTRACT-MIN. La file contiendra donc les sommets à parcourir, du plus proche au plus éloigné.
 +
 +
Le langage python propose le module <tt>heapq</tt> permettant de gérer ce type de file. Néanmoins, une fois inséré dans la file, il n'est plus possible de changer la priorité d'un élément. Pour simplifier pour cette fois, on pourra insérer de nouveau le sommet dans la file (mais avec une distance plus faible) plutôt que de modifier sa priorité. Pour ne pas traiter un sommet plusieurs fois, il faudra donc s'assurer que le sommet extrait de la file avec EXTRACT-MIN est bien réellement à traiter.
 +
 +
Algorithmes adaptés pour python :
 +
  RELAX(u, v, w)
 +
    '''if''' d[v] > d[u] + w(u, v)
 +
      '''then''' d[v] = d[u] + w(u,v)
 +
          <math>\pi</math>[v] <math>\leftarrow</math> u
 +
          '''return''' True
 +
    '''return''' False
 +
 +
'''Remarque :''' RELAX renvoie maintenant True ou False selon que l'arc a été relaxé (la distance du sommet ''v'' à ''s'' a diminué) ou non. 
 +
 +
  Dijkstra(G,w,s)
 +
  INITIALIZE-SINGLE-SOURCE(G, s)
 +
  S  <math>\leftarrow \emptyset</math>
 +
  Q <math>\leftarrow</math> V[G]
 +
  '''while''' Q <math>\neq \emptyset</math>
 +
    '''do''' u <math>\leftarrow</math> EXTRACT-MIN(Q)
 +
        '''if''' u <math>\not \in</math> S
 +
          '''then''' S  <math>\leftarrow</math> S  <math>\cup</math> u
 +
              '''for each''' v <math>\in</math> Adj[u]
 +
                '''do if''' RELAX(u,v,w)
 +
                      '''then''' Q <math>\leftarrow</math> Q <math>\cup</math> (u, d[u])
 +
 +
'''Aide sur <tt>heapq</tt> :''' pour insérer un sommet avec une priorité dans la file, récupérer le plus proche, ... :
 +
<source lang='python'>
 +
import heapq
 +
 +
pq = [] # initialize empty priority queue
 +
 +
# insertion
 +
u = 'A'
 +
distA = 10
 +
heapq.push(pq, [ distA, u ] )
 +
 +
# get first element
 +
u = heapq.heappop()[1]
 +
 +
# get first element together with its priority
 +
(d, u) = heapq.heappop()
 +
</source>
 +
 +
 +
 +
Graphe vu en cours : [[Media:M1BBS Graphe Dijkstra.tab]]

Revision as of 16:10, 3 December 2018

Contents

Librairie python pour le traitement de graphes

Vous allez réaliser une pseudo-bibliothèque pour les graphes (orientés ou non) que vous allez construire au fur et à mesure de ce TP, du suivant, et du projet pour cette UE.

Cette librairie va permettre :

  • le chargement d'un graphe sous différents formats (SIF et TAB vus précédemment, OBO pour la Gene Ontology et produits de gènes pour les annotations des gènes en GOTerm),
  • le parcours en largeur (BFS),
  • le parcours en profondeur (DFS),
  • la détection de cycle/circuit,
  • le tri topologique,
  • l'identification des plus courts chemin à partir d'un sommet (Bellman-Ford), ou entre toutes les paires de sommets (Floyd-Warshall),
  • ...

Structures de données et représentation d'un graphe

Pour commencer, il vous faut définir les structures de données que vous allez utiliser pour représenter et traiter des graphes. Un graphe

  • peut avoir différents attributs (nom, ordre, diamètre, ...),
  • peut être orienté ou non,
  • peut être pondéré ou non,
  • possède un ensemble de sommets,
  • possède un ensemble d'arcs ou d'arêtes.

De plus, un sommet peut avoir différentes étiquettes ou attributs : identifiant, nom, index, date de passage, couleur, coordonnées (x,y), etc.. De même, un arc ou une arête peut avoir différents attributs : poids, longueur, couleur, type, etc..

Un des choix cruciaux va être de choisir le stockage pour les arcs ou arêtes (notés arcs par la suite) : il est possible, par exemple, d'opter pour une matrice d'adjacence ou des listes d'adjacence. Si l'on manipule des graphes peu denses, la représentation par listes d'adjacence est préférable.

Toutes ces informations peuvent être stockées dans un dictionnaire à l'allure suivante (avec la syntaxe python) :

graph = {
     'directed':          True,
     'weighted':          False,
     'nodes':             {},
     'edges':             {},
     'nb_edges':          0,
     'weight_attribute':  None,
}

Les clés nodes et edges pointent elles-mêmes vers des dictionnaires (imbriqués).

Considérons le graphe G très simple suivant constitué de 2 sommets et d'un arc (A,B) ayant un poids de 5 :

    weight: 5
A -------------> B

Le plus compliqué est le stockage des arcs qui peuvent avoir différents attributs. Le choix proposé est d'utiliser un dictionnaire de dictionnaires de dictionnaires de dictionnaires ... : pour l'arc de A à B de poids 5 :

graph['edges']['A']['B']['weight'] = 5

En d'autres termes :

  • graph['edges'] est un dictionnaire dont les clés sont les sommets source des arcs et dont les valeurs sont des dictionnaires,
  • graph['edges']['A'] est un dictionnaire pour les arcs dont l'extrémité initiale est le sommet A. Ce sommet peut avoir un degré sortant supérieur à 1, donc il faut stocker les extrémités terminales sous forme de dictionnaire. Les clés de ce dictionnaire seront donc les sommets correspondants aux extrémités terminales des sommets dont l'extrémité initiale est A,
  • graph['edges']['A']['B'] est un dictionnaire permettant de stocker les attributs de l'arc (A,B),
  • graph['edges']['A']['B']['weight'] est ainsi le poids de l'arc A --> B.

Ainsi, si un graphe pondéré est chargé, on pourra choisir de stocker le poids des arcs dans les attributs des arcs (accessibles à partir de la clé edges) avec la clé weight. Pour G, le dictionnaire pour son stockage aura l'allure suivante :

 g = {
   'directed': True,
   'weighted': True,
   'nodes': {
      'A': { },
      'B': { }
      },
   'edges': {
      'A': { 
        'B': {
           'weight': 5
           }
        }
   },
   'nb_edges': 1,
   'weight_attribute': 'weight'
}

Pour créer un graphe, la librairie python que vous allez développer devrait donc commencer par le code python suivant :

#!/usr/bin/env python3
# -*- coding: utf-8 -*-
 
from pprint import pprint
import numpy as np # for Floyd-Warshall matrices
 
# TP1 functions
###############
 
 
def create_graph(directed = True, weighted = False): # TP1
	g = { 'nodes': {}, 'edges': {}, 'nb_edges': 0, 'directed': directed, 'weighted': weighted, 'weight_attribute': None }
	return g
 
 
#############
# TP1 Tests
 
def TP1():
	pprint('#### create_graph ####')
	g = create_graph()
	pprint(g)
 
#############
# TP2 Tests
def TP2():
	return
 
#############
 
# Perform tests if not imported by another script
if __name__ == "__main__":
	TP1()
	# TP2()

Créez le fichier correspondant à votre librairie (par exemple Graph.py) et testez-le.

Il s'agit maintenant de pouvoir ajouter des sommets et des arcs.

Avant d'ajouter un sommet, il faut s'assurer qu'il n'existe pas déjà :

def add_node(g, n, attributes = None): # TP1
	if n not in g['nodes']: # ensure node does not already exist
		if attributes is None: # create empty attributes if not provided
			attributes = {}
		g['nodes'][n] = attributes
		g['edges'][n] = {} # init outgoing edges
	return g['nodes'][n] # return node attributes

De même, pour ajouter un arc, il faut

  • s'assurer que l'extrémité initiale existe
  • s'assurer que l'extrémité terminale existe
  • s'assurer que l'arc n'existe pas
  • si le graphe n'est PAS orienté, il faut ajouter A --> B et B --> A
def add_edge(g, n1, n2, attributes = None, n1_attributes = None, n2_attributes = None): # TP1
	# create nodes if they do not exist
	if n1 not in g['nodes']: add_node(g, n1, n1_attributes) # ensure n1 exists
	if n2 not in g['nodes']: add_node(g, n2, n2_attributes) # ensure n2 exists
	# add edge(s) only if they do not exist
	if n2 not in g['edges'][n1]:
		if attributes is None: # create empty attributes if not provided
			attributes = {}
		g['edges'][n1][n2] = attributes
		if not g['directed']:
			g['edges'][n2][n1] = g['edges'][n1][n2] # share the same attributes as n1->n2
		g['nb_edges'] += 1
	return g['edges'][n1][n2] # return edge attributes

Chargement d'un fichier au format SIF : il s'agit de

  • créer un graphe (orienté ou non, mais pas pondéré)
  • lire le fichier ligne par ligne, et pour chacune des lignes : ajout des sommets et des arcs
def load_SIF(filename, directed=True): # TP1
	# line syntax: nodeD <relationship type> nodeE nodeF nodeB
	g = create_graph(directed) # new empty graph
	with open(filename) as f: # OPEN FILE
		# PROCESS THE REMAINING LINES
		row = f.readline().rstrip() # read next line and remove ending whitespaces
		while row:
			vals = row.split('\t') # split line on tab
			for i in range(2, len(vals)):
				att = { 'type': vals[1] } # set edge type
				add_edge(g, vals[0], vals[i], att)
			row = f.readline().rstrip() # read next line
	return g # return graph

Vous pourrez tester ces fonctions sur le fichier File:M1BBS Graphe dressing.sif avec la fonction TP1() suivante :

def TP1():
	print('#### create_graph ####')
	g = create_graph()
	pprint(g)
 
	print('## Adding node A')
	add_node(g,'A')
	pprint(g)
 
	print('## Adding edge A -> B')
	add_edge(g, 'A', 'B')
	pprint(g)
 
	print('## #Loading SIF file dressing.sif')
	G = load_SIF('dressing.sif')
	pprint(g)

Parcours en largeur

Algorithme :

BFS(G, s)
  for each vertex u \in V(G)
    do color[u] \leftarrow WHITE
       d[u] \leftarrow \infty
       π[u] \leftarrow NIL
  color[s] \leftarrow GRAY
  d[s] \leftarrow 0
  Q \leftarrow \empty
  enqueue(Q, s)
  while Q \ne \empty
    do u \leftarrow dequeue(Q)
      for each vertex v \in Adj[u]
        do if color[v] = WHITE
          then color[v] \leftarrow GRAY
               d[v] \leftarrow d[u] + 1
               π[v] \leftarrow u
               enqueue(Q, v)
      color[u] \leftarrow BLACK

Charger le graphe utilisé précédemment (dressing.sif), et effectuer un parcours en largeur depuis sous-vetements.

Quels sont les sommets que l'on peut atteindre à partir de WBBJ sur EcolA_String_coexpression.sif ?

Parcours en profondeur et applications

Implémentez et testez ensuite le parcours en profondeur dont on vous rappelle l'algorithme :

 DFS(G)
   for each vertex u \in V(G)
     do color[u] \leftarrow WHITE
        pred[u]  \leftarrow NIL
   time \leftarrow 0
   for each vertex u \in V(G)
     do if color[u] = WHITE
       then DFS-VISIT(u)
 DFS-VISIT(u)
   color[u] \leftarrow GRAY
   time \leftarrow time + 1
   d[u] \leftarrow time
   for each vertex v \in Adj[u]
     do if color[v] = WHITE
       then pred[v] \leftarrow u
            DFS-VISIT(v)
            class[ (u,v) ] \leftarrow TREE EDGE
       else if color[v] = GRAY
            then class[ (u,v) ] \leftarrow BACK EDGE
            else if d[u] > d[v]
                 then class[ (u,v) ] \leftarrow CROSS EDGE
                 else class[ (u,v) ] \leftarrow FORWARD EDGE
   color[u] \leftarrow BLACK
   time \leftarrow time + 1
   f[u] \leftarrow time


Implémentez et testez la fonction is_acyclic() qui renvoie vrai ou faux selon que le graphe est sans circuit ou non.

Implémentez et testez la fonction topological_sort() qui renvoie les sommets du graphes en ayant effectué un tri topologique.


Autres fichiers :

Plus court chemin - Bellman-Ford

Rappel de l'algorithme:

 INITIALIZE-SINGLE-SOURCE(G, s)
   for each vertex v \in V(G)
     do d[v] \leftarrow \infty
        π[v] \leftarrow NIL
   d[s] \leftarrow 0
 RELAX(u, v, w)
   if d[v] > d[u] + w(u, v)
     then d[v] = d[u] + w(u,v)
          π[v] \leftarrow u
 BELLMAN-FORD(G, s, w)
   INITIALIZE-SINGLE-SOURCE(G, s)
   for i \leftarrow 1 to |V(G)| - 1
     do for each edge (u,v) \in E(G)
       do RELAX(u, v, w)

Ajoutez la fonction à votre librairie et testez la sur le graphe Media:M1BBS Graphe Bellman-Ford.tab à partir du sommet A.

Afin de gagner du temps, la méthode loadTAB vous est fournie :

def load_TAB(filename, directed=True, weighted=False, weight_attribute=None): 
	"""
	parse a TAB file (as cytoscape format) and returns a graph.
 
	line syntax: id1	id2	att1	att2	att3	...
	"""
	g = create_graph(directed, weighted)
	with open(filename) as f: 
		# GET COLUMNS NAMES
		tmp = f.readline().rstrip()
		attNames= tmp.split('\t')
		# REMOVES FIRST TWO COLUMNS WHICH CORRESPONDS TO THE LABELS OF THE CONNECTED VERTICES
		attNames.pop(0)
		attNames.pop(0)
		# PROCESS THE REMAINING LINES
		row = f.readline().rstrip()
		while row:
			vals = row.split('\t')
			v1 = vals.pop(0)
			v2 = vals.pop(0)
			att = {}
			for i in range(len(attNames)):
				att[ attNames[i] ] = vals[i]
			add_edge(g, v1, v2, att)
			row = f.readline().rstrip() # NEXT LINE
	return g

Plus courts chemins - Floyd-Warshall

Pour l'agorithme suivant,

  • D[x,y] est la distance du plus court chemin entre les sommets x et y
  • N[x,y] est le successeur de x dans le plus court chemin allant de x à y
  • W[x,y] est la valuation de l'arc (x,y)

Algorithme :

initialiser D = W, et N à partir des arcs/arêtes du graphe
pour k de 1 à n
   pour i de 1 à n
      pour j de 1 à n
         si D[i,k] + D[k,j] < D[i,j] alors
            D[i,j] = D[i,k] + D[k,j]
            N[i,j] = N[i,k]

Récupération du plus court chemin à partir de la matrice N :

plusCourtChemin(D,N, i,j)
   si D[i,j] est infinie alors
      il n'y a pas de chemin entre i et j
   chemin = initialiserChemin(i)
   k = N[i,j]
   tant que k est défini faire
      ajouter(chemin, k)
      k = N[k,j]
   ajouter(chemin, j)

Implémentez les fonctions FloydWarshall(W) et FloydWarshallPath(source, destination) dans votre librairie. Pour cela, vous êtes forcement incité(e) à ajouter une fonction adjacency_matrix qui renvoie le graphe source forme de matrice d'adjacence.

Aide : Création d'une matrice de 10 lignes et 20 colonnes initialisées avec des valeurs infinies avec numpy

import numpy as np
 
matrix = np.full( (10, 20), np.inf )

Testez ces fonctions sur le graphe Media:M1BBS Graphe Floyd-Warshall.tab et affichez les plus courts chemins de A à C et de A à B (avec leur longueur).

Quel est le diamètre du graphe ? Affichez le chemin correspondant.

Dijkstra

Dijkstra(G,w,s)
  INITIALIZE-SINGLE-SOURCE(G, s)
  Q \leftarrow V[G]
  while Q \neq \emptyset
    do u \leftarrow EXTRACT-MIN(Q)
       for each v \in Adj[u]
         do RELAX(u,v,w)

Pour une plus grande efficacité, il faudra utiliser une file avec priorités (priority queue) pour la ligne avec EXTRACT-MIN. La file contiendra donc les sommets à parcourir, du plus proche au plus éloigné.

Le langage python propose le module heapq permettant de gérer ce type de file. Néanmoins, une fois inséré dans la file, il n'est plus possible de changer la priorité d'un élément. Pour simplifier pour cette fois, on pourra insérer de nouveau le sommet dans la file (mais avec une distance plus faible) plutôt que de modifier sa priorité. Pour ne pas traiter un sommet plusieurs fois, il faudra donc s'assurer que le sommet extrait de la file avec EXTRACT-MIN est bien réellement à traiter.

Algorithmes adaptés pour python :

 RELAX(u, v, w)
   if d[v] > d[u] + w(u, v)
     then d[v] = d[u] + w(u,v)
          π[v] \leftarrow u
          return True
   return False

Remarque : RELAX renvoie maintenant True ou False selon que l'arc a été relaxé (la distance du sommet v à s a diminué) ou non.

 Dijkstra(G,w,s)
  INITIALIZE-SINGLE-SOURCE(G, s)
  S  \leftarrow \emptyset 
  Q \leftarrow V[G]
  while Q \neq \emptyset
    do u \leftarrow EXTRACT-MIN(Q)
       if u \not \in S
         then S  \leftarrow S  \cup u
              for each v \in Adj[u]
                do if RELAX(u,v,w)
                     then Q \leftarrow Q \cup (u, d[u])

Aide sur heapq : pour insérer un sommet avec une priorité dans la file, récupérer le plus proche, ... :

import heapq
 
pq = [] # initialize empty priority queue
 
# insertion
u = 'A'
distA = 10
heapq.push(pq, [ distA, u ] )
 
# get first element
u = heapq.heappop()[1]
 
# get first element together with its priority
(d, u) = heapq.heappop()


Graphe vu en cours : Media:M1BBS Graphe Dijkstra.tab