Определения. Число ребер, исходящих из вершины vi(петля учитывается дважды), называется валентностью (степенью вершины)и обозначается: d(vi).

Число ребер, исходящих из вершины v_i(петля учитывается дважды), называется валентностью (степенью вершины) и обозначается: d(v_i).

Если V и E конечные множества, то и граф им соответствующий называется конечным. Граф называется вырожденным, если он не имеет ребер.

Неориентированный граф называется простым, если он не имеет петель и любая пара вершин соединена не более чем одним ребром.

Графы отображаются на плоскости набором точек и соединяющих их линий или векторов. Грани могут отображаться и кривыми линиями, а их длина не играет никакой роли.

Граф G называется планарным (плоским), если его можно отобразить в плоскости без пересечения его граней (рис. 5).

Граф называется связным, если для любых двух вершин существует последовательность ребер их соединяющая (рис. 3), т.е. граф не имеет изолированных фрагментов (вершин, ребер).

Граф называется полным, если любые две вершины соединены только одним ребром (рис.4). Если полный граф имеет n вершин, то количество ребер будет равно n(n-1)/2. Специальными видами графов являются деревья
(рис. 6.)

Рис. 3. Пример связного плоского графа	Рис. 4. Примерполного графа	Рис. 5. Пример непланарного графа
ГрафG = (V, E) называетсядеревом, если: 1. в нем есть одна вершина, в которую не входят ребра; она называется корнемдерева; 2. в каждую из остальных вершин входит ровно по одному ребру; 3. всевершиныдостижимы изкорня.	Рис. 6. Пример дерева

Ребро (дуга) и любая из его вершин называются инцидентными. Принято говорить, что (дуга) ребро (u, v) соединяет вершины u и v.

Если вершина не инцидентна ни одному ребру (дуге), то она называется изолированной (d(v_i)=0), если принадлежит только одному ребру (дуге), то называется висячей (d(v_i)=1).

Основные положения о вершинах графа:

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

2. Число нечетных вершин любого графа четно.

3. Во всяком графе с n вершинами, где n³ 2, всегда найдутся, по меньшей мере, две вершины с одинаковыми степенями.

4. Если в графе с вершинами n> 2 две вершины имеют одинаковую степень, то в этом графе всегда найдется либо одна вершина степени 0, либо одна вершина степени n - 1.

5. Два графа G₁=(V₁, E₁) и G₂=(V₂, E₂) называются изоморфными, если между их вершинами существует взаимно однозначное соответствие.

Алгоритм распознавания изоморфизма двух графов G₁(X, E)и G₂(Y, E)

1. Если X ≠ Y, то графы не изоморфны.

2. Выписываем все элементы обоих графов, определяя пары (x_i, x_j) и (y_i, y_j) для каждого элемента, где x_i, y_i - число исходов для каждой вершины обоих графов, а x_j, y_j – число заходов.

3. Для каждого элемента x графа G₁ ищем такой элемент y графа G₂, что выполняется условие: число исходов x совпадает с числом исходов y, и число заходов x совпадает с числом заходов y. Найденные элементы x и y соединяем дугой, т.е. строим граф соответствия. Если соответствия нет, то графы неизоморфны.

4. Выписываем подстановку, которая переводит граф G₁ в граф G₂.