Презентация Использование методов неявного перебора для решения экстремальных задач на графах онлайн

Содержание слайда: Использование методов неявного перебора для решения экстремальных задач на графах Лекция 8 Поиск минимальных разрезов на взвешенных ориентированных сильносвязных графах с помощью МВГ

Содержание слайда: СОДЕРЖАНИЕ: Часть 1. Текущий контроль Часть 2. Общие черты методов типа ветвей и границ. Часть 3. Методы типа ветвей и границ, осуществляющие поиск минимального разреза на сильносвязном взвешенном ориентированном графе фронтальным спуском по дереву ветвлений с помощью «наивных» методов вычисления оценок. Часть 4. Методы типа ветвей и границ, осуществляющие поиск минимального разреза на сильносвязном взвешенном ориентированном графе фронтальным спуском с учетом циркуляции на графе. Часть 5. Методы типа ветвей и границ, осуществляющие поиск решения задачи о минимальном разрезе на сильносвязном взвешенном ориентированном графе фронтальным спуском по дереву ветвлений, как задачи оптимального упорядочения вершин графа.

Содержание слайда: Часть 1. Текущий контроль Решить три задачи, пользуясь методом типа ветвей и границ, осуществляющим фронтальный поиск по дереву ветвлений:

Содержание слайда: ЧАСТЬ 2: МЕТОДЫ ТИПА ВЕТВЕЙ И ГРАНИЦ Две обязательные компоненты методов типа ветвей и границ: Построение дерева ветвления (выбор стратегии ветвления). Выбор методов вычисления оценок (зависит от специфики задачи).

Содержание слайда: ИДЕЯ МЕТОДОВ ТИПА ВЕТВЕЙ И ГРАНИЦ Все множество планов решаемой задачи разбивается на ряд подмножеств. Для планов каждого подмножества вычисляется наилучшая оценка. На основании оценок отбрасываются те подмножества планов, которые заведомо не могут содержать наилучшего решения, а оставшиеся исследуются.

Содержание слайда: СТРАТЕГИИ ВЕТВЛЕНИЯ Приняты две основные стратегии построения дерева ветвлений: Фронтальный спуск по дереву ветвлений. Движение по дереву ветвлений с возвратом.

Содержание слайда: ЧАСТЬ 3 МЕТОДЫ ТИПА ВЕТВЕЙ И ГРАНИЦ, ОСУЩЕСТВЛЯЮЩИЕ ПОИСК МИНИМАЛЬНОГО РАЗРЕЗА НА БИСВЯЗНОМ ГРАФЕ ФРОНТАЛЬНЫМ СПУСКОМ ПО ДЕРЕВУ ВЕТВЛЕНИЙ

Содержание слайда: ИДЕЯ ФРОНТАЛЬНОГО СПУСКА ПО ДЕРЕВУ ВЕТВЛЕНИЙ Три основных шага построения дерева ветвлений фронтальным спуском: 1. На множестве висячих вершин построенной части дерева выбирается вершина с наилучшей оценкой. 2. Ветвление осуществляется из вершины, выбранной на предыдущем шаге. 3. Если выбранной вершине отвечает случай, когда в базис введены все переменные, то алгоритм закончен – оптимальный план найден.

Содержание слайда: ИЛЛЮСТРАЦИЯ К РЕАЛИЗАЦИИ ФРОНТАЛЬНОГО СПУСКА ПО ДЕРЕВУ ВЕТВЛЕНИЙ

Содержание слайда: ПРИМЕР № 1: ПОИСК МИНИМАЛЬНОГО РАЗРЕЗА В БИСВЯЗНОМ ОРГРАФЕ -ИСХОДНЫЕ ДАННЫЕ Исходный граф G(X,U):

Содержание слайда: ПРИМЕР № 1: ПОИСК МИНИМАЛЬНОГО РАЗРЕЗА В БИСВЯЗНОМ ОРГРАФЕ – ПОСТРОЕНИЕ ДЕРЕВА ВЕТВЛЕНИЙ

Содержание слайда: ПАРАМЕТРЫ ПОИСКА РЕШЕНИЯ В ПРИМЕРЕ 1 Число вычисленных оценок: 12. Число итераций: 6. Число операций сравнения: 21

Содержание слайда: Достоинства и недостатки фронтального спуска по дереву ветвлений Достоинства: шанс на неполный перебор, первый же полный допустимый план является глобально оптимальным. Недостатки: по мере спуска по дереву ветвлений растет: число оценок, хранимых в памяти; затраты времени на их сравнение при выборе направления спуска.

Содержание слайда: САМОСТОЯТЕЛЬНО Определить минимальный разрез на сильносвязном орграфе G(X,U), пользуясь методом типа ветвей и границ, осуществляющим фронтальный спуск по дереву ветвлений:

Содержание слайда: ИСПОЛЬЗОВАНИЕ ЦИРКУЛЯЦИЙ ДЛЯ УТОЧНЕНИЯ ОЦЕНКИ Теорема В.Н. Буркова: Величина максимальной циркуляции не превышает величины минимального разреза. Пусть: U’ – подмножество удаляемых из графа G(X,U) дуг; G’(X,U\U’) – граф, полученный после удаления дуг подмножества U’; S(G’) – некоторая циркуляция на G’(X,U’); Δ(G’) – нижняя граница величины разреза, включающего дуги подмножества U’. Тогда справедливо:

Содержание слайда: ВЫЧИСЛЕНИЕ МАКСИМАЛЬНОЙ ЦИРКУЛЯЦИИ НА ГРАФЕ G(X,U) Формальная постановка задачи определения S(G’): Контуры на графе: a1 = {1,3,1}; a2 = {2,3,2}; a3 ={1,3,2,1}. где - k – й контур множества A(G’); r(i,j) – пропускная способность дуги (i,j); s - циркуляция в контуре ; A(i,j) – множество контуров, проходящих через дугу (i,j).

Содержание слайда: ПОИСК МАКСИМАЛЬНОЙ ЦИРКУЛЯЦИИ НА ОРГРАФЕ G(X,U) Исходный граф G(X,U):

Содержание слайда: ПРИМЕР № 2: ПОИСК МИНИМАЛЬНОГО РАЗРЕЗА В БИСВЯЗНОМ ОРГРАФЕ – НАЧАЛО ПОСТРОЕНИЯ ДЕРЕВА ВЕТВЛЕНИЙ И ВЫЧИСЛЕНИЕ ОЦЕНОК С УЧЕТОМ ЦИРКУЛЯЦИЙ НА ГРАФЕ ПРИМЕРА 1.

Содержание слайда: ПРИМЕР № 2: ЗАВЕРШЕНИЕ ПОИСКА МИНИМАЛЬНОГО РАЗРЕЗА В БИСВЯЗНОМ ОРГРАФЕ – ПОСТРОЕНИЕ ДЕРЕВА ВЕТВЛЕНИЙ И ВЫЧИСЛЕНИЕ ОЦЕНОК С УЧЕТОМ ЦИРКУЛЯЦИЙ НА ГРАФЕ ПРИМЕРА 1.

Содержание слайда: ПАРАМЕТРЫ ПОИСКА РЕШЕНИЯ В ПРИМЕРЕ 2 (вычисление уточненных оценок) Число вычисленных оценок: 10. Число итераций: 5. Число операций сравнения: 5.

Содержание слайда: ДОСТОИНСТВА И НЕДОСТАТКИ ФРОНТАЛЬНОГО СПУСКА Достоинства: - гарантия глобально оптимального решения; - первый же выбранный полный план отвечает минимальному разрезу. Недостатки: - высокие требования к памяти используемого компьютера; - большие затраты времени на сравнение оценок.

Содержание слайда: САМОСТОЯТЕЛЬНО Определить минимальный разрез на сильносвязном орграфе G(X,U), пользуясь: а) методом типа ветвей и границ, осуществляющим фронтальный спуск по дереву ветвлений; б) задачей о максимальной циркуляции для вычисления оценок.

Содержание слайда: Решить самостоятельно, пользуясь МВГ, реализующим фронтальный спуск по дереву ветвлений

Содержание слайда: ЧАСТЬ 4 МЕТОДЫ ТИПА ВЕТВЕЙ И ГРАНИЦ, ОСУЩЕСТВЛЯЮЩИЕ ПОИСК МИНИМАЛЬНОГО РАЗРЕЗА НА БИСВЯЗНОМ ГРАФЕ ДВИЖЕНИЕМ ПО ДЕРЕВУ ВЕТВЛЕНИЙ С ВОЗВРАТОМ

Содержание слайда: ОСНОВНЫЕ ЭТАПЫ СТРАТЕГИИ ПОИСКА МИНИМАЛЬНОГО РАЗРЕЗА НА ДЕРЕВЕ ВЕТВЛЕНИЙ С ВОЗВРАТОМ В памяти компьютера постоянно присутствуют две величины: одна оценка Δ выбранного направления движения и текущее значение рекорда R. Если Δ меньше R, то осуществляется спуск по дереву ветвлений (расширение базиса), в противном случае – подъем (последняя введенная в базис переменная покидает его). Поиск завершается, когда алгоритм возвращается в стартовую вершину.

Содержание слайда: АЛГОРИТМ ПОИСКА МИНИМАЛЬНОГО РАЗРЕЗА НА БИСВЯЗНОМ ГРАФЕ МЕТОДОМ ТИПА ВЕТВЕЙ И ГРАНИЦ, ОСУЩЕСТВЛЯЮЩИЙ ДВИЖЕНИЕ ПО ДЕРЕВУ ВЕТВЛЕНИЙ С ВОЗВРАТОМ – ШАГИ 1 – 7. Шаг 1. R = +∞ Шаг 2. Каждой дуге графа G(X,U) присваивается уникальный индекс i (0<i<│U│+1) и переменная zi . Шаг 3. i = 1 Шаг 4. zi = 1 Шаг5. Одним из рассмотренных в части 1 методов вычисляется оценка Δ. Шаг 6. Если Δ < R, то перейти к шагу 7, нет – к шагу 10 Шаг 7. Если все ограничения удовлетворяют, то перейти к шагу 8, нет к шагу 10.

Содержание слайда: ПРОДОЛЖЕНИЕ АЛГОРИТМА ПОИСКА МИНИМАЛЬНОГО РАЗРЕЗА НА БИСВЯЗНОМ ГРАФЕ МЕТОДОМ ТИПА ВЕТВЕЙ И ГРАНИЦ, ОСУЩЕСТВЛЯЮЩИМ ДВИЖЕНИЕ ПО ДЕРЕВУ ВЕТВЛЕНИЙ С ВОЗВРАТОМ – ШАГИ 8 – 15. Шаг 8. Если i = n, то перейти к шагу 9, нет – к шагу 14 Шаг 9. R = F, печать R и вектора Шаг 10. Если zi = 1, то перейти к шагу 11, нет – к шагу 13. Шаг 11. zi = 0, перейти к шагу 5. Шаг 12. Если i = 1, то перейти к шагу 15, нет к шагу 13. Шаг 13. i = i - 1, перейти к шагу 10. Шаг 14. i = i + 1, перейти к шагу 4. Шаг 15. Конец алгоритма. Последние выданные на печать значения R и вектор переменных, оптимальны.

Содержание слайда: ПРИМЕР 3: ИСПОЛЬЗОВАНИЕ «ГРУБЫХ» МЕТОДОВ ВЫЧИСЛЕНИЯ ОЦЕНОК

Содержание слайда: ИТОГИ ПОИСКА РЕШЕНИЯ В ПРИМЕРЕ 3 Число вычисленных оценок – 20 Число итераций – 20 Число операций сравнения - 20

Содержание слайда: САМОСТОЯТЕЛЬНО Определить минимальный разрез на сильносвязном орграфе G(X,U), пользуясь методом типа ветвей и границ, осуществляющим поиск с возвратом по дереву ветвлений с «наивным» методом вычисления оценки.

Содержание слайда: ПРИМЕР 4: ИСПОЛЬЗОВАНИЕ ЦИРКУЛЯЦИЙ ДЛЯ УТОЧНЕНИЯ ОЦЕНКИ

Содержание слайда: ИТОГИ ПОИСКА РЕШЕНИЯ В ПРИМЕРЕ 4 Число вычисленных оценок – 10 Число итераций – 10 Число операций сравнения - 10

Содержание слайда: ДОСТОИНСТВА И НЕДОСТАТКИ СТРАТЕГИИ, РЕАЛИЗУЮЩЕЙ ПОИСК С ВОЗВРАТОМ Достоинства: гарантия глобально оптимального решения; возможность прервать поиск и получить локально оптимальное решение; Низкие требования к памяти компьютера; Одна операция сравнения на каждой итерации. Недостатки: Даже после определения оптимального подмножества дуг, удаление которых разрывает все контуры графа, алгоритм продолжает поиск, чтобы убедиться в том, что полученное решение является глобально оптимальным.

Содержание слайда: САМОСТОЯТЕЛЬНО Определить минимальный разрез на сильносвязном орграфе G(X,U), пользуясь методом типа ветвей и границ, осуществляющим поиск с возвратом по дереву ветвлений с уточнением оценки с помощью циркуляций:

Содержание слайда: Решить самостоятельно, пользуясь уточненными оценками и МВГ, реализующим поиск с возвратом

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

Содержание слайда: Лемма 1 Любой перестановке вершин π сильносвязного графа G(X,U) отвечает подмножество дуг U’, идущих справа налево и являющихся разрезом.

Содержание слайда: Содержательная и формальная постановки задачи

Содержание слайда: Решить, пользуясь МВГ, осуществляющим фронтальный спуск по дереву ветвлений, задачу о минимальном разрезе на сильносвязном графе, как задачу оптимального упорядочения вершин

Содержание слайда: Итерация № 1

Содержание слайда: Итерация № 2

Содержание слайда: Итерация № 3

Содержание слайда: Итерация № 4

Содержание слайда: Итерация № 5

Содержание слайда: Итерация № 6

Содержание слайда: Итерация № 7

Содержание слайда: Вопрос Задача была решена за 7 итераций, сколько бы потребовалось итераций для ее решения полным перебором всех перестановок?

Содержание слайда: самостоятельно Решить задачу о минимальном разрезе в сильносвязном графе G(X,U) методом типа ветвей и границ, как задачу оптимального упорядочения вершин, если граф задан матрицей М: M =