4

Оптимизация с использованием деревьев

[51/98%]
Показать
LaTeX
Задача 4.1

Покажите, что если множество вершин связного графа G=(V,E)G=(V, E) разбито на два непустых множества XX и YY, разъединяющее множество F=(X,Y)F=(X, Y), состоящее из всех рёбер GG, соединяющих вершины в XX и вершины в YY, является разрезом, если подграф G′=(V,E−F)G^{\prime }=(V, E-F) имеет ровно две компоненты.

?
Задача 4.2

Удаление ребра, принадлежащего остовному дереву T=(V,F)T=(V, F) графа G=(V,E)G=(V, E), из FF определяет разбиение VV на два подмножества XX и YY, создавая разъединяющее множество D={X,Y}D=\left\{ X, Y\right\} графа. Покажите, что это разъединяющее множество является разрезом GG.

?
Задача 4.3

Если TT — остовное дерево графа GG, разрез GG, образованный удалением ребра ee дерева TT и обозначаемый DT(e)D_{T}(e), называется фундаментальным разрезом GG относительно TT по ребру ee. Найдите число разрезов связного графа с nn вершинами относительно остовного дерева.

?
Задача 4.4

Если TT — остовное дерево в GG, любое ребро e={x,y}e=\left\{ x, y\right\} в GG, не являющееся ребром TT, называется хордой TT. Единственный цикл в GG, образованный путём в TT, соединяющим xx и yy, и ребром ee, обозначаемый CT(e)C_{T}(e), называется фундаментальным циклом GG относительно TT по ребру ee. Найдите число фундаментальных циклов связного графа относительно остовного дерева.

?
Задача 4.5

Пусть GG — связный граф, в котором CC — цикл, DD — разрез, а TT — остовное дерево. Покажите, что:

?
(a)

число рёбер, общих для CC и DD, чётно,

(b)

хотя бы одно ребро CC является хордой TT,

(c)

хотя бы одно ребро DD является ребром TT.

Задача 4.6

Пусть ee — ребро остовного дерева TT графа GG. Покажите, что

?
(a)

если ff — любое ребро (кроме ee) в фундаментальном разрезе DT(e)D_{T}(e), то ff является хордой TT, а ee является ребром фундаментального цикла CT(f)C_{T}(f); и

(b)

ee не является ребром фундаментального цикла CT(e′)C_{T}\left(e^{\prime }\right) относительно любой хорды e′e^{\prime }, не являющейся ребром в DT(e)D_{T}(e).

Задача 4.7

Пусть ee — хорда остовного дерева TT графа GG. Покажите, что

?
(a)

если ff — любое ребро (кроме ee) в фундаментальном цикле CT(e)C_{T}(e), то ff является ребром TT, а ee является ребром фундаментального разреза DT(f)D_{T}(f); и

(b)

ee не является ребром фундаментального разреза DT(e′)D_{T}\left(e^{\prime }\right) относительно любого ребра e′e^{\prime } дерева TT, не являющегося ребром в CT(e)C_{T}(e).

Задача 4.8

Покажите, что если TT и T′T^{\prime } — два остовных дерева в GG, и ee — ребро TT и хорда T′T^{\prime }, существует ребро e′e^{\prime } в T′T^{\prime }, такое что e′e^{\prime } является хордой TT, а T−e+e′T-e+e^{\prime } — остовное дерево в GG.

?
Задача 4.9

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

?
Задача 4.10

Покажите, что если связный взвешенный граф GG содержит единственное ребро ee минимального веса, ee является ребром каждого M.S.T. графа GG.

?
Задача 4.11

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

?
Задача 4.12

Покажите, что если во взвешенном связном графе GG есть ребро ee, являющееся ребром максимального веса в любом цикле, содержащем ee, существует M.S.T. в GG, не содержащее ee. В частности, если вес ee превышает вес каждого ребра в любом цикле, содержащем ee, то никакое M.S.T. в GG не содержит ee в качестве ребра.

?
Задача 4.13

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

?
Задача 4.14

Докажите теорему 4.1: алгоритм Крускала решает задачу M.S.T. в сети.

?
Задача 4.15

Если ee — ребро, инцидентное вершине xx связного взвешенного графа GG, и w(e)≤w(f)w(e) \leq w(f) для каждого ребра ff, инцидентного xx, существует M.S.T. графа GG, содержащее ee в качестве ребра. В частности, если w(e)<w(f)w(e)<w(f), каждое M.S.T. графа GG содержит ee.

?
Задача 4.16

Если WW — множество вершин любого подграфа HH остовного дерева минимального веса TT графа G=(V,E)G=(V, E), и ee — любое ребро минимального веса в разъединяющем множестве D=(W,V−W)D=(W, V-W), существует M.S.T., содержащее ee в качестве ребра и имеющее HH в качестве подграфа.

?
Задача 4.17

Докажите теорему 4.2: алгоритм Прима решает задачу M.S.T.

?
Задача 4.18

Найдите остовное дерево минимального веса в графе, показанном на рис. 4-18.

Fig. 4-18Fig. 4-18

?
Задача 4.19

Пусть мы используем алгоритм Прима для построения M.S.T. в графе на рис. 4-18. На текущем этапе W={3,6,8,9}W=\left\{ 3,6,8,9\right\} — множество вершин дерева HH, являющегося поддеревом остовного дерева минимального веса TT, которое должно быть получено этим методом. Выберите следующее ребро для включения и перечислите рёбра после этого выбора.

?
Задача 4.20

Найдите остовное дерево максимального веса в графе на рис. 4-18.

?
Задача 4.21

Пусть G=(V,E)G=(V, E) — взвешенный орграф, и пусть B=(V′,E′)B=\left(V^{\prime }, E^{\prime }\right) — ветвление в GG. Дуга e∈(E−E′)e \in \left(E-E^{\prime }\right) называется BB-допустимой дугой, если дуги в E′′=E′+e−{f∈E′:t(e)=t(f)}E^{\prime \prime }=E^{\prime }+e-\left\{ f \in E^{\prime }: t(e)=t(f)\right\} образуют ветвление. Покажите, что ee является BB-допустимой тогда и только тогда, когда в BB нет ориентированного пути из t(e)t(e) в s(e)s(e).

?
Задача 4.22

Пусть CC — ориентированный цикл в G=(V,E)G=(V, E), и пусть B=(V′,E′)B=\left(V^{\prime }, E^{\prime }\right) — ветвление в GG. Покажите, что ни одна дуга в (C−E′)(C-E^{\prime }) не является BB-допустимой тогда и только тогда, когда (C−E′)(C-E^{\prime }) содержит ровно одну дугу.

?
Задача 4.23

Покажите, что если HH — критический подграф взвешенного орграфа G=(V,E)G=(V, E), существует ветвление максимального веса B=(V,E′)B=\left(V, E^{\prime }\right) в GG, такое что для каждого цикла CC в HH множество (C−E′)\left(C-E^{\prime }\right) содержит ровно одну дугу.

?
Задача 4.24

Покажите, что если циклы критического графа HH взвешенного орграфа G=(V,E)G=(V, E) — это Ci(i=1,2,…,k)C_{i}(i= 1,2, \ldots , k), существует ветвление максимального веса B=(V,E′)B=\left(V, E^{\prime }\right) графа GG, такое что (i) Ci−E′C_{i}-E^{\prime } содержит ровно одну дугу для каждого ii; и (ii) если ни одна дуга в (E′−Ci)(E^{\prime }-C_{i}) не направлена в вершину цикла CiC_{i}, единственная дуга в (Ci−E′)\left(C_{i}-E^{\prime }\right) является дугой минимального веса в CiC_{i} для каждого ii.

?
Задача 4.25

Докажите, что алгоритм построения ветвления максимального веса решает задачу о ветвлении максимального веса.

?
Задача 4.26

Покажите, что ветвление максимального веса в сети, показанной на рис. 4-21, нельзя получить жадным алгоритмом.

Fig. 4-21Fig. 4-21

Fig. 4-22Fig. 4-22

?
Задача 4.27

Найдите ветвление максимального веса в сети, показанной на рис. 4-24.

Fig. 4-24Fig. 4-24

?
Задача 4.28

Найдите ветвление максимального веса в сети, показанной на рис. 4-26.

Fig. 4-26Fig. 4-26

?
Задача 4.29

Докажите теорему 4.3: орграф имеет древовидность тогда и только тогда, когда он квазисильно связен.

?
Задача 4.30

Докажите теорему 4.4: пусть T∗=(V,E∗)T^{*}=\left(V, E^{*}\right) — древовидность минимального веса с корнем в вершине rr во взвешенном орграфе G=(V,E)G=(V, E) с попарно различными весами дуг, и пусть H=(V,E′)H=\left(V, E^{\prime }\right) — подграф, полученный из GG выбором дуги минимального веса, направленной в каждую вершину, кроме rr. Тогда множество (C−E∗)\left(C-E^{*}\right) содержит ровно одну дугу для каждого цикла CC в HH.

?
Задача 4.31

Найдите древовидность минимального веса в орграфе, показанном на рис. 4-24.

?
Задача 4.32

Найдите древовидность минимального веса в орграфе, показанном на рис. 4-26.

?
Задача 4.33

Докажите теорему 4.5: независимая система является матроидом тогда и только тогда, когда всякий раз, когда II и JJ — два независимых множества, причём JJ содержит больше элементов, чем II, существует элемент e∈(J−I)e \in (J-I), такой что I∪{e}I \cup \left\{ e\right\} — независимое множество.

?
Задача 4.34

Докажите теорему 4.6: ранговая функция rr матроида удовлетворяет следующим четырём свойствам: (i) ранг пустого множества равен 0, (ii) r(A)≤r(B)r(A) \leq r(B), если A⊂BA \subset B, (iii) функция rr субмодулярна: r(A∪B)+r(A∩B)≤r(A)+r(B)r(A \cup B)+ r(A \cap B) \leq r(A)+r(B), и (iv) ранг одноэлементного множества равен либо 0, либо 1.

?
Задача 4.35

Докажите теорему 4.7: если rr — целочисленная функция, определённая на множестве всех подмножеств конечного множества EE и удовлетворяющая четырём свойствам, перечисленным в теореме 4.6, и если A={A:A⊆E,r(A)=∣A∣}\mathscr {A}=\left\{ A: A \subseteq E, r(A)=\left|A\right|\right\}, пара (E,A)(E, \mathscr {A}) является матроидом.

?
Задача 4.36

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

?
Задача 4.37

Если {E1,E2,…,Ek}\left\{ E_{1}, E_{2}, \ldots , E_{k}\right\} — разбиение конечного множества EE, и A={I⊂E:∣I∩Ei∣≤1 для каждого i}\mathscr {A}=\left\{ I \subset E:\left|I \cap E_{i}\right| \leq 1 \text{ для каждого } i\right\}, покажите, что пара (E,A)(E, \mathscr {A}) является матроидом (известным как матроид разбиения на EE), и найдите его ранговую функцию.

?
Задача 4.38

Если G=(X,Y,E)G=(X, Y, E) — двудольный граф, покажите, что можно получить два матроида разбиения на EE: один с использованием множества XX, а другой — множества YY.

?
Задача 4.39

Если G=(V,E)G=(V, E) — орграф, покажите, что на множестве EE дуг орграфа можно получить два матроида разбиения.

?
Задача 4.40

Пусть EE — конечное множество с весовой функцией ww, определённой на EE, и пусть (E,Ai)\left(E, \mathscr {A}_{i}\right) — совокупность kk матроидов, определённых на одном и том же базовом множестве EE. Задачей о пересечении k\boldsymbol {k} матроидов по мощности называется задача нахождения подмножества максимальной мощности, независимого в каждом из kk матроидов. Задачей о взвешенном пересечении k\boldsymbol {k} матроидов называется задача нахождения подмножества максимального веса, независимого в каждом из kk матроидов. Покажите, что:

?
(a)

первая является частным случаем второй

(b)

задача о ветвлении максимального веса и задача о древовидности минимального веса являются задачами о взвешенном пересечении 2 матроидов.

Задача 4.41

Замыканием (span) любого подмножества AA базового множества матроида называется максимальное надмножество AA, имеющее тот же ранг, что и AA. Покажите, что замыкание множества единственно.

?
Задача 4.42

Найдите вес остовного дерева минимального веса в сети, весовая матрица которой — следующая матрица:

[04−52−−−−404−7−−−−−40−25−−−5−−01−3−−272101676−−5−10−−3−−−36−04−−−−−7−404−−−−63−40] \left[\begin{array}{ccccccccc} 0 & 4 & - & 5 & 2 & - & - & - & - \\ 4 & 0 & 4 & - & 7 & - & - & - & - \\ - & 4 & 0 & - & 2 & 5 & - & - & - \\ 5 & - & - & 0 & 1 & - & 3 & - & - \\ 2 & 7 & 2 & 1 & 0 & 1 & 6 & 7 & 6 \\ - & - & 5 & - & 1 & 0 & - & - & 3 \\ - & - & - & 3 & 6 & - & 0 & 4 & - \\ - & - & - & - & 7 & - & 4 & 0 & 4 \\ - & - & - & - & 6 & 3 & - & 4 & 0 \end{array}\right]
?
Задача 4.43

В задаче 4.42 пусть требуется найти остовное дерево TT минимального веса, содержащее два ребра максимального веса сети. Найдите вес TT.

?
Задача 4.44

Найдите вес остовного дерева максимального веса в сети из задачи 4.42.

?
Задача 4.45

Найдите вес ветвления максимального веса в ориентированной сети G=(V,E)G=(V, E), где V={1,2,3,4,5,6,7,8}V= \left\{ 1,2,3,4,5,6,7,8\right\} и E={(1,2),(1,7),(2,3),(2,7),(3,4),(3,5),(4,5),(6,3),(6,5),(6,7),(7,8),(8,1)}E=\left\{ (1,2),(1,7),(2,3),(2,7),(3,4),(3,5),(4,5),(6,3),(6,5),(6,7),(7,8),(8,1)\right\} с весами 5,8,8,8,4,5,1,6,8,6,85,8,8,8,4,5,1,6,8,6,8 и 2 соответственно.

?
Задача 4.46

Найдите вес ветвления максимального веса в ориентированной сети G=(V,E)G=(V, E), где V={1,2,3,4,5,6}V= \left\{ 1,2,3,4,5,6\right\} и E={(1,2),(1,3),(1,4),(2,3),(3,5),(5,6),(6,4),(4,3)}E=\left\{ (1,2),(1,3),(1,4),(2,3),(3,5),(5,6),(6,4),(4,3)\right\} с весами 1,0,1,2,3,2,21,0,1,2,3,2,2 и 3 соответственно.

?
Задача 4.47

Найдите вес ветвления максимального веса в ориентированной сети G=(V,E)G=(V, E), где V={1,2,3,4,5,6}V= \left\{ 1,2,3,4,5,6\right\} \quad и E={(1,4),(1,5),(2,1),(2,3),(3,1),(4,2),(4,3),(4,5),(4,6),(5,4),(6,5)}\quad E=\left\{ (1,4),(1,5),(2,1),(2,3),(3,1),(4,2),(4,3),(4,5),(4,6),(5,4),(6,5)\right\} \quad с весами 7,2,4,1,3,4,1,−5,−1,67,2,4,1,3,4,1,-5,-1,6 и 1 соответственно.

?
Задача 4.48

Найдите вес древовидности минимального веса с корнем в вершине 1 в ориентированной сети G=(V,E)G=(V, E), где V={1,2,3,4,5,6}V=\left\{ 1,2,3,4,5,6\right\} и E={(1,2),(1,4),(1,6),(2,3),(2,6),(3,2),(4,2),(4,5),(5,6),(6,3),(6,4)}E=\left\{ (1,2),(1,4),(1,6),(2,3),(2,6),(3,2),(4,2),(4,5),(5,6),(6,3),(6,4)\right\} с весами 16,15,19,1,10,4,11,5,3,816,15,19,1,10,4,11,5,3,8 и 2 соответственно.

?
Задача 4.49

Найдите вес древовидности минимального веса с корнем в вершине 1 в ориентированной сети G=(V,E)G=(V, E), где V={1,2,3,4,5,6}V=\left\{ 1,2,3,4,5,6\right\} и E={(1,2),(1,4),(1,6),(2,3),(3,5),(4,3),(4,5),(5,2),(5,6),(6,2),(6,4)}E=\left\{ (1,2),(1,4),(1,6),(2,3),(3,5),(4,3),(4,5),(5,2),(5,6),(6,2),(6,4)\right\} с весами 1,4,6,12,9,9,5,11,7,101,4,6,12,9,9,5,11,7,10 и 6 соответственно.

?
Задача 4.50

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

?
Задача 4.51

Найдите контуры и базы kk-однородного матроида.

?