Vocabulaire de base : sommets et arêtes
Un graphe est constitué d'un ensemble de sommets (les points) reliés par des arêtes (les liens). On note souvent où est l'ensemble des sommets et celui des arêtes. Par exemple, un réseau social où chaque personne est un sommet et chaque amitié une arête.
Ordre et degré
L'ordre d'un graphe est son nombre de sommets. Le degré d'un sommet est le nombre d'arêtes qui en partent (une boucle compte pour ). Théorème des poignées de main : la somme des degrés vaut le double du nombre d'arêtes, donc elle est toujours paire.
Graphe orienté et non orienté
Dans un graphe non orienté, une arête entre et se parcourt dans les deux sens. Dans un graphe orienté, les liens sont des arcs munis d'un sens (flèches). On distingue alors le degré entrant et le degré sortant d'un sommet.
Chaîne, cycle et longueur
Une chaîne est une suite d'arêtes consécutives reliant deux sommets ; sa longueur est le nombre d'arêtes qui la composent. Un cycle est une chaîne fermée (même sommet de départ et d'arrivée) ne réutilisant pas la même arête. Dans un graphe orienté, on parle de chemin et de circuit.
Graphe complet et graphe connexe
Un graphe est complet si tous les sommets sont reliés deux à deux : noté , il possède arêtes. Un graphe est connexe si l'on peut relier n'importe quel couple de sommets par une chaîne (le graphe est « d'un seul tenant »).
Matrice d'adjacence
La matrice d'adjacence d'un graphe d'ordre (sommets numérotés) est la matrice carrée où le coefficient vaut le nombre d'arêtes reliant le sommet au sommet . Pour un graphe non orienté, est symétrique : .
Nombre de chemins via
Résultat fondamental : le coefficient situé ligne , colonne de la matrice donne le nombre de chemins de longueur exactement allant du sommet au sommet . Ainsi compte les chemins en deux étapes, ceux en trois étapes, etc.
Graphe pondéré
Un graphe pondéré associe à chaque arête un poids (distance, coût, durée, probabilité…). On peut alors chercher la chaîne de poids minimal, ce qui modélise par exemple le plus court trajet dans un réseau routier.
Chaînes de Markov : matrice de transition
Une chaîne de Markov décrit un système évoluant entre plusieurs états à chaque étape, où le futur ne dépend que de l'état présent. On la représente par un graphe pondéré probabiliste et par une matrice de transition , où est la probabilité de passer de l'état à l'état . La somme des coefficients de chaque ligne vaut : est stochastique.
État probabiliste et évolution
L'état probabiliste à l'étape est une matrice ligne donnant la probabilité d'occuper chaque état (somme ). On passe d'une étape à la suivante par , d'où .
État stable
L'état stable (ou état stationnaire) est un état probabiliste qui n'évolue plus : . Sous de bonnes hypothèses (matrice régulière), la suite converge vers cet état stable, indépendamment de l'état initial .
Applications
Les graphes et matrices modélisent les réseaux (transport, internet, social), les files d'attente, la fidélité client, le PageRank de Google, la météo, la génétique ou encore l'évolution de parts de marché entre concurrents.