Оптимизация с использованием деревьев
[51/98%]Покажите, что если множество вершин связного графа разбито на два непустых множества и , разъединяющее множество , состоящее из всех рёбер , соединяющих вершины в и вершины в , является разрезом, если подграф имеет ровно две компоненты.
Удаление ребра, принадлежащего остовному дереву графа , из определяет разбиение на два подмножества и , создавая разъединяющее множество графа. Покажите, что это разъединяющее множество является разрезом .
Если — остовное дерево графа , разрез , образованный удалением ребра дерева и обозначаемый , называется фундаментальным разрезом относительно по ребру . Найдите число разрезов связного графа с вершинами относительно остовного дерева.
Если — остовное дерево в , любое ребро в , не являющееся ребром , называется хордой . Единственный цикл в , образованный путём в , соединяющим и , и ребром , обозначаемый , называется фундаментальным циклом относительно по ребру . Найдите число фундаментальных циклов связного графа относительно остовного дерева.
Пусть — связный граф, в котором — цикл, — разрез, а — остовное дерево. Покажите, что:
число рёбер, общих для и , чётно,
хотя бы одно ребро является хордой ,
хотя бы одно ребро является ребром .
Пусть — ребро остовного дерева графа . Покажите, что
если — любое ребро (кроме ) в фундаментальном разрезе , то является хордой , а является ребром фундаментального цикла ; и
не является ребром фундаментального цикла относительно любой хорды , не являющейся ребром в .
Пусть — хорда остовного дерева графа . Покажите, что
если — любое ребро (кроме ) в фундаментальном цикле , то является ребром , а является ребром фундаментального разреза ; и
не является ребром фундаментального разреза относительно любого ребра дерева , не являющегося ребром в .
Покажите, что если и — два остовных дерева в , и — ребро и хорда , существует ребро в , такое что является хордой , а — остовное дерево в .
Если никакие два веса рёбер связного графа не равны, покажите, что имеет единственное остовное дерево минимального веса.
Покажите, что если связный взвешенный граф содержит единственное ребро минимального веса, является ребром каждого M.S.T. графа .
Покажите, что остовное дерево во взвешенном графе является остовным деревом минимального веса тогда и только тогда, когда каждое ребро является ребром минимального веса в фундаментальном разрезе относительно этого ребра.
Покажите, что если во взвешенном связном графе есть ребро , являющееся ребром максимального веса в любом цикле, содержащем , существует M.S.T. в , не содержащее . В частности, если вес превышает вес каждого ребра в любом цикле, содержащем , то никакое M.S.T. в не содержит в качестве ребра.
Остовное дерево графа является остовным деревом минимального веса тогда и только тогда, когда каждое ребро, не входящее в , является ребром максимального веса в фундаментальном цикле, определяемом этим ребром.
Докажите теорему 4.1: алгоритм Крускала решает задачу M.S.T. в сети.
Если — ребро, инцидентное вершине связного взвешенного графа , и для каждого ребра , инцидентного , существует M.S.T. графа , содержащее в качестве ребра. В частности, если , каждое M.S.T. графа содержит .
Если — множество вершин любого подграфа остовного дерева минимального веса графа , и — любое ребро минимального веса в разъединяющем множестве , существует M.S.T., содержащее в качестве ребра и имеющее в качестве подграфа.
Докажите теорему 4.2: алгоритм Прима решает задачу M.S.T.
Найдите остовное дерево минимального веса в графе, показанном на рис. 4-18.
Fig. 4-18
Пусть мы используем алгоритм Прима для построения M.S.T. в графе на рис. 4-18. На текущем этапе — множество вершин дерева , являющегося поддеревом остовного дерева минимального веса , которое должно быть получено этим методом. Выберите следующее ребро для включения и перечислите рёбра после этого выбора.
Найдите остовное дерево максимального веса в графе на рис. 4-18.
Пусть — взвешенный орграф, и пусть — ветвление в . Дуга называется -допустимой дугой, если дуги в образуют ветвление. Покажите, что является -допустимой тогда и только тогда, когда в нет ориентированного пути из в .
Пусть — ориентированный цикл в , и пусть — ветвление в . Покажите, что ни одна дуга в не является -допустимой тогда и только тогда, когда содержит ровно одну дугу.
Покажите, что если — критический подграф взвешенного орграфа , существует ветвление максимального веса в , такое что для каждого цикла в множество содержит ровно одну дугу.
Покажите, что если циклы критического графа взвешенного орграфа — это , существует ветвление максимального веса графа , такое что (i) содержит ровно одну дугу для каждого ; и (ii) если ни одна дуга в не направлена в вершину цикла , единственная дуга в является дугой минимального веса в для каждого .
Докажите, что алгоритм построения ветвления максимального веса решает задачу о ветвлении максимального веса.
Покажите, что ветвление максимального веса в сети, показанной на рис. 4-21, нельзя получить жадным алгоритмом.
Fig. 4-21
Fig. 4-22
Найдите ветвление максимального веса в сети, показанной на рис. 4-24.
Fig. 4-24
Найдите ветвление максимального веса в сети, показанной на рис. 4-26.
Fig. 4-26
Докажите теорему 4.3: орграф имеет древовидность тогда и только тогда, когда он квазисильно связен.
Докажите теорему 4.4: пусть — древовидность минимального веса с корнем в вершине во взвешенном орграфе с попарно различными весами дуг, и пусть — подграф, полученный из выбором дуги минимального веса, направленной в каждую вершину, кроме . Тогда множество содержит ровно одну дугу для каждого цикла в .
Найдите древовидность минимального веса в орграфе, показанном на рис. 4-24.
Найдите древовидность минимального веса в орграфе, показанном на рис. 4-26.
Докажите теорему 4.5: независимая система является матроидом тогда и только тогда, когда всякий раз, когда и — два независимых множества, причём содержит больше элементов, чем , существует элемент , такой что — независимое множество.
Докажите теорему 4.6: ранговая функция матроида удовлетворяет следующим четырём свойствам: (i) ранг пустого множества равен 0, (ii) , если , (iii) функция субмодулярна: , и (iv) ранг одноэлементного множества равен либо 0, либо 1.
Докажите теорему 4.7: если — целочисленная функция, определённая на множестве всех подмножеств конечного множества и удовлетворяющая четырём свойствам, перечисленным в теореме 4.6, и если , пара является матроидом.
Докажите теорему 4.8: решение задачи нахождения независимого множества максимального веса в независимой системе можно получить с помощью жадного алгоритма для каждой неотрицательной весовой функции, определённой на её базовом множестве, тогда и только тогда, когда независимая система является матроидом.
Если — разбиение конечного множества , и , покажите, что пара является матроидом (известным как матроид разбиения на ), и найдите его ранговую функцию.
Если — двудольный граф, покажите, что можно получить два матроида разбиения на : один с использованием множества , а другой — множества .
Если — орграф, покажите, что на множестве дуг орграфа можно получить два матроида разбиения.
Пусть — конечное множество с весовой функцией , определённой на , и пусть — совокупность матроидов, определённых на одном и том же базовом множестве . Задачей о пересечении матроидов по мощности называется задача нахождения подмножества максимальной мощности, независимого в каждом из матроидов. Задачей о взвешенном пересечении матроидов называется задача нахождения подмножества максимального веса, независимого в каждом из матроидов. Покажите, что:
первая является частным случаем второй
задача о ветвлении максимального веса и задача о древовидности минимального веса являются задачами о взвешенном пересечении 2 матроидов.
Замыканием (span) любого подмножества базового множества матроида называется максимальное надмножество , имеющее тот же ранг, что и . Покажите, что замыкание множества единственно.
Найдите вес остовного дерева минимального веса в сети, весовая матрица которой — следующая матрица:
В задаче 4.42 пусть требуется найти остовное дерево минимального веса, содержащее два ребра максимального веса сети. Найдите вес .
Найдите вес остовного дерева максимального веса в сети из задачи 4.42.
Найдите вес ветвления максимального веса в ориентированной сети , где и с весами и 2 соответственно.
Найдите вес ветвления максимального веса в ориентированной сети , где и с весами и 3 соответственно.
Найдите вес ветвления максимального веса в ориентированной сети , где и с весами и 1 соответственно.
Найдите вес древовидности минимального веса с корнем в вершине 1 в ориентированной сети , где и с весами и 2 соответственно.
Найдите вес древовидности минимального веса с корнем в вершине 1 в ориентированной сети , где и с весами и 6 соответственно.
Приведите пример матроида и двух подмножеств базового множества, для которых неравенство в соотношении субмодулярности, включающее эти два подмножества, является строгим.
Найдите контуры и базы -однородного матроида.