60. Основные понятия теории графов.

Граф G — это совокупность двух конечных множеств: множества точек, которые называются вершинами, и множества пар вершин, которые называютсяребрами. На рис. 10.4.1 изображен граф, имеющий, пять вершин и шесть ребер. Если рассматривается множество упорядоченных пар точек, т.е. на каждом ребре

задается направление, то граф G называется ориентированным. В противном случае G

называется неориентированным графом.

Ребра, имеющие одинаковые концевые вершины, называются параллельными. Ребро, концевые вершины которого совпадают, называется петлей. На рис. 10.4.1 а₄ и а₅ — параллельные ребра, a  а₆ — петля.

Вершина и ребро называются инцидентными друг другу, если вершина является для этого ребра концевой точкой. На рис. 10.4.1 вершина Р₃ и ребро а₃инцидентны друг другу.

Две вершины, являющиеся концевыми для некоторого ребра, называются смежными вершинами. Два ребра, инцидентные одной и той же вершине, называются смежными ребрами. На рис. 10.4.1 Р₁ , Р₂ — смежные вершины, а а₁, а₄ — смежные ребра.

Степенью вершины называется число ребер, инцидентных ей. Вершина степени 1 называется висячей. Вершина степени 0 называется изолированной. На рис. 10.4.1 степень вершины Р₁ равна трем, Р₄ —висячая вершина, Р₅ —изолированная.

Теорема 1. В графе G сумма степеней всех его вершин — число четное, равное удвоенному числу ребер графа:

Теорема 2. Число нечетных вершин любого графа, т.е. вершин, имеющих нечетную степень, четно.

Граф G называется полным, если любые две его различные вершины соединены ребром и'он не содержит параллельных ребер.

Дополнением графа G называется граф  с теми же вершинами, что и граф G, и содержащий, только те ребра, которые нужно добавить к графу G, чтобы получился полный граф. На рис. 10.4.2 изображены следующие графы:

G₁ — полный граф с пятью вершинами, G₂ — некоторый граф, имеющий пять вершин, ₂ — дополнение граф G₂.

Путем в графе называется такая последовательность ребер, ведущая от некоторой начальной вершины Р₁ в конечную вершину Р_n, в которой каждые два соседних ребра имеют общую вершину и никакое ребро не встречается более одного раза. Например, в графе, изображенном на рис. 10.4.1, последовательность ребер (а₁, а₂, а₃, а₄, а₅, а₆) образует путь, ведущий от вершины Р₁ к вершине Р₄.

Циклом называется путь, начальная и конечная вершины которого совпадают. На рис. 10.4.1 ребра (a₁, a₃, a₄) образуют цикл.

Цикл графа G называется простым, если он не проходит ни через одну вершину G более одного раза.

Длиной пути или цикла называется число ребер этого пути или цикла.