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 .