Планарные графы

Содержание

Слайд 2

ГЕОГРАФИЧЕСКИЕ КАРТЫ Политическая Физическая карта карта Толчком, ускорившим развитие теории графов, явилась эпоха великих географических открытий.

ГЕОГРАФИЧЕСКИЕ КАРТЫ

Политическая Физическая
карта карта

Толчком, ускорившим развитие теории графов, явилась эпоха

великих географических открытий.
Слайд 3

ТЕОРЕМА О ЧЕТЫРЕХ КРАСКАХ. Теорема (доказана программистами IBM): Любую карту, нарисованную

ТЕОРЕМА О ЧЕТЫРЕХ КРАСКАХ.

Теорема (доказана программистами IBM): Любую карту, нарисованную на

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

ТОР Теорема 2: Любую карту, нарисованную на торе, можно раскрасить пятью

ТОР

Теорема 2: Любую карту, нарисованную на торе, можно раскрасить пятью красками

так, что любые две страны, имеющие общую границу, будут разного цвета.
Слайд 5

КРЕНДЕЛЬ Теорема 3: Любую карту, нарисованную на поверхности кренделя, можно раскрасить

КРЕНДЕЛЬ

Теорема 3: Любую карту, нарисованную на поверхности кренделя, можно раскрасить шестью

красками так, что любые две страны, имеющие общую границу, будут разного цвета.
Слайд 6

ТОПОЛОГИЯ В топологии считается, что все тела сделаны из эластичного материала,

ТОПОЛОГИЯ

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

потому их можно сжимать и растягивать и они не порвутся. Такие деформации зовутся гомеоморфизмом.
Т.о. топология изучает свойства гомеоморфных тел.
Слайд 7

ОПРЕДЕЛЕНИЕ ПЛАНАРНОГО ГРАФА Граф, изображенный на плоскости или на шаре, называется

ОПРЕДЕЛЕНИЕ ПЛАНАРНОГО ГРАФА

Граф, изображенный на плоскости или на шаре, называется плоским

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

ПРИМЕРЫ 1 1 3 5 2 4 4 3 5 2

ПРИМЕРЫ

1

1

3

5

2

4

4

3

5

2

Слайд 9

ЧТО ТАКОЕ «ГРАНЬ» Гранью (страной) в плоском представлении графа называется часть

ЧТО ТАКОЕ «ГРАНЬ»

Гранью (страной) в плоском представлении графа называется часть

плоскости, ограниченная простым циклом и не содержащая внутри других циклов.
Слайд 10

ПРИМЕР

ПРИМЕР

Слайд 11

САМОСТОЯТЕЛЬНО Определить (занумеровать) все грани на планарном графе G(X,U): 1 5 3 6 2 4

САМОСТОЯТЕЛЬНО

Определить (занумеровать) все грани на планарном графе G(X,U):

1

5

3

6

2

4

Слайд 12

ТЕОРЕМА ЭЙЛЕРА Пусть В - количество вершин в графе, Г -

ТЕОРЕМА ЭЙЛЕРА

Пусть В - количество вершин в графе, Г - количество

граней в плоском представлении графа, Р - количество рёбер в графе. Тогда получаем формулу Эйлера для связного планарного графа:
В + Г - Р = 2
Слайд 13

ПРИМЕРЫ G1(X,U) G2(X,U) 2 5 3 1 2 4 4 3

ПРИМЕРЫ

G1(X,U) G2(X,U)

2

5

3

1

2

4

4

3

1

2

1

4

3

Цифрами в зеленых кружках
обозначены грани.

Выделить грани самостоятельно

Слайд 14

ФОРМУЛА ЭЙЛЕРА ДЛЯ НЕСВЯЗНОГО ГРАФА Для несвязного планарного графа с K

ФОРМУЛА ЭЙЛЕРА ДЛЯ НЕСВЯЗНОГО ГРАФА

Для несвязного планарного графа с K

компонентами связности формула Эйлера имеет вид:
В + Г - Р = K + 1.
Слайд 15

ПРИМЕР Несвязный планарный граф с К = 3 компонентами: 1 4

ПРИМЕР

Несвязный планарный граф с К = 3 компонентами:

1

4

2

3

8

9

7

5

6

В +

Г - Р = К + 1

Выделить грани самостоятельно

Слайд 16

ТЕОРЕМА КУРАТОВСКОГО - ПОНТРЯГИНА Граф планарен тогда и только тогда, когда

ТЕОРЕМА КУРАТОВСКОГО - ПОНТРЯГИНА

Граф планарен тогда и только тогда, когда он

не содержит подграфов типов, приведённых ниже:
Слайд 17

САМОСТОЯТЕЛЬНО Проверить планарность графа G(X,U), изображенного ниже.

САМОСТОЯТЕЛЬНО

Проверить планарность графа G(X,U), изображенного ниже.

Слайд 18

ДВОЙСТВЕННЫЕ ГРАФЫ Правила построения двойственного графа: 1. Каждая грань исходного графа

ДВОЙСТВЕННЫЕ ГРАФЫ

Правила построения двойственного графа:
1. Каждая грань исходного графа заменяется вершиной

двойственного.
Если граф неориентированный, то каждое ребро исходного графа заменяется пересекающим его ребром двойственного.
Если исходный граф ориентированный, то каждая дуга исходного графа заменяется пересекающей ее дугой двойственного графа по «правилу правой руки».
Если исходный граф является взвешенным, то вес каждого ребра (дуги) двойственного графа равен весу ребра (дуги), которую оно (она) пересекает.
Слайд 19

ПРАВИЛО ПРАВОЙ РУКИ Построение двойственной дуги: 4 пальца указывают направление дуги

ПРАВИЛО ПРАВОЙ РУКИ

Построение двойственной дуги: 4 пальца указывают направление дуги исходного

графа, а большой палец – двойственного.
Слайд 20

ПРИМЕР Исходный орграф Двойственный орграф 2 4 3 1 1 2

ПРИМЕР

Исходный орграф Двойственный орграф

2

4

3

1

1

2

3

1

2

3

Грани исходного графа

Слайд 21

СВОЙСТВА ДВОЙСТВЕННЫХ ГРАФОВ Простому контуру исходного графа, «закрученному» по часовой стрелке,

СВОЙСТВА ДВОЙСТВЕННЫХ ГРАФОВ

Простому контуру исходного графа, «закрученному» по часовой стрелке, соответствует

вершина-источник двойственного графа.
Простому контуру исходного графа, «закрученному» против часовой стрелки, соответствует вершина-сток двойственного графа.
Грани исходного графа, образованной встречно ориентированными дугами, соответствует вершина двойственного графа, которой инцидентны, как заходящие, так и исходящие дуги.
Слайд 22

СЛЕДСТВИЕ ТЕОРЕМЫ 1 Вершины любого планарного графа можно раскрасить четырьмя красками

СЛЕДСТВИЕ ТЕОРЕМЫ 1

Вершины любого планарного графа можно раскрасить четырьмя красками так,

что цвет вершин, принадлежащих любому ребру, будет различным.

1

6

5

4

3

2

Слайд 23

САМОСТОЯТЕЛЬНО Раскрасить вершины графа G(X,U) четырьмя красками так, чтобы цвет вершин,

САМОСТОЯТЕЛЬНО

Раскрасить вершины графа G(X,U) четырьмя красками так, чтобы цвет вершин, принадлежащих

любому ребру, был различным.

2

1

3

4

5

Слайд 24

САМОСТОЯТЕЛЬНО Построить граф, двойственный заданному ниже смешанному графу G(X,U): 1 4 5 6 3 2

САМОСТОЯТЕЛЬНО

Построить граф, двойственный заданному ниже смешанному графу G(X,U):

1

4

5

6

3

2

Слайд 25

САМОСТОЯТЕЛЬНО Определить вес дуг и ребер графа, двойственного заданному ниже взвешенному

САМОСТОЯТЕЛЬНО

Определить вес дуг и ребер графа, двойственного заданному ниже взвешенному смешанному

графу G(X,U):

1

4

5

6

3

2

5 7
4 1 3 2 6 9
8 2