Ouvrir le menu principal

Sous-graphe

graphe contenu dans un autre graphe

En théorie des graphes, un sous-graphe est un graphe contenu dans un autre graphe. Formellement, un graphe est un sous-graphe de si et . L'ensemble des sommets du sous-graphe est un sous-ensemble de l'ensemble des sommets de et l'ensemble des arcs de est un sous-ensemble de l'ensemble des arcs de ayant leur origine et leur extrémité parmi les sommets de .

Un sous-graphe couvrant ou graphe partiel est un sous-graphe ayant le même ensemble de sommets que le graphe qui le contient. Formellement, est un sous-graphe couvrant de (i.e. couvre ) si et . Ainsi tout graphe simple à n sommets est un sous-graphe couvrant du graphe complet Kn couvre .

Un sous-graphe induit est un sous-graphe en restreignant le graphe à un sous ensemble de sommets. Formellement, est un sous-graphe induit de si, pour tout couple de sommets de , est connecté à dans si et seulement si est connecté à dans . Autre formulation de la condition : l'ensemble des arcs de est l'ensemble des arcs de incidentes à deux sommets de .

Voir aussiModifier