Notions de Base :

Nœud/Sommet/Point :

Unité fondamentale d'un graphe

Propriétés/Théorèmes :

  1. Deux sommets sont voisins s'ils sont reliés par une arête.
  2. Deux sommets sont indépendants s'ils ne sont pas voisins.
  3. 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 :

  1. Un graphe est dit d'ordre si

Arête/Lien/Ligne :

liaison entre deux sommets d'un graphe

Propriétés/Théorèmes :

  1. Une arrête est une boucle si :
  2. : Indique que la paire est un élément de l'ensemble .
  3. : 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.
  4. 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 :

  1. 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 :

  1. 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 )
  2. 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 :

  1. 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 :

  1. 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 :

  1. 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 :

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