⇒ modélisation de problèmes à partir de graphes
Problème des 7 ponts (1736, Euler)
Le problème des sept ponts de Königsberg cherche à déterminer s’il existe un chemin permettant de revenir à son point de départ en empruntant une seule fois chaque pont de la ville ↪ modélisation par un graphe
C’est en fait impossible ⇒ à chacun des sommets il doit y avoir un nombre pair d’arrêtes
Utilité des graphes :
- création de réseaux (informatiques, eau…)
- trouver des chemins
- structures de données en informatique
- fonctionnement d’une cellule
Graphes orientés
Graphe orienté
Un graphe orienté est une paire composée d’un ensemble de sommets et d’une famille d’arcs
L’ordre du graphe est le nombre de sommets
L’ensemble des prédecesseurs de est noté et l’ensemble des successeurs est noté donc l’ensemble des voisins est :
Famille
Ensemble dans lequel un élément peut apparaître plusieurs fois
Exemple
avec et
graph LR; 1((1))-->2((2)); 5((5))-->4((4)); 1-->4; 1-->3((3)); 2-->1; 2-->2; 3-->4; 5-->3; 5-->4; 6((6));
Pour le sommet , l’ensemble des successeurs est : et
-graphe
Graphe dans lequel un arc ne peut pas apparaître plus de fois
Graphes non orientés
Définiton
Graphe tel que où sont les sommets et les arrêtes ⇒ une arrête ne peut apparaître qu’une seule fois ( aux arc dans les graphes orientés)
L’ensemble des voisins de est noté
Exemple
et
L’arrête est la même que l’arrête . Cette arrête est incidente au sommet et .
graph LR; 1((1))---2((2)); 3((3))---2; 1---4((4)); 4---5((5));
Degrés
Graphe orienté
Le demi-degré entrant d’un sommet est le nombre d’arcs de la forme (combien d’arrêtes arrivent à a) ⇒ noté
Le demi-degré sortant d’un sommet est le nombre d’arcs de la forme (combien d’arrêtes partent de a) ⇒ noté
Le degré de est
Cas d'une boucle
Une boucle compte dans les deux catégories ⇒ demi-degré entrant et sortant (donc compte “double”)
Un sommet est :
- isolé si ⇒ rien n’arrive ou ne part de (sommet 6)
- un puits si ⇒ rien n’arrive à (sommet 4 et 6)
- une source si ⇒ rien ne part de (sommet 5 et 6)
graph LR;
1((1))-->2((2));
5((5))-->4((4));
1-->4;
1-->3((3));
2-->1;
2-->2;
3-->4;
5-->3;
5-->4;
6((6));
Graphe non orienté
Le degré d’un sommet est le nombre d’arrêtes contenant .
De même, si alors est un sommet isolé.
Chemins, circuits et cycles
graph LR;
1((1));
2((2));
3((3));
4((4));
5((5));
6((6));
7((7));
2-->1; 1-->5; 5-->4; 4-->3; 3-->7;
1-->2;
2-->1;
1-->5;
5-->4;
4-->2;
4-->3;
3-->7;
6-->6;
6-->3;
6-->7;
7-->2;
linkStyle 0 stroke-width:2px,fill:none,stroke:red;
linkStyle 1 stroke-width:2px,fill:none,stroke:red;
linkStyle 2 stroke-width:2px,fill:none,stroke:red;
linkStyle 3 stroke-width:2px,fill:none,stroke:red;
linkStyle 4 stroke-width:2px,fill:none,stroke:red;
linkStyle default stroke-width:2px,fill:none,stroke:black;
- ⇒ chemin simple et non fermé : toutes les arrêtes apparaissent une seule fois
- ⇒ chemin non simple et non fermé
- ⇒ chemin non simple et non fermé
Circuit = chemin simple fermé
Hamiltonien ou eulérien
- Hamiltonien : passe exactement une fois par chaque sommet du graphe
- Eulérien : passe exactement une fois par chaque arrête ou arc du graphe
le problème EULÉRIEN de savoir si un graphe est eulérien est dans la classe P. Le problème HAMILTONIEN est a priori plus compliqué à résoudre algorithmiquement : c’est un problème NP-complet, avec des applications importantes.
Graphes partiels, sous-graphes, sous-graphes partiels
Sous-graphe | Graphe partiel | Sous-graphe partiel | |
---|---|---|---|
Sommets | Suppression | Conservés | Suppression |
Arrêtes/arcs | Suppressions de ceux incidents des sommets | Suppression de certains | Suppression des incidents + des autres |
Isomorphisme des graphes
⇒ veut dire que 2 graphes ont la même forme
En suivant la définition d’un graphe, ils peuvent être différents mais en fait ils ont la même forme.
Example
et
graph LR 1((1)) 2((2)) 3((3)) a((a)) b((b)) c((c)) 1-->2 2-->3 b-->c c-->a
On voit que si l’on renomme les sommets, les graphes sont égaux
Une manière de définir l’isomorphisme est de définir une fonction de “renommage” des sommets ⇒ c’est une bijection
Définition : isomorphisme
et sont isomorphes s’il existe une bijection de telle que :