Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Басакер Р. Конечные графы и сети

.pdf
Скачиваний:
74
Добавлен:
25.10.2023
Размер:
12.41 Mб
Скачать

4.31

 

 

 

 

 

 

ДОПОЛНИТЕЛЬНЫЙ ГРАФ

 

ю э

 

Упражнение 4.7.

Решить следующую задачу с помощью

теории

графов. Том, Дик и

Гарри женаты на Д ж е й н , Мэри п Сьюзен

не обя­

зательно

в указанном

порядке. К а ж д а я

пара

имеет

 

 

по

одному

ребенку.

Имена

детей

Эмилия,

Алан

 

 

и Майкл. Определить состав каждой семьи, исполь­

 

 

зуя

следующую

информацию:

(1)

дети

 

Мэри

 

 

и Г а р р и — д в е звезды

в

школьной

футбольной

ко­

 

 

манде,

(2)

 

Алан

не

является

сыном

Тома,

(3)

 

 

Сьюзен не является женой Дика.

 

 

 

 

 

 

 

 

 

К р а т к о е у к а з и и и е. В

полученном

графе

 

 

будет девять

вершин,

сгруппированных

по

три.

 

 

Член каждой группы связан точно с одним

членом

 

 

каждой другой. Рассмотрите дополнительный граф,

 

 

не

учитывая

ребер,

соединяющих

вершимы

одной

Рис. 4.9.

и той ж е

группы.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

П р е ж д е

чем

предложить

вниманию читателя

инте­

ресную

теорему

 

о

дополнительных

 

графах,

рассмотрим

формулу

Эйлера

 

 

 

пт-\-г = 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и всегда

выполняемые

соотношения

 

 

 

 

 

 

 

 

 

 

 

 

 

3«sC2m,

 

/ г > 4

 

 

 

 

(не очень полезное соотношение, по оно потребуется

здесь),

 

3/-г^2ш,

л ^ 4 .

Если подставить второе неравенство в формулу Эй­ лера, то получим

п1- г + г > 2,

пли г ^ 2 / 2 — 4 . Подставляя

в формулу

Эйлера

и про­

изводя упрощения, получим

неравенство

т^Зп—6,

ко­

торое справедливо для любого плоского графа. Следо­

вательно, граф неплоский,

если ш > 3 « — 6 .

 

 

 

 

 

Теорема 4.16. Если G— граф

с

п

вершинами

и G'

его

дополнительный

граф,

то: (1)

 

при / г < 8 ,

по

крайней

мере, один из них плоский, (2)

при

« > 8 ,

по

крайней

мере, один из них неплоский, и

(3)

при

/ г = 8

первый

или

второй

или

сразу оба могут

быть

как плоскими,

так

п

неплоскимн.

 

 

 

 

 

 

 

 

 

 

Д о 1С а з а т е л ь с т в о.

Заметим,

что

для

случая

л > 1 1

имеем

in-\-m = n(n—1)/2,

где

т. — число

ребер

в

G'.

Если ih^m,

то

т.^п(п—1)/4,

 

иначе

 

пг^п(п.—1)/4.

110 ПЛОСКИЕ I I НЕПЛОСКПЕ ГРАФЫ |ГЛ. 1

В любом случае для п—\

мы имеем //(//—1)/4 =

27,5 и

Зд — 6 =

27,

откуда

следует,

что

///. или

т больше, чем

3/1—6,

и теорема доказана . Д л я

/ г > 1 1

можно

провести

аналогичное

доказательство.

 

 

 

 

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

для случаев

9 и 10

здесь

не

приво­

дится из-за сложности. С помощью перебора можно по­ казать [ 3 6 а ] , что при м = 9 каждый плоский граф с 3/г—6 ребрами имеет дополнительный граф, содержащий

один

из

двух

подграфов

Понтрягниа — Куратовского.

Отсюда

т а к ж е

следует,

что

графу

с / / = 1 0

вершинами

п

3//—6

ребрами

соответствует иеплоскпй

 

дополнитель­

ный

граф,

так

как

если

мы

удалим

некоторую вершину

вместе

с

инцидентными

e'i'i

ребрами,

то

получим

пло­

ский

граф

с

девятью

вершинами, дополнительный

граф

которого

в

соответствии

со

сказанным

 

является

ие-

плоскнм

 

и

содержится

в

дополнительном

графе

рас­

сматриваемого

графа

с / / = 1 0

вершинами.

 

 

 

 

П р е ж д е

чем

переходить

к

случаю

// =

8,

рассмотрим

граф

для

задачи

с

четырьмя

пунктами

обслуживания

и

четырьмя

домами .

Этот

граф

является неплоскп.м,

а его дополнительный граф, очевидно, плоский. Снова рассмотрим подграф Понтрягниа — Куратовского 2-го

типа

с

двумя

изолированными

вершинами. Он

содер­

жит

9

ребер,

а его дополнение

— 19 ребер, что

превы­

шает 18, т. е. максимально возможное число ребер в плоском графе с восемью вершинами. В заключение рассмотрим два концентрических квадрата . Пометим вершины внутреннего квадрата числами 1, 2, 3, 4, а вер­

шины

внешнего

квадрата числами

5,

6,

7,

8

так,

чтобы

вершина

5 являлась

ближайшей к

/,

6 — к

2,

7—к

3,

а 8 -

к 4.

Пары

вершин д о л ж н ы быть связаны

прямыми

ребрами

(/,

2),

(/,

4),

(/,

5),

(J,

6),

(2,

3),

 

(2,

4),

(2,

6),

(3,

4),

(3,

6),

(3,

7),

(3,

8),

(4,

5),

(4,

8),

(5,

6),

(5,

8),

(6,

7),

(7,

8)

и внешним

ребром

(6,

8).

Получен­

ный граф является плоским. Можно показать, что его

дополнительный

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

Случай / г < 8

представляется читателю в качестве

упражнений . При доказательстве полезно помнить, что

если

изолировать

вершину

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

будет содержать большее число ребер.

 

Теорема

4.17.

Если k

и

k'

— хроматические

числа

графа

Gen

вершинами

и

его

дополнительного

графа

4.3)

 

\

 

 

 

 

111

 

ДОПОЛНИТЕЛЬНЫЙ

ГРАФ

 

 

 

 

 

G'

соответственно, то

 

.

 

 

 

 

2 Уп < к + к' < п

1, п <

/г/г' С р - тг^ -

 

 

Д о к а з а т е л ь с т в о . Пусть

п, — число

вершин

гра­

фа

G, которые

будут окрашены

/-м цветом. Тогда

 

 

 

к

 

 

 

 

 

 

 

2j iii — /г и max пс —г-.

 

 

 

 

i=I

i

 

к

 

 

Д в е вершины

одного цвета

в G

связаны

ребром

в G'

н, следовательно, будут окрашены в нем по-разному. Таким образом,

к' ^ max tic > или kk' > н.

Теперь из

{k—k')2^0

мы имеем

2 55 Ш ' .

Это значит, что

k + /г' > 2

С помощью индукции по /г покажем, что k-\-k'^.'

+Теорема справедлива для п=\. Предположим,

что

она справедлива для п

вершин. Включим

вершину

v в

полный граф, получаемый

объединением

G

и

G'.

Так как v связана с п другими

вершинами,

то

пусть

т

из

них, которые включены

в

G, образуют

граф

Н

хроматическим числом

h),

а

п—т,

которые

включены

в G', образуют граф Н'

хроматическим числом

ft')-

Очевидно, что для раскраски

 

Н

и Н'

мы можем

исполь­

зовать самое большее один дополнительный цвет, кроме

цветов,

использованных в G

и G'.

Таким

образом,

 

А ' < * ' + 1 и А + й ' < л + 3 .

 

 

Если

действительно h=k-\-l,

h'—k'+l

и

вершина и

вместе с инцидентными ребрами в Н удаляется, то хро­

матическое

число Н

уменьшится. В этом случае m^zk

и пtn^k',

откуда

k-j-k'^n

и

снова

h-\-h' ^.п-\-2.

Таким

образом,

индуктивная

часть

доказательства

закончена.

 

 

 

 

 

112 ПЛОСКИЕ II НЕПЛОСКИЕ ГРАФЫ [ГЛ. 4'

Н а конец, пз

(/?+/?')2 2г4/о— 1 и

пз

г ^ я - Н ,

оче­

видно, следует,

что

 

 

 

 

Теорема доказана .

 

 

 

 

 

4.4. Р а с к р а с к а ребер

графа

 

 

Рассмотрим полный граф с п

вершинами

(который,,

очевидно, неплоский при » ^ 5 ) и

предположим, что

не­

которые его ребра окрашиваются

в

красный

цвет, а

ос­

тавшиеся ребра — в голубой. Найдем наименьшее число треугольников, все три стороны которых будут окрашены при этом одним цветом (монохроматические треуголь­ ники). Эта задача была впервые решена Гудманом [23], но мы приведем здесь более простое доказательство,

предложенное Саувом [40] .

 

 

Теорема

4.18. Пусть

в полном

графе с п

вершинами

b — число

треугольников

с тремя

голубыми

сторонами,

а г — соответствующее

число треугольников

с красны­

ми сторонами; тогда число монохроматических треуголь­

ников ( & + ' ' )

 

удовлетворяет

неравенству

 

 

 

 

 

[s(s—

U ( s — 2 )

 

. если

n =

 

 

 

 

1 v

 

3

J

2s,

 

 

 

 

 

 

 

 

 

 

 

b + г

>

2s

(s -

1)(4s +

1)

' если

n =

4s

-r

1,

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

2s

(s +

1)(4s +

О

если

n =

4s

- I -

3,

 

 

t

 

3

 

 

 

 

 

 

где s —

н е о т р

и ц а т е л ь н о е

целое

число.

Граница

является

точной,

т. е.

равенство

выполняется

д л я к а ж д о г о

п п

некоторого (красно-голубого)

раскрашивания .

 

 

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

Припишем

каждой

паре

ре­

бер, пересекающихся в вершине, вес 2, если они окра­ шены в один цвет, и 1, если в разные цвета. Вес неко­ торой вершины равняется сумме весов пар ребер, пере­ секающихся в этой вершине. Вес треугольника есть сумма весов пар ребер, пересекающихся в каждой его

вершине. В общем

случае, к а ж д а я

пара

ребер

принад­

лежит

к единственному треугольнику и,

следовательно,

сумма

весов всех

треугольников

w равняется

сумме

4.4] РАСКРАСКА РЕБЕР ГРАФА 113

весов

всех

вершин.

Вес монохроматического треуголь­

ника

равен

шести,

а

всех

остальных — нулю.

Отсюда

b-\-r=w/b.

З а д а ч а

теперь состоит в том, чтобы

опреде­

лить наименьшее

значение

w/б

при

всех возможных

рас­

красках. Если n =

2s, то вес

каждой

вершины

минимален

тогда,

когда

максимальное

число

 

пар ребер

в

вер­

шине имеет различный цвет. Пусть

теперь

к а ж д а я

вер­

шина

и- "еет

2s—1

ребер. Если

в

вершине v

пересекают­

ся / ребер одного цвета, то здесь

ж е будет

пересекаться

2s—1t ребер

другого

цвета

и

вес

v

определяется

как

 

 

2C2 +

2 C l - i - < - * ( 2 -

I

+ 0 ,

 

 

 

где Ct — число сочетаний из / вершин по две, т. е.

2/!

с' " (/ — 2)i2i:

Аналогично,

 

 

 

 

Г 2

 

 

 

• ( 2 s - 1 - / ) !

 

 

 

 

 

 

 

 

0 2 , - I - f - ( 2 s _ , _ 3 ) ] 2| •

 

 

 

 

Легко

проверить,

что найденный

вес

минимален

при

~t = s.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким

образом,

общий

вес

всех

вершин

удовлетво­

ряет неравенству

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

w^2s{s—

 

1) (s—2)^

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

С

И

 

S (5 1) (5

2)

 

 

 

 

 

 

г-тЬ = - g - >

 

 

 

3

 

 

 

 

Точно

так

ж е

можно

провести

анализ

для

случая

; i = = 4 s + l

при

2s

ребрах

каждого

цвета

в каждой

вер­

шине. Если

 

/ i =

4s+3,

то

2s-4-l не может быть числом

ребер каждого цвета в каждой вершине, так

как общая

величина

l/2(4s-f3) (2s-f-l)

 

не

является

целочисленной.

Следовательно, 4s-f2 вершин имеют

2 s + l

ребер

каж ­

дого цвета, а оставшаяся вершина имеет 2s

ребер

одно­

го цвета

и 2S-4-2 другого.

 

 

 

 

 

 

 

 

 

Д л я того

 

чтобы

доказать

равенство

при

n=2.s,

при­

ведем рассуждения

Лордена

[32] .

 

 

 

 

 

 

Пометим

вершины

и ь

. . . ,

vn

и

окрасим

в

красный

цвет ребра,

соединяющие пары

вершин,

сумма

индексов

Р. Басакер, Т. Саати

114

П Л О С К И Е И Н Е П Л О С К И Е Г Р А Ф Ы

 

 

 

[гл. 4

которых четна, и в голубоГг цвет, если

эта

сумма

не­

четна.

Вершины, имеющие четные индексы,

соединяют­

ся красными ребрами, совокупность которых

называется

красной сетью. Вершины с нечетными индексами

 

(пре­

вышающими четные на единицу, если п

нечетно)

т а к ж е

соединятся попарно красными ребрами

и т а к ж е

обра­

зуют

красную сеть. К а ж д ы й

треугольник

должен

содер­

жать,

по крайней мере, одно

ребро, принадлежащее

од­

ной из двух красных сетей, и, следовательно, не суще­ ствует треугольника, в котором все три ребра были бы

окрашены в голубой цвет.

При /; =

2s к а ж д а я

из

двух

красных сетей имеет s вершин и,

следовательно,

Cl

красных

треугольников,

а

всего

в

графе

оказывается

2Cj

красных

треугольников.

 

 

 

 

 

 

 

 

 

Покажите,

что

при

n = 2 s + l

существует

 

Cl-\-C3s+i

красных треугольников. Доказательство этого

равенства

при нечетном п дано в работе

[40] .

 

с п

 

 

 

 

Теорема

4.19.

В любом

полном

графе

вершинами

 

 

 

Ь -!-r = Cl - Аг 2

/ , ( л _ 1 - / , - ) ,

 

 

 

где

/<— число

вершин, с каждой

из

которых

i'-я

верши­

на связана

красными

ребрами

[32] .

 

инцидентны I ,

 

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

 

Вершине

и,-

красных ребер и п1—/,•

голубых

ребер.

Следовательно,

существует /,(« — 1 — /,)

пар

разноцветных

 

ребер,

причем

к а ж д а я

пара

образует

две

стороны

разноцветного

тре­

угольника.

Так как

третье

ребро

треугольника

либо

красное,

либо

голубое,

то

две

оставшиеся

вершины

бу­

дут иметь красно-голубые пары. Следовательно, число

разноцветных

треугольников

равно

 

 

 

 

4 v /, ( П

-

1 - Л).

 

 

 

 

1=1

 

 

 

 

Общее число

треугольников

С?,

равно

сумме чис­

ла одноцветных

треугольников

b-j-r и

числа

разноцвет­

ных треугольников. Таким образом, теорема

доказана .

Аналогичные

задачи могут

возникнуть при

раскраске

графа в несколько цветов, однако в этом случае не су­ ществует столь ж е простых теорем.

4.5] РАСКРАСКА ГРАНЕН II ВЕРШИН 115

4.5. Р а с к р а с к а граней

и вершин. З а д а ч а

 

о четырех

красках

 

З а д а ч а о

четырех красках

состоит в

доказательстве

возможности

раскраски любого плоского

графа в четы­

ре цвета так, чтобы л ю б а я пара смежных граней имела разные цвета.

Не меньший интерес представляет доказательство невозможности такой раскраски. (Грани, пересекающи­

еся в

вершинах,

не считаются

смежными.) Необходи-

т

1

Т

^ \

Рис

4.10.

Рис.

4.11.

мость четырех

цветов

иллюстрируется

рис. 4.10. Гипо­

теза четырех красок была впервые высказана в лекциях

Мёбиуса

 

в

1840

г. и стала

хорошо

известной

бла­

годаря

Д е

Моргану,

который

получил

ее

через

Ф.

Гутри

(Franci

Gulrie)

приблизительно

в 1850 г.

В

1878

г. Келей

отмечал,

что

ему

не

удалось

получить

строгого

доказательства

гипотезы. В 1890 г. Хнвуд оп­

роверг ошибочное

доказательство,

предложенное

Кемпе

(1879),

и

доказал

достаточность пяти

цветов.

Прекрас ­

ный обзор ранних взглядов на задачу приводится в ра­ боте [ 2 ] .

Упражнение

4.8. Раскрасить

четырьмя

цветами

карту,

приве­

денную на рис.

4.11.

 

 

 

 

 

 

k,

3 а м е ч а и и е. Если

степень

каждой вершины графа

не

более

то интуитивно

понятно,

что такой граф

может

быть

раскрашен

(&-f-I) цветом,

так как ни одна

вершина не

связана более

чем с

к

другими вершинами. Но возникает вопрос, можно ли при этом умень­ шить число цветов раскраски? В полном графе с (/'+1) вершинами степень каждой вершины равна /г, но для раскраски такого графа требуется (А'+1) нвегор.

116 ПЛОСКИЕ II НЕПЛОСКНЕ ГРАФЫ [ГЛ. I

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

шего числа цветов. Этот результат сформулирован

в

теореме

Брукса

[10], применимой jie только

к

плоским

графам . Теорема приводится без доказательства .

 

 

 

Теорема

4.20.

Пусть

G

обыкновенный

граф

с

п

вершинами, в котором каждой вершине инцидентны

не

более

чем

к ребер

( / г > 2 ) .

 

Предположим,

что

в

G

не

существует связной компоненты, которая является

пол­

ным графом с /г-|-1 вершинами. Тогда

вершины

G мож­

но раскрасить к

цветами

так,

чтобы

не было двух смеж­

ных вершин, окрашенных

одним

цветом.

 

 

 

 

 

 

 

 

 

Ч и с л о с м е ж п ы х г р а н е и

 

 

 

 

 

Рассмотрим процесс построения граней па плоской

карте,

при

котором

к а ж д а я

грань

смежна

с

возможно

большим

числом

других

граней. Начнем с двух

смежных

граней

А

п

В. Д л я

того

чтобы

построить грань

С,

сое­

диним

ребром

точку на

границе

А

с

точкой

па

гра­

нице В.

 

 

 

 

 

 

D

 

 

 

 

 

 

 

С

 

Д л я

 

построения

грани

соединяем

границу

с

границей А так, чтобы В была смежна с D и т. д.

Про­

делывая

эту операцию п

раз, мы получим

/ ; + 3

гранен,

так как в их число мы включаем

т а к ж е

 

внешнюю грань.

К а ж д ы й

раз, когда

мы

рисуем

дугу,

мы получаем

три

дополнительные

дуги,— одну

новую

и

 

две

другие,

по­

лучаемые

при делении

па

два

отрезка

двух

построен-

Рис. -1.11а.

пых ранее дуг (рпс. 4.11а). Таким образом, общее чис­ ло отрезков, на которые де­ лятся дуги, равно 3n-f-3, включая три исходные дуги между А и В. Так как к а ж ­ дая дуга соединяет две гра­

ни,

то в

общей

сложности

мы

имеем

б/г+б

смежных

граней. Среднее число граней

смежных с некоторой гранью, равно ( б / г + 6 ) / ( / г + 3 ) = = 6—12/(//-|-3). Заметим, что процедуру можно было бы изменить, построив сначала /-1 п В, а затем выполнить оставшиеся —2) опер цин. При этом общее число

4.51 РАСКРАСКА ГРАНЕН II ВЕРШИН 117

граней, смежных

с заданной,

оказывается равным

6—12/"+1 при

общем числе

смежных граней я + 1

(включая внешнюю грань) . Таким образом, среднее чис­

ло граней, смежных с любой

гранью,

в произвольной

карте меньше, чем 6. Заметим,

что мы

говорим о сред­

нем числе. Реальные числа смежных граней могут, ко­ нечно, оказаться большими, чем средине, для одних граней и меньшими для других.

Приведем другое доказательство того, что среднее

число

ребер,

ограничивающих

грани

карты,

меньше

шести.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Используем

формулу

Эйлера,

в

которой

не

учте­

на внешняя

грань, т. е. п—//г+г=1

 

п отношение

3 / г ^ 2 ш .

Отсюда следует, что т^Зг—3.

 

Если

грани

нумеруются

индексами

/ = 1 ,

 

/'

и если

число

ребер

1

грани

обозначить

через

е„ то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V

а <

^ 6г -

6,

 

 

 

 

 

 

 

 

 

i=i

 

 

 

 

 

 

 

 

 

 

 

так как не все ребра принадлежат двум

граням,

а

толь­

ко некоторые.

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

1

г

 

 

б

 

 

 

 

 

 

 

 

 

 

 

т 2 е ' < е - т < 6 -

 

 

 

 

 

Отсюда получаем, что существует, по

крайней

мере,

одна вершина со степенью 5 или меньше.

 

 

 

 

Другое доказательство справедливости этого факта

содержится

в доказательстве

теоремы

4.21.

 

 

 

 

Т е о р е м а о д о с т а т о ч н о с т и п я т и

к р а с о к

 

 

 

 

и д р у г и е

т е о р е м ы

 

 

 

 

 

Рассмотрим теоремы, частично иллюстрирующие, как

далеко

удалось

продвинуться

в

доказательстве

гипоте­

зы о четырех

красках.

 

 

 

 

 

 

 

 

 

 

Теорема

4.21. Д л я

раскраски

граней

плоской

карты

достаточно

пяти

цветов.

 

 

 

 

 

 

 

 

 

 

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

Д о к а ж е м

теорему

по

индукции

на двойственном

графе,

т. е.

будем

раскрашивать

вер­

шины двойственного графа. Предположим, что теорема верна для графа с п—1 вершинами. Тогда граф содер­ жит, по крайней мере, одну вершину и степени s ^ 5 . Ье-

118 ПЛОСКИЕ It НЕПЛОСКПЕ ГРАФЫ [ГЛ. I

ли это не так, то, используя соотношение

между

числом

граней и

ребер Злг^2п и 6п^.2т

(т.

е. предполагая

обратное,

что к а ж д а я вершина имеет, по

крайней

мере,

степень 6) и подставляя в формулу Эйлера, получим противоречие: 0 = 2 ш / 6 — ш + 2 ш / 3 ^ 2 . Теперь если уда­ лить v из графа, то получится граф, который по индук­ тивному предположению может быть раскрашен пятью цветами. Рассмотрим худший случай, когда пять вершин

vu . . . ,

t'5 смежны

с v (пусть

они упорядочены

в

на­

правлении движения часовой стрелки) .

 

 

 

 

Предположим, что при раскрашивании графа без v

(когда

v удалена

вместе

с

инцидентными

ребрами)

каждой из этих вершин поставлен в соответствие

своп

цвет

противном случае один из оставшихся

цветов

может

быть поставлен в соответствие v

и теорема

дока­

з а н а ) . Пусть соответствующими

цветами

будут

с ь

. . . , с5 .

П о к а ж е м

теперь, что можно

перераспределить

цвета

так,

чтобы вершина v получила цвет, отличный от цветов

вершин, с

которыми

 

она

 

смежна,

т.

е.,

по

крайней

мере, двум

из вершин

 

с ь

. . . , v5

будет

приписан

один

и тот ж е цвет. Рассмотрим подграф, вершины

которого

окрашены

цветами

С\

и

с 3

(цвета

соответствуют верши­

нам с'|

и

3). Если

c'i

и

1'з

не

соединены

(т. е. не

суще­

ствует

пути

между

ними) в этом

подграфе,

то

вершины,

входящие

в

компоненту,

которая

содержит

vlt

окрашен­

ные в

с ь

могут быть перекрашены в с3,

а вершины

этой

ж е компоненты, окрашенные в с3 , могут быть

перекра­

шены в С\. Таким образом, V\ и v3

получают цвет с 3 и v

может

быть

окрашена

в с,. Если

же

v{

и

t'3 связаны

в

подграфе,

содержащем

цвета

С\

и с3 ,

то,

например,

v2

и с'4 не могут быть соединены в подграфе вершим, ок­

рашенных

в

с2

и с4 . В противном

случае связывающий

их

путь должен

пересекать путь,

связывающий v{ и

v3,

и

вершине,

в

которой эти пути пересекаются,-будет

на­

значен один цвет из одного и второй цвет из другого подграфа . Тогда подграф, который включает v2 и о4 ,

может

быть

перекрашен

описанным выше способом.

При этом v2

и и4 получат

одинаковый цвет. Освободив­

шийся

цвет ставится затем

в соответствие v.

Теорема 4.22. Д л я раскраски граней, получаемых пе­ ресечением прямых линий на плоскости, достаточно двух цветов.

Соседние файлы в папке книги из ГПНТБ