Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Введение Диск/мат.doc
Скачиваний:
16
Добавлен:
25.03.2016
Размер:
28.81 Mб
Скачать

Укладки графов

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

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

Примеры непланарных графов:

  • полный граф на вершинах () является непланарным;

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

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

Определение. Полным двудольным графом называется двудольный граф, содержащий всевозможные ребра, концы которых расположены в разных долях и графа.

Покажем непланарность графов и .

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

Это ребро будет расположено либо в области , либо в области . Эти случаи можно рассмотреть как аналогичные. Предположим, это ребро расположено в области . Тогда пара вершин , должна быть соединена ребром, расположенном в области . Другая пара вершин – , должна быть соединена ребром, расположенном в области . Пара вершин , должна соединяться ребром из области . Тогда пару вершин , нельзя соединить ребром, не пересекающим другие ребра укладки.

Покажем непланарность графа .

Такой граф содержит цикл, состоящий из ребер. Доказательство будем строить от противного. Предположим, что существует планарная укладка графа на плоскости. Тогда цикл из ребер разбивает плоскость на две области связности: и . Вершины и должны соединяться ребром, которое проходит либо в , либо в . Эти случаи рассматриваются аналогично. Пусть ребро проходит в , тогда вершины , должны соединяться ребром в . Тогда вершины и соединить без пересечения других ребер нельзя.

Таким образом, показано, что графы и непланарны.

Что и требовалось доказать.

Определение. Рассмотрим укладку планарного графа на плоскости. Тогда ребра графа разрезают плоскость на связные области, которые будем называть гранями укладки.

Теорема Эйлера

Рассмотрим связный планарный граф с числом вершин и числом ребер . Число граней в любой планарной укладке данного графа равна . Данные три параметра связаны соотношением:

Доказательство:

Доказательство будем проводить по индукции по числу граней в укладке планарного графа.

1ый шаг индукции. Рассмотрим граф с единственной гранью. Связный граф с единственной гранью – дерево (так как грань одна, то циклов в графе быть не может, поскольку каждый цикл разрезает плоскость на 2 области). Известно, что в дереве на вершинах ребро. Подставив данные значения в формулу, получаем тождество:

kый шаг индукции. Допустим, что утверждение доказано для планарного связного графа с числом граней . Рассмотрим планарный граф, с числом граней . Так как , то в таком графе есть цикл. Рассмотрим грань , в которой граница - некоторый цикл .

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

Что и требовалось доказать.

Определение. Операция подразбиения ребра называется преобразование этого ребра, при котором между вершинами и вставляется новая вершина .

Определение. Операция стягивания обратна операции подразбиения: