En
théorie des graphes, un
graphe non orienté G = (V, E) est défini par la donnée d'un ensemble V de sommets et d'un ensemble E d
'arêtes, chaque arête étant une
paire de sommets (par exemple, si x et y sont des sommets, la paire {x, y} - notée xy - peut être une arête du graphe G).