Теория графов

I. Основные определения

Пусть задано множество точек (на плоскости) -X и множество линий (отрезков), соединяющих все или некоторые точки - U.

П ара множеств X и U называются графом: G = (X,U). Элементами графа являются точки и соединяющие их линии (отрезки).

Точки графа называются вершинами. Линии (отрезки) могут быть направленными, то есть имеющими начало и конец, и ненаправленными.

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

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

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

Форма ребер и дуг не имеет значения. Главное, - какие вершины они связывают. Частный случай: дуга, у которой начало и конец совпадают, называются петлей. Ребра и дуги должны соединять вершины (и не могут обрываться «в некуда»).

Граф, состоящий только из одних вершин, называется ноль – графом. Пустой граф, граф у которого множество вершин (а следовательно и множество соединяющих их отрезков) - пустое множество.

Примеры графов: родословное дерево, карта дорог, схема соединений электрических или логических элементов, графическое изображение алгоритма, схема передвижения товаров или денежной массы.

Подграфом G' графа G=(X,U) называется граф, в котором входят часть его вершин и отрезков, то есть G'=(X',U') где X' X, U' U.. Остовным (частичным) графом G" пo отношению к графу G=(X,U), называется граф, содержащий все вершины графа G и часть отрезков графа G, то есть G"=(X,U'), где U' U.

Например, граф G

подграф

частичный граф

Частичный граф — частный случай понятия подграф.

Подграф G''' = (X',U'), в который входят все линии (отрезки) графа G принадлежащие U и соединяющие вершины, принадлежащие X', называется подграфом, порожденным подмножеством X'.

Граф	Множество вершин	Множество линий
Подмножество вершин X’	Граф, порожденный подмножеством X’	Граф, не является порожденным подмножеством X’

Допустима другая терминология :подграф – часть графа, частичный (остовной) граф – суграф, подграф, порожденный подмножеством вершин — подграф.

Звездный граф по отношению к вершине х - граф, содержащий все смежные х вершины и все инцидентные х - ребра, то есть включает все линии с началом и концом в вершине х.

Г раф может быть конечным (если множество элементов графа конечно) и бесконечным.

Бесконечный граф

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

полный не полный

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

Е сли каждая вершина одного из подмножеств соединена с каждой вершиной из другого подмножества, то такой граф называется полным двудольным графом.

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

П ланарный граф - может быть изображен

Простейшие непланарные графы:

полный граф (п=5)

полный двудольный граф 3 3.

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

Теорема Эйлера: п-т+r=2, где п - число вершин, т - число ребер, r -число областей, ограниченных ребрами, включая внешнюю область. Если ребра пересекаются, точка пересечения должна трактоваться как вершина.

П ри изображении непланарного графа (а в ряде случаев и планарного графа) допускается, чтобы ребра и дуги пересекались. При этом точка пересечения может вершиной не являться. Иногда удобно планарный граф,

1,2,3,4 – вершины, точка 5 вершиной не является. При этом вершины необходимо выделить (кружочками или жирными точками).

Операции над графами. Пусть G₁= (X₁,U_l), G₂ = (X₂,U₂).

G = G₁ G₂ = (X₁ X₂ , U₁ U₂) – объединение графов.

G = G_l G₂ =(X_] X₂,U₁ U₂) – пересечение графов.

– дополнение G₁ до G (G₁ G) - множество ребер и вершин, принадлежащих G, но не принадлежащих G'.

Следовательно, – графом может не являться.