En raison de limitations techniques, la typographie souhaitable du titre, « Introduction à la théorie des graphes : Graphes et sous-graphes Introduction à la théorie des graphes/Graphes et sous-graphes », n'a pu être restituée correctement ci-dessus.
La majorité des problèmes de théorie des graphes consiste en l'étude, l’existence ou l'optimalité de certains sous-objets contenus dans un graphe. Nous allons définir ici ces sous-objets et nous en donnerons quelques exemples.
Le graphe G'=(V',E') est le sous-graphe de G=(V,E) induit par V', si et
Début de l'exemple
Exemple
Un sous-graphe de G est donc uniquement défini par un sous-ensemble de sommets de G. L'ensemble des arêtes d'un sous-graphe n'est donc que la conséquence du choix des sommets. Ainsi on garde toutes les arêtes dont les deux extrémités sont dans le sous-ensemble de sommets.
Dans notre exemple à gauche, nous avons le graphe G=(V,E), et à droite son sous-graphe induit par
Fin de l'exemple
En ce qui concerne un graphe partiel de G, c’est tout à fait l'inverse. Ici on garde tous les sommets de G et on enlève quelques arêtes. Voici la définition :
Définition
Le graphe G'=(V',E') est un graphe partiel de G=(V,E), si V' = V et
On parle aussi de graphe couvrant, particulièrement quand le graphe partiel est un arbre.
Un sous-graphe partiel sera un graphe partiel d'un sous-graphe.
Une chaîne W de G est un sous-graphe partiel de G défini par une séquence W= alternée de sommets et d'arêtes, telle que, pour , les extrémités de sont et .
Dans un graphe simple, une chaîne pourra être simplement définie par une séquence de sommets.
Début de l'exemple
Exemple
Dans l'exemple précédent, la séquence W=e c a b d est une chaîne. On dit que W relie e à d.
Fin de l'exemple
Définition
Un graphe G=(V,E) est connexe si, pour tout couple (u,v) de sommets de G, il existe une chaîne reliant u à v.
Début de l'exemple
Exemple
Dans l'exemple précédent, le graphe G est connexe. Mais le stable induit par {a,d} ne l'est pas.