Графы

Граф — это совокупность непустого множества вершин и наборов пар вершин (связей между вершинами). Объекты представляются как вершины, или узлы графа, а связи — как дуги, или рёбра.
Неориентированный граф считается связным, если из любой вершины есть путь в любую другую вершину (путь может состоять из любого количества рёбер).


На рисунке G1 и G2 связные графы, а G3 - несвязный.
Степень вершины графа — количество рёбер графа, которым принадлежит эта вершина. Сумма степеней всех вершин графа четное число, равное удвоенному количеству ребер.