Notions de Base :
Nœud/Sommet/Point :
Unité fondamentale d'un graphe
Propriétés/Théorèmes :
- Deux sommets sont voisins s'ils sont reliés par une arête.
- Deux sommets sont indépendants s'ils ne sont pas voisins.
- Le degré d'un sommet est le nombre d'arêtes incidentes à ce sommet les boucles comptant double.
Graphe :
Un graphe est un triple :
- ensemble fini nœuds notés
- ensemble fini d'arêtes notées ()
- une relation d'incidence telle que toute arête est incidente à 1 ou 2 nœuds (cette relation est généralement sous-entendue pour un graphe donné)
Propriétés/Théorèmes :
- Un graphe est dit d'ordre si
Arête/Lien/Ligne :
liaison entre deux sommets d'un graphe
Propriétés/Théorèmes :
- Une arrête est une boucle si :
- : Indique que la paire est un élément de l'ensemble .
- : Désigne l'ensemble des tels que ce trouve dans l'ensemble des relations d'incidence c'est à dire l'ensemble des connexions arête nœud.
- Désigne la taille de l'ensemble susmentionné.
Notions Dérivées :
Parcours/Chaîne :
Un parcours de longueur dans est une suite alternée de nœuds et arêtes de .
Propriétés/Théorèmes :
- Un parcours est dit fermé si et ouvert sinon.
Piste/Chaîne simple :
Une piste est un parcours dont les arêtes sont distinctes
Chemin/Chaîne élémentaire (Définition de chemin de LEPL1108)) :
Un chemin est un parcours ouvert dont tous les nœuds sont distincts.
Cycle/Circuit (Définition d'un cycle plus répandue dans la littérature et plus utile à mon avis) :
Un cycle est une suite d'arêtes consécutives distinctes (chaine simple) dont les deux sommets extrémités sont identiques.
Cycle (Définition donnée dans LEPL1108) :
Un parcours dont tous les nœuds et arêtes sont distincts, à l’exception du premier et du dernier nœud.
Isthme :
Considérons un graphe connexe . Une arête est appelée un isthme de si la présence de est indispensable à la connexité, c’est-à-dire si le graphe partiel n’est pas connexe.
Graphe Simple :
Un graphe est simple si il n’a ni boucle ni nœuds reliés par des arêtes multiples. identifie alors l'unique arête telle que et
Propriétés/Théorèmes :
- Un graphe simple est biparti si et seulement s'il ne possède aucun cycle de longueur impaire (explication de la partie nécessaire de cette équivalence : Si on imagine un cycle de longueur 3, on place un nœud dans et dans , où place-t-on le troisième nœud ? Dans les 2 cas on aura une arête avec ses extrémités dans un même ensemble )
- Un graphe simple non orienté d'ordre a au maximum arêtes
Graphe Connexe :
Un graphe est connexe si il existe un parcours reliant toute paire de nœuds.
Graphe Biparti :
Un graphe est dit biparti si son ensemble de sommets peut être divisé en deux sous-ensembles disjoints et tels que chaque arête ait une extrémité dans et l'autre dans .
Parcours/Chaine eulérien(ne) :
Un parcours qui passe par toutes les arêtes, une seule fois.
Propriétés/Théorèmes :
- Un graphe connexe a un parcours eulérien si il possède 0 ou 2 arêtes de degré impair.
Cycle/Circuit/Tournée Eulérien(ne) :
Parcours eulérien qui revient au sommet/nœud de départ (ici on parle de cycle définit comme une chaîne simple/piste fermée).
Graphe Eulérien :
Graphe possédant au moins un cycle eulérien (ici on parle de cycle définit comme une chaîne simple/piste fermée).
Exemple(s) :
Propriétés/Théorèmes :
- Un graphe connexe dont les nœuds sont tous de degré pair est un graphe eulérien et inversement.
Piste/Parcours/Chaîne Eulérien(ne) :
Piste qui passe par toutes les arêtes.
Propriétés/Théorèmes :
- Le graphe sans nœud isolé possède une piste eulérienne si est sans nœud isolé est connexe et contient soit 0 soit 2 nœuds de degré impair.
Chemin Hamiltonien :
Un parcours passant par tous les nœuds du graphe une et une seule fois.
Cycle Hamiltonien :
Un cycle passant par tous les nœuds du graphe une et une seule fois.
Graphe Hamiltonien :
Graphe simple possédant un cycle hamiltonien.
Isomorphisme :
Les graphes simples et sont isomorphes si :
- Il existe une bijection
Propriétés/Théorèmes :
1 : La relation d'isomorphisme est une relation d'équivalence sur les graphes 2 : Il est facile de vérifier si définit un isomorphisme Il reste difficile de décider si deux graphes sont isomorphes