Définition d’un graphe non-orienté
Un graphe non-orienté G est défini par le doublet où :
Définition d’une chaine
Une chaîne est une séquence d’arêtes consécutives.
Voir la figure Graphe non-orienté
Définition d’un cycle
Un cycle est une chaîne fermée.
Définition d’un graphe complet
Un graphe est dit complet si chaque sommet possède une [1] arête vers tout autre sommet y compris lui-même.
sommets arêtes
Démonstration de la formule ci-dessus :
fois
De façon plus générale, on peut dire :
Définition d’un graphe simple
Un graphe est dit simple si [2] il ne comporte pas de boucle et s’il n’y à pas plus d’une arête entre deux sommets quelconques.
[1] et une seule [2] et seulement si