La plupart des problèmes exposés ci-après sont des problèmes de
théorie des graphes. Un graphe est un couple
où
est
l'ensemble des sommets (ou noeuds) et
l'ensemble des arêtes (ou
arcs).
Nous ne verrons que des exemples dans lesquels l'ensemble
est
fini, sachant qu'il peut contenir n'importe quoi (des entiers, des
réels, des couples de matrices, ds sous-ensembles de
, des graphes, etc.).
L'ensemble
par contre ne peut contenir que des couples (si le graphe est
orienté, des paires si le graphe n'es pas orienté) d'éléments de
. Par
exemple,
avec
Les graphes sont quelquefois valués, c'est-à-dire qu'il
existe une application de dans un sous-ensemble de
. Ils sont
quelquefois pondérés, c'est-à-dire qu'il
existe une application de
dans un sous-ensemble de
.