Sous-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.

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 aussi

  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.