
2ой семестр / МЛиТА / Теория / 2) Шевелев Ю.П. - Дискретная математика Ч2
.pdf




|
|
|
|
|
|
|
|
|
|
|
|
|
|
114 |
|
|
|
|
|
|
|
|
4. (2ПИ)! Определите максимальную пропускную |
При построении орграфа некоторого отношения необ- |
|||||||||||||||||||||
способность участка сети (рис. 23), если: |
|
|
|
ходимо иметь в виду, что ориентация дуг определяется |
||||||||||||||||||
а) источник – вершина 1, сток – вершина 4; |
|
записью аRb, где а – начало дуги, b – ее окончание, т. е. |
||||||||||||||||||||
б) источник – вершина 1, сток – вершина 6; |
|
стрелка всегда показывает направление от а к b. Проил- |
||||||||||||||||||||
5. (285). Определите максимальную пропускную спо- |
люстрируем это еще одним примером. Пусть отношение |
|||||||||||||||||||||
собность сети (рис. 23), если вершина 1 – источник, |
вида «быть братом» задано на множестве детей {Таня, |
|||||||||||||||||||||
вершина 7 – сток. |
|
|
|
|
|
|
|
|
|
Зина, Толя, Костя} одних и тех же родителей. Поставим в |
||||||||||||
|
2 |
|
1 |
3 |
|
|
2 |
|
|
|
4 |
|
|
соответствие каждому из детей определенную вершину |
||||||||
|
3 |
|
|
|
12 |
|
|
|
|
|
|
3 |
орграфа: 1 – Таня, 2 – Зина, 3 – Толя, 4 – Костя. Толя по |
|||||||||
|
1 |
2 |
|
|
|
|
|
8 |
|
|
||||||||||||
|
|
|
5 |
|
|
|
|
|
|
|
|
|
, |
|
|
|||||||
1 |
|
|
1 |
|
|
|
7 |
|
4 |
9 |
7 |
отношению к самому себе братом не является |
и Костя |
|||||||||
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
4 |
|
|
7 |
1 |
|
|
|
4 |
7 |
сам себе не брат. Поэтому в орграфе (рис. 26) петель нет. |
||||||||||
|
|
|
2 |
|
|
|
|
|
1 |
|||||||||||||
|
8 |
1 |
5 |
|
|
|
9 |
6 |
|
|
3 |
Толя – брат Тани, Зины и Кости. Следовательно, верши- |
||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
9 |
6 |
|
|
|
|
|
8 |
|
6 |
ну 3 соединяем дугами со всеми остальными вершинами. |
|||||||||||
|
|
|
|
|
5 |
|
|
|
|
|||||||||||||
|
|
|
5 |
|
|
|
|
|
|
|
|
|
То же самое относится и к Косте. Вершины 3 и 4 соеди- |
|||||||||
|
|
Рис. 22 |
|
|
|
|
Рис. 23 |
|
нены встречными дугами. Это значит, что если Толя брат |
|||||||||||||
6. (ЕГ6). На какие вопросы Вы ответите «да»: |
|
Кости, то и Костя брат Толи. |
|
|
|
|
||||||||||||||||
1) |
верно |
ли, |
что |
поиск |
максимальной |
пропускной |
1 |
2 |
a |
b |
2 |
|
|
|
||||||||
способности сети можно начинать с любой ее цепи, сое- |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||
диняющей источник со стоком? |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
3 |
||||||||
2) верно ли, что рассмотренный метод отыскания |
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||
максимальной пропускной способности сети применим и |
|
|
|
|
|
|
|
|
||||||||||||||
к непланарным графам? |
|
|
|
|
|
|
|
|
4 |
3 |
c |
d |
5 |
|
|
4 |
||||||
3) |
может ли транспортная сеть содержать пары вер- |
|
|
|
|
|||||||||||||||||
Рис. 26 |
Рис. 27 |
Рис. 28 |
|
|||||||||||||||||||
шин, соединенные встречными дугами? |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
4) |
верно ли, что поток источника всегда равен потоку |
Рассмотрим примеры некоторых отношений. |
|
|||||||||||||||||||
стока? |
|
|
|
|
|
|
|
|
|
|
|
|
Симметричные отношения. Пусть даны четыре пря- |
|||||||||
5) |
может ли пропускная способность разреза, имею- |
мые а, b, c, d. При этом а и b перпендикулярны, с и d |
||||||||||||||||||||
щая наименьшее значение по сравнению с другими разре- |
также перпендикулярны. |
Кроме того, а и d параллельны, |
||||||||||||||||||||
зами, быть меньше максимальной пропускной способ- |
параллельны и b и с [3, с. 76]. На множестве этих прямых |
|||||||||||||||||||||
ности сети? |
|
|
|
|
|
|
|
|
|
|
|
рассмотрим отношение перпендикулярности. В данном |
||||||||||
6) изменится ли пропускная способность сети, если |
случае – это множество упорядоченных пар вида |
|
||||||||||||||||||||
пропускную способность каждой дуги увеличить в два |
R = {(a,b), (b,a), (a,c), (c,a), (b,d), (d,b), (c,d), (d,c)}. |
|||||||||||||||||||||
раза (рис. 16)? |
|
|
|
|
|
|
|
|
|
|
Соответствующий орграф приведен на рис. 27. |
|||||||||||
7. (У87). Найдите максимальную пропускную спо- |
Отношение перпендикулярности является антиреф- |
|||||||||||||||||||||
собность сети (рис. 24), где 1 – источник, 8 – сток. |
лексивным, так как ни одна прямая не является перпенди- |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
кулярной самой себе. Поэтому в орграфе нет петель. От- |
||||||||
4.9. Орграфы и бинарные отношения. |
ношение перпендикулярности симметрично, следователь- |
|||||||||||||||||||||
|
|
|
|
Диаграммы Хассе |
|
|
|
но, в |
орграфе каждая пара вершин |
соединена |
двумя |
|||||||||||
|
|
|
|
|
|
|
встречными дугами. Очевидно, что такое отношение |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
В разделе «Бинарные отношения» теории множеств |
может быть представлено неориентированным графом. |
|||||||||||||||||||||
данного курса дискретной математики рассмотрены два |
Рефлексивные отношения. Примером может слу- |
|||||||||||||||||||||
основных способа задания бинарных отношений – анали- |
жить полный орграф, в котором каждые две вершины со- |
|||||||||||||||||||||
тический, путем посимвольного перечисления элементов |
единены встречными дугами и каждая вершина содер- |
|||||||||||||||||||||
отношения, и табличный, основу которого составляет |
жит петлю (отношения параллельности, равенства и др.). |
|||||||||||||||||||||
координатная сетка. Теперь рассмотрим еще один способ |
Транзитивные отношения. Особенность транзитив- |
|||||||||||||||||||||
– с помощью орграфов. |
|
|
|
|
|
|
|
|
ного отношения состоит в том, что для всякой пары дуг, у |
|||||||||||||
Пусть дано множество aRb, где a,b A = {1,2,3,4,5,6}, |
которых конец одной дуги совпадает с началом другой, |
|||||||||||||||||||||
R обозначает «а делится на b». Поставим во взаимно од- |
существует третья дуга, соединяющая начало первой ду- |
|||||||||||||||||||||
ги с концом второй. Эта третья дуга называется транзи- |
||||||||||||||||||||||
нозначное соответствие каждому элементу множества А |
||||||||||||||||||||||
некоторую вершину орграфа и соединим дугами те его |
тивно замыкающей дугой [16, с. 15], или транзитив- |
|||||||||||||||||||||
вершины, которым соответствует высказывание «а делит- |
ным замыканием [62, с. 437]. Орграф, иллюстрирующий |
|||||||||||||||||||||
транзитивное отношение, приведен на рис. 28 (петли не |
||||||||||||||||||||||
ся на b». Всякое число делится на самого себя, – это отме- |
||||||||||||||||||||||
учитываем). |
Всякая тройка вершин в этом графе отли- |
|||||||||||||||||||||
чаем в орграфе петлями. |
Число 2 делится на единицу, |
|||||||||||||||||||||
чается тем, что две вершины соединены двумя цепями. |
||||||||||||||||||||||
проводим дугу от вершины 2 к вершине 1. Число 3 де- |
||||||||||||||||||||||
Одна |
из них содержит |
две дуги, а |
третья |
|
является |
|||||||||||||||||
лится на единицу, соединяем вершины 3 и 1 и т. д. По- |
|
|||||||||||||||||||||
транзитивным замыканием. Например, |
цепь 4,3,2 |
тран- |
||||||||||||||||||||
лучим орграф, приведенный на рис. 25. |
|
|
|
|
||||||||||||||||||
|
|
|
|
зитивно замыкает дуга (4,2). |
|
|
|
|
||||||||||||||
|
2 |
|
3 |
3 |
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
3 |
|
Антисимметричные отношения. В качестве примера |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||
4 |
|
5 |
|
2 |
2 |
|
|
|
|
|
|
|
|
рассмотрим |
отношение |
аRb, где а,b {1,2,3,4,5}, R – |
||||||
1 |
|
|
8 |
|
|
|
|
|
|
|
||||||||||||
4 |
4 |
3 |
5 |
4 |
|
2 |
|
|
|
|
5 |
«больше или равно». Орграф приведен на рис. 28. Если |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
отношение |
«больше или равно» заменить отношением |
||||||||
|
6 |
|
7 |
3 |
5 |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
«больше», то в орграфе исчезнут петли, а остальные дуги |
||||||||||||
|
|
6 |
3 |
7 |
|
|
|
|
|
|
1 |
|
6 |
|||||||||
|
|
|
|
|
|
|
|
|
сохранятся. Отношение «больше или равно» является |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
Рис. 24 |
|
|
|
|
|
|
Рис. 25 |
частично упорядоченным. Его граф содержит транзитив- |



