L’existence et le dénombrement de chemins de longueur k dans un graphe se fait en élevant à la puissance k la matrice booléenne aux arcs.
Matrice booléenne
On prend la matrice booléenne M, on l’élève successivement au carré, au cube, ..., à la puissance k pour déterminer le nombre de chemins de longueur 2,3,...,k
Calcul de
L’intersection de la ligne i et de la colonne j de la matrice donne le nombre de chemins de longueur 2 entre les sommets i et j
Plus généralement l’intersection de la ligne i et de la colonne j de la matrice donne le nombre de chemins de longueur k entre les sommets i et j
Matrice aux arcs
On prend la matrice aux arcs A, on l’élève successivement au carré, au cube, ..., à la puissance k pour déterminer le nombre de chemins de longueur 2,3,...,k ainsi que leur composition.
L’intérêt d’une telle représentation par rapport à la représentation par matrice booléenne est que l’on peut lire directement dans la composition des chemins de longueur k.
La méthode pour élever la matrice aux arcs au carré, au cube, etc, est d’adopter les lois de composition suivantes pour l’addition et la multiplication :
L’intersection de la ligne i et de la colonne j de la matrice donne le nombre de chemins de longueur 2 entre les sommets i et j ainsi que leur composition. Plus généralement, l’intersection de la ligne i et de la colonne j de la matrice donne le nombre de chemins de longueur k entre les sommets i et j ainsi que leur composition.
Chemins élémentaires - chemins hamiltoniens
L’existence et le dénombrement de chemins élémentaires de longueur k dans un graphe se fait en élevant à la puissance k la matrice aux arcs et en ne retenant que les chemins ne comportant pas de répérition de lettres.
Soit le graphe orienté comportant N sommets
Voir la figure Exemple de graphe orienté pour réaliser les matrices booléennes et aux arcs
Ces chemins passent une fois et une seule par tous les sommets du graphe, ce sont donc des chemins Hamiltoniens. Si de plus les chemins Hamiltoniens ce referment sur eux-mêmes, ce sont des circuits Hamiltoniens.