University of Monastir

Théorie des Graphes et Optimisation:

Applications

Ali Ben Mrad

Faculté des Sciences de Monastir

Département d’informatique
Spring 2018–1019

April 2, 2020
Une chèvre, un chou et un loup

Une chèvre, un chou et un loup se trouvent sur la rive d’un fleuve

Un passeur souhaite les transporter sur l’autre rive mais, sa barque

étant trop petite, il ne peut transporter qu’un seul d’entre eux à la fois.

Comment doit-il procéder afin de ne jamais laisser ensemble et sans

surveillance le loup et la chèvre, ainsi que la chèvre et le chou?

2
Une chèvre, un chou et un loup
Solution

Cette situation peut être modélisée à l’aide d’un graphe.

Désignons par P le passeur, par C la chèvre, par X le chou et par L le
loup.
Les sommets du graphe sont des couples précisant qui est sur la rive
initiale, qui est sur l’autre rive. Ainsi, le couple (P CX, L) signifie que
le passeur est sur la rive initiale avec la chèvre et le chou (qui sont
donc sous surveillance), alors que le loup est sur l’autre rive.
Une arête relie deux sommets lorsque le passeur peut passer d’une
situation à l’autre.
En transportant la chèvre, le passeur passe par exemple du sommet
(P CX, L) au sommet (X, P CL).

3
Une chèvre, un chou et un loup
Solution

Le graphe ainsi obtenu est biparti: les sommets pour lesquels le

passeur est sur la rive initiale ne sont reliés qu’aux sommets pour
lesquels le passeur est sur l’autre rive.

Naturellement, on ne considèrera pas les sommets dont l’une des

composantes est CX ou LC car ces situations sont interdites.

4
Une chèvre, un chou et un loup
Solution

Il suffit ensuite de trouver une chaîne (la plus courte par exemple)
entre la situation initiale (PCXL,-) et la situation finale souhaitée
(-,PCXL). La figure suivante donne une telle chaîne:

5
Organisation d’un dîner

Prenons l’exemple de l’organisation d’un dîner où les invités potentiels

sont Anne, Bernard, Chloé, Daniel, Édouard, Françoise et Guillaume.

Anne et Chloé ne s’apprécient pas Anne et Daniel ne s’apprécient pas,

Chloé et Bernard ne s’apprécient pas, Daniel et Bernard ne
s’apprécient pas, Bernard et Édouard ne s’apprécient pas, Bernard et
Françoise ne s’apprécient pas, Édouard et Guillaume ne s’apprécient
pas, et Françoise et Guillaume ne s’apprécient pas.

L’objectif est d’inviter le maximum de personnes qui s’apprécient

mutuellement.

6
Stable

Definition
Un stable – appelé aussi ensemble indépendant – est un ensemble de
sommets deux à deux non adjacents.
La taille d’un stable est égale au nombre de sommets qu’il contient.
Un ensemble stable maximum est un ensemble stable de cardinalité
maximum.
Le nombre de stabilité d’un graphe noté α(G) est la cardinalité d’un
stable maximum.

7
Stable
Exemple

L’ensemble des sommets en bleu dans ce graphe est un stable maximal

du graphe.

8
Organisation d’un dîner
Solution

Il s’agit donc de trouver un stable maximum dans ce graphe.

9
Planification des couloirs d’un musée

Le graphe ci-contre représente le plan des couloirs d’un musée.

Un gardien placé dans un couloir peut surveiller les deux carrefours

placés à ses extrémités.

Combien de gardiens sont nécessaires (et comment les placer) afin que
tous les carrefours soient surveillés?

10
Couplages

Definition
Un graphe dont tous les sommets ont le même degré est dit régulier.

Definition
Soit G un graphe simple. Un couplage C de G est un sous-graphe partiel
1-régulier de G.

Un sommet v est saturé par un couplage C si v est l’extrémité d’une arête

de C. Dans le cas contraire, v est insaturé.

11
Couplages

Definition
Un couplage maximum est un couplage contenant le plus grand nombre
possible d’arêtes.

Un graphe peut posséder plusieurs couplages maximum.

Definition
Un couplage parfait est un couplage où chaque sommet du graphe est
saturé.

12
Planification des couloirs d’un musée
Solution

Combien de gardiens sont nécessaires (et comment les placer) afin que
tous les carrefours soient surveillés?
Chaque gardien va être placé sur une arête et pourra surveiller deux
carrefours (sommets). Le graphe ayant 10 sommets, il faudra au
minimum 5 gardiens. Il faut donc trouver un couplage parfait. Le
schéma ci-dessous donne une solution.

13