Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
ФЕДЕРАЦИИ
Российский химико-технологический университет имени Д. И. Менделеева
МЕТОДЫ КОМБИНАТОРНОЙ
ОПТИМИЗАЦИИ
Москва
2013
УДК 519 (075)
ББК 22.174:35:65.050.9(2)2я7
М55
Рецензенты:
Доктор технических наук, профессор Российского химико-технологического
университета им. Д. И. Менделеева
Л. С. Гордеев
Доктор технических наук, профессор кафедры информатики Московского
государственного университета инженерной экологии
В. Ф. Корнюшко
Мешалкин В. П.
М55 Методы комбинаторной оптимизации. Метод ветвей и границ в
решении задач химической технологии и логистики: учеб. пособие
/В. П. Мешалкин, Г. В. Заходякин, С. М. Ходченко, – М. : РХТУ им.
Д. И. Менделеева, 2013. – 84 с.
ISBN 978-5-7237-1126-6
4
СПИСОК ПРИНЯТЫХ ОСНОВНЫХ СОКРАЩЕНИЙ И
УСЛОВНЫХ ОБОЗНАЧЕНИЙ
Условные обозначения
И-вершины — конъюнктивные вершины
5
ИЛИ-вершины — дизъюнктивные вершины
И/ИЛИ-граф — дерево декомпозиции задач комбинаторной оптимизации
6
ВВЕДЕНИЕ
Среди всего многообразия прикладных задач оптимизации в химической
технологии и логистике энергоресурсосбережения можно выделить особый
класс задач, являющихся многомерными как по числу альтернативных
вариантов их решения, так и по объему вычислений критерия эффективности
(КЭ) — (критерия оптимальности, или целевой функции) каждого полученного
решения — и относящихся к классу прикладных задач дискретного
программирования — области математики, занимающейся исследованием и
решением экстремальных задач на конечных множествах (разд. 1.1, 1.2).
Процедура поиска оптимальных решений для указанного класса задач
имеет дискретно-комбинаторный характер и не может быть реализована с
использованием классических методов поиска экстремума функций.
К типичным задачам комбинаторики (комбинаторного анализа), или
задачам комбинаторной оптимизации, относятся задачи поиска среди
множества дискретных объектов (элементов) специальных комбинаций этих
элементов в виде перестановок (перечислений), сочетаний и размещений.
Несмотря на кажущуюся простоту, задачи дискретно-комбинаторной
оптимизации относятся к числу наиболее многомерных и трудоемких
(ресурсозатратных). Эти особенности обусловлены тем, что для нахождения
оптимального решения необходимо рассмотреть каждый возможный вариант,
вычислить для этого варианта величину критерия оптимизации, а затем
выбрать среди всех вариантов то оптимальное решение, для которого критерий
эффективности имеет минимальное или максимальное значение. Объем
вычислений, необходимый для просмотра вариантов, и объем памяти
персонального компьютера (ПК), необходимый для хранения промежуточных
результатов, быстро увеличиваются с ростом размерности исходной задачи и
числа возможных альтернативных решений.
В этом случае говорят, что комбинаторная задача относится к классу NP-
полных задач, или задач неполиномиальной сложности. При этом наблюдается
так называемый «комбинаторный взрыв» — неполиномиальный рост числа
просматриваемых решений при увеличении размерности задачи. Решение
таких задач методом полного перебора вариантов решений уже при
сравнительно небольших значениях n становится практически невозможным.
7
Очевидно, что для решения таких многомерных и трудоемких дискретно-
комбинаторных задач необходимо применять специальные методы,
позволяющие значительно сократить множество просматриваемых
альтернативных вариантов решений, среди которых обязательно должно
находиться оптимальное решение.
В настоящее время существуют две основные группы дискретно-
комбинаторных методов поиска оптимальных технологических и
логистических решений. К первой группе относятся методы упорядоченного
ограниченного перебора решений, в которых множество возможных решений
определенным образом разделяется (декомпозируется), или структурируется, с
целью последующего исключения из рассмотрения заведомо неперспективных
подмножеств решений. Указанные методы гарантируют получение
оптимального решения.
Ко второй группе относятся эвристические методы, которые
существенно сокращают множество просматриваемых решений за счет
применения эвристик — правил, разработанных на основе обобщения опыта
решения однотипных задач оптимизации и с использованием которых
генерируются только рациональные решения. Однако ценой такого сокращения
числа рассматриваемых вариантов решений является возможная потеря
точности решения.
Таким образом, эвристические методы решения дискретно-
комбинаторных задач оптимизации не гарантируют нахождение оптимального
решения, хотя и позволяют сравнительно быстро выделить подмножество
рациональных решений задачи, среди которых находится оптимальное или
близкое к оптимальному решение.
В настоящем пособии подробно излагаются способы формального
представления задач комбинаторной оптимизации и процедур их решений с
использованием специальных топологических моделей (графов) — деревьев
декомпозиции исходных задач оптимизации на подзадачи меньшей
размерности и деревьев вариантов решений (ДВР) (деревьев декомпозиции
множества вариантов решений на подмножества), на которых реализуются
процедуры поиска оптимального решения в виде упорядоченного
(ограниченного) перебора перспективных подмножеств решений задач
оптимизации.
8
Любая прикладная задача вычислительного характера имеет
содержательную (смысловую, технологическую) и математическую
постановки. Особенностью задач оптимизации технологических и
логистических решений, представленных в настоящем пособии, является то,
что несмотря на их различную содержательную постановку в весьма различных
предметных областях, они имеют одинаковую математическую постановку и
могут быть сведены к одинаковым классическим комбинаторным задачам, а
следовательно, решены с использованием одних и тех же методов.
9
Для заданных значений параметров свойств и состояний исходной
идеальной или неидеальной азеотропной N-компонентной смеси, заданных
простых ректификационных колонн (РК) необходимо определить структуру
технологической схемы (технологическую топологию) ациклической системы
ректификации (АСР), параметры технологических потоков, а также
технологические и конструкционные параметры колонн, которые обеспечивают
выделение N целевых однокомпонентных продуктов требуемого качества при
минимуме приведенных затрат на систему.
При поиске оптимального решения указанной задачи синтеза
оптимальных АСР используются следующие физико-химические и инженерно-
технологические предпосылки:
1) на основе анализа физико-химических свойств компонентов идеальной
или неидеальной азеотропной многокомпонентной смеси (МКС) ранжируют
компоненты в порядке уменьшения их летучести или в порядке увеличения их
температур кипения, что позволяет определить составы верхних и нижних
потоков ректификационной колонны. Изменения давления в колоннах не
приводят к изменению порядка компонентов ранжированного списка
компонентов смеси;
2) каждая точка деления ранжированного списка компонентов смеси
соответствует процессу бинарного разделения некоторой МКС в простой РК,
имеющей один входной и два выходных технологических потока;
З) каждый альтернативный вариант технологической схемы АСР будет
отображаться набором точек деления. Каждая точка деления определяет
процесс бинарного разделения в одной простой РК некоторой азеотропной
смеси на подмножества МКС меньшей размерности и совпадает с номером
легкого ключевого компонента в ранжированном списке компонентов смеси;
4) для синтеза АСР необходимо использовать простые РК с одним
потоком питания.
Множество АСР G определяют как совокупность технологических
операций разделения gj, полученных в результате декомпозиции ИЗС. Каждая
синтезированная АСР характеризуется некоторой величиной критерия
эффективности (КЭ), имеющего аддитивно-сепарабельную форму в виде
суммы приведенных затрат для отдельных РК, определяемых с использованием
модулей расчета колонн. Необходимо синтезировать АСР, соответствующую
минимуму приведенных затрат на всю систему.
10
При поиске оптимальной АСР необходимо учитывать ограничения для
физической реализуемости технологической операции разделения МКС в
каждом аппарате: ограничения на количество примесей в потоках дистиллята D
и кубовой жидкости W; ограничение, определяющее эффективность процесса
ректификации вследствие различной упругости паровой фазы ключевых
компонентов.
12
рекуперативными ТА. Эта структура более эффективна, чем
декомпозиционная структура ТС, которая получается в случае применения
стратегии раздельного синтеза. Учет ограничений Т1 — Т8 позволяет резко
сократить размерность множества решений ИЗС и получить наиболее
эффективную ациклическую структуру ТС с минимальной поверхностью
теплообмена, если наряду с этим использовать для организации процесса
теплообмена между потоками эвристическое правило ЭП: для заданной
величины рекуперируемого тепла исходных потоков последовательно
выбирать варианты теплообмена между самым высокотемпературным из
горячих (max t ГK ) и холодных (max t xK ) потоков. Использование указанной
эвристики может дать хорошее инженерное решение, однако при этом может
быть потеряно оптимальное решение, которое возможно найти только с
использованием методов упорядоченного ограниченного перебора вариантов
решений, основанных на идеях метода ветвей и границ.
13
Л-З.1. Постановка задачи поиска минимального цикла переналадки
технологической установки.
14
1.3. Общая характеристика методов решения задач
комбинаторной оптимизации
При решении приведенных выше технологических и логистических задач
комбинаторной оптимизации требуется выбрать оптимальное решение из
некоторого конечного числа возможных дискретно-комбинаторных вариантов
решений этих задач. При этом найденное оптимальное решение должно
обеспечивать экстремальное значение некоторого критерия оптимизации, или
критерия эффективности.
Метод перебора — это один из методов решения дискретно-
комбинаторных задач. Классические методы поиска экстремума функций,
применяемые в математическом программировании, здесь оказываются
бессильными.
К типичным задачам комбинаторики, или задачам комбинаторной
оптимизации, относятся задачи поиска среди множества дискретных объектов
(элементов) специальных комбинаций этих элементов в виде перестановок,
сочетаний и размещений.
Несмотря на кажущуюся простоту, задачи дискретно-комбинаторной
оптимизации относятся к числу наиболее многомерных и трудоемких
(ресурсозатратных). Эти особенности обусловлены тем, что для нахождения
оптимального решения необходимо рассмотреть каждый возможный вариант,
вычислить для этого варианта величину критерия оптимизации, а затем
выбрать среди всех вариантов то оптимальное решение, для которого критерий
эффективности имеет минимальное или максимальное значение. Объем
вычислений, необходимый для просмотра вариантов, и объем памяти
персонального компьютера (ПК), необходимый для хранения промежуточных
результатов, быстро увеличиваются с ростом размерности исходной задачи и
числа возможных альтернативных решений.
Рассмотрим, например, задачу Л-З.1 об оптимальной последовательности
выпуска продуктов на перенастраиваемой технологической установке. Пусть на
данной установке выпускаются в цикле n различных продуктов {p1, p2, …, pn}.
Фактически, задача поиска наилучшей последовательности выпуска продуктов
связана с решением комбинаторной задачи выбора одной из возможных
перестановок (без повторений) для n элементов, соответствующих номерам
продуктов. Число перестановок из n элементов определяется известной из
комбинаторики формулой: P(n) = n!.
15
Для расчета величины факториала известна приближенная формула
Экспоненциальный рост
Полиномиальный рост
Час работы компьютера
1e+00
5 10 15 20
n
Рис. 1 «Комбинаторный взрыв» — неполиномиальный рост числа
просматриваемых решений при увеличении размерности задачи
v4 v5 v6 v4 v6
G1 v2 G2
19
графы», «параметрические потоковые графы», «информационно-потоковые
графы» в теории анализа и синтеза химико-технологических систем и т.п.
Постановки задач, рассмотренных в разделах 1.1 и 1.2 настоящего
пособия, процедуры поиска решений указанных задач и варианты их решений
также могут быть наглядно отображены в виде графов. Так, например, на
рис. 3,а представлен полный граф, отображающий одновременно все стратегии
переналадок технологической установки при циклическом выпуске партии из
четырех продуктов. Между любыми двумя вершинами xi и xj этого полного
графа существует прямая связь, отображающая возможную переналадку
установки с выпуска продукта pi на продукт pj.
На рис. 3,б изображен граф некоторой транспортной сети, на котором
показаны все возможные для некоторого предприятия маршруты, или пути,
транспортировки сырья от поставщика А до производственного склада
предприятия I. Возможные перевалочные пункты обозначены латинскими
буквами B–H.
x1
5 1
20
x4 10 x2
2 15
x3
а б
20
Задачи комбинаторной оптимизации, математическая постановка которых
может быть отображена в виде графов, сводятся к задачам нахождения
некоторой конфигурации, или компонента графа, в виде некоторого маршрута,
обладающего экстремальным свойством. Маршрут в графе — это
чередующаяся непрерывная последовательность вершин и ребер (дуг).
Например, в графе G3 на рис. 4 возможными маршрутами 1 от V1 к V5
будут направленные последовательности ребер и вершин: V1e1V3e2V2e3V5 и
V1e1V3e4V5. Вершина V1 — начало пути, вершина V6 — конец пути.
Для обычного графа достаточно указать только последовательность
вершин или только последовательность ребер. Для мультиграфов, содержащих
кратные (параллельные) ребра, маршрут однозначно задается только указанием
последовательности ребер.
Если начальная и конечная вершины маршрута совпадают, то маршрут
называется замкнутым, иначе — открытым. На рис. 4 e1e5e6 — замкнутый
маршрут, а e1e5 — открытый.
В неориентированном графе маршрут может быть либо цепью, либо
циклом. В ориентированном графе маршрут может быть либо путем, либо
циклом.
Маршрут, в котором все ребра различны, называют цепью. Если при этом
все вершины цепи различны, то маршрут называют простой цепью. Простая
цепь не пересекает сама себя, т.е. не содержит повторяющихся вершин.
Замкнутая цепь называется циклом, замкнутая простая цепь называется
простым циклом.
v1 v2
e1 e2
e6 e3
v3
v4 e5 e4 v5
G3
Рис. 4. Определение маршрутов в графе G3
1
Для обозначения маршрута от вершины V1 к вершине V5 используется запись: V1 ,V5
21
• V1V3V5V2V3V4 — цепь, но не простая цепь, так как вершина V3
повторяется два раза.
• V1V4V3V2V5 — простая цепь.
• V1V3V5V2V3V4V1 — цикл, но не простой (V3 повторяется два раза).
• V1V3V4V1 — простой цикл.
В орграфах цепи называются путями, а циклы (в случае одинаковой
ориентации дуг) — контурами. При этом в пути конец одной дуги является
началом другой. Поскольку контур является замкнутым путем, направления
всех дуг в нем совпадают.
Понятие цикла можно распространить и на орграфы: циклом можно
считать любую замкнутую простую цепь в орграфе, при этом направления дуг,
образующих цикл, не обязательно должны совпадать. В этом состоит отличие
цикла от контура.
Примеры маршрутов, возможных для графа на рис. 5: путь <V1,V2>=e4,e3,
но не e1. Контуры — e2e4 и e1e4e3, цикл — e1,e2,e3. Контур e1e4e3 является
одновременно циклом.
v1 e4
e1 e2
e3 v3
v2
G4
Рис. 5. Пути и контуры в орграфе G4
22
является, причем число различных гамильтоновых циклов в нем составляет (4 –
1)!/2 = 3.
В данном случае рассматривается число перестановок из 3 элементов, а
не из 4, поскольку безразлично, из какой вершины начать обход гамильтонова
контура. Любую вершину в контуре (цикле) можно принять за начальную:
длина контура (цикла) от этого не изменится. Каждый цикл содержит 4
вершины, поэтому, приняв любую из них за начальную, можно получить 4
эквивалентных гамильтоновых цикла. Число различных гамильтоновых циклов
оказывается в данном случае в 4 раза меньше числа перестановок из четырех
элементов, равного 4!.
Однако число различных циклов необходимо дополнительно уменьшить
в два раза, поскольку для неориентированного графа не имеет значения и
направление обхода цикла.
Если же рассматривается орграф, то, учитывая, что каждому ребру в
исходном графе будут соответствовать две противоположно направленные дуги
в орграфе, число гамильтоновых контуров будет вдвое больше числа
гамильтоновых циклов и составит: (4 – 1)! = 6.
Рассмотрим граф G5 на рис. 6. Удалением из него любых дуг можно
получить несколько подграфов. Подграфом графа G(V, E) называется граф
G’(V’,E’), включающий только часть вершин и/или дуг исходного графа.
Множество вершин подграфа является подмножеством вершин исходного
графа, и/или множество его ребер является подмножеством ребер исходного
графа. Обозначение подграфа: G’ ⊂ G. G ' (V ' , E ') = V ' , E ' | V ' ⊂ V , E ' ⊂ E
Если V’=V (множество вершин графа и подграфа совпадают), то G’
называется остовным подграфом G.
Если удалить из G5 все дуги, образующие циклы или контуры, то можно
получить ациклический граф (граф, не содержащий циклов). Поскольку мы
можем удалять из G5 любые дуги, то возможно получить несколько
ациклических графов, отличающихся наборами дуг. Одним из таких графов
является ациклический остовный подграф T, также показанный на рис. 6.
Связный граф, не содержащий циклов, имеет большое значение в теории
графов и носит специальное название — дерево. В дереве любая пара вершин
связана только одной простой цепью (при этом в общем случае направленность
23
дуг дерева может быть любой). Ребра или дуги, входящие в дерево, называются
ветвями.
v5 v5
e1 e2 e1 e2
v1 e8 v3 v1 e8 v3
e7 e9
e6 e3 e6 e3
v4 v6 v4 v6
e5 e4
v2 G5 v2 T
24
соответствует отдельный столбец, причем начало дуги (в случае орграфа)
находится в первой строке этого столбца, называется матрицей дуг графа [L].
Для взвешенных графов удобно дополнить матрицу [L] третьей строкой, в
которой для каждой дуги будет указана разметка, ранг или вес. Размерность
матрицы [L] — 2·eG (либо 3·eG), где eG обозначает число дуг или ребер графа.
Например, матрица дуг для графа на рис. 3,а с учетом весов ребер примет вид
(порядок столбцов или строк в данном случае не важен):
⎡ x1 x2 x3 x4 x1 x2 ⎤
[L] = ⎢⎢ x2 x3 x4 x1 x3 x 4 ⎥⎥
⎢⎣ 1 15 2 5 20 10 ⎥⎦
Имея матрицу дуг, легко решить обратную задачу: построить граф. Для
этого необходимо расположить вершины в произвольном порядке и соединить
их имеющимися в списке ребрами или дугами.
При решении задач оптимизации технологических и логистических
решений более удобным может оказаться еще одно матричное представление
графа — в виде матрицы смежности [H]. Строки и столбцы этой матрицы
соответствуют вершинам графа. Если некоторая дуга направлена из вершины vi
в вершину vj (либо между этими вершинами есть ребро), то на пересечении
строки i и столбца j будет единица (либо для мультиграфов число, равное
кратности дуги vivj, т.е. числу параллельных связей между вершинами vi и vj).
Матрицы смежности для неориентированных графов являются
симметричными. Размерность матрицы [H] — vG·vG, где vG — число вершин
графа. Единица на главной диагонали матрицы соответствует петле (дуге,
инцидентной только одной вершине).
По матрице смежности [H] можно построить граф следующим образом:
необходимо произвольным образом расположить вершины на плоскости
чертежа и соединить их нужным числом ребер (дуг) в соответствии с
элементами матрицы смежности.
Для взвешенных графов без кратных (параллельных) дуг все единицы в
матрице смежности могут быть заменены на веса соответствующих дуг, а все 0
— на +∞. Такая матрица смежности называется взвешенной. Вес дуги, равный
+∞, обозначает, что данные вершины являются несмежными и прямого пути
между ними не существует.
25
Мультиграфы с кратными дугами не встречаются при решении задач
оптимизации, потому что всегда есть возможность выбрать из нескольких
существующих путей между смежными вершинами наиболее
предпочтительный, а остальные исключить из рассмотрения.
Взвешенному графу на рис. 3,а, отображающему различные
последовательности выпуска продуктов, соответствует взвешенная матрица
смежности [H1], представленная на рис. 7,а. Элементы со значением весов ∞ на
главной диагонали «запрещают» переналадки вида xixi (петли).
Транспортная сеть на рис. 3,б, отображаемая ациклическим сетевым
графом, или сетью, однозначно определяется взвешенной матрицей смежности
[H2], представленной на рис. 7,б (в пустых ячейках содержится +∞).
Пользуясь введенными понятиями, можно сформулировать
математическую постановку задачи Л-З.1 поиска оптимального логистического
решения по переналадке технологической установки по выпуску партии N
продуктов с минимальными затратами следующим образом:
«На полном, взвешенном по ребрам графе, отображающем различные
стратегии переналадок технологической установки, найти гамильтонов цикл
с минимальным суммарным весом (минимальный гамильтонов цикл)».
⎡ A B C D E F G H I⎤
⎢A 5 10 15 ⎥
⎢ ⎥
⎢B 12 15 ⎥
⎡ x1 x2 x4 ⎤
x3 ⎢ ⎥
⎢x ∞ 1 20 5 ⎥⎥ ⎢C 5 9 ⎥
⎢ 1 ⎢D 1 4 ⎥
[H1 ] = ⎢ x2 1 ∞ 15 10 ⎥ [H 2 ] = ⎢ ⎥
⎢ ⎥ ⎢E 2 3 ⎥
⎢ x3 20 15 ∞ 2 ⎥ ⎢F ⎥
5 8
⎢⎣ x4 5 10 2 ∞ ⎥⎦ ⎢ ⎥
⎢G 4⎥
⎢H 1⎥
⎢ ⎥
⎢⎣ I ⎥⎦
а б
Рис. 7. Взвешенные матрицы смежностей для графов, определяющих постановку
задач Л-З.1 (а) и Л-З.2 (б) 2
2
См. постановку задач на с.с. 18 и 19
26
Вторая задача З-Л.2 — задача поиска оптимального логистического
решения по выбору оптимального маршрута перевозки груза с минимальными
затратами состоит в нахождении кратчайшего (минимального) пути в
ациклической сети между начальной (A) и конечной (I) вершинами. Обе задачи
относятся к классу NP-полных задач комбинаторной оптимизации.
28
целевого (конечного) состояния (или состояний); задание операторов,
преобразующих «предыдущие» состояния в «последующие» состояния задачи.
Решение задачи представляет собой последовательность операторов,
преобразующих начальное состояние задачи в конечное, которое соответствует
полному решению задачи.
Одним из наиболее наглядных примеров использования способа
пространства состояний является поиск оптимального маршрута в некоторой
транспортной сети. Исходный пункт транспортной сети — это начальное
состояние, пункт назначения — конечное. Все возможные узлы маршрута
представляют собой пространство состояний. Данное представление задач
хорошо описывается топологическими моделями (графами). Поиск
оптимального решения задачи с использованием способа пространства
состояний можно отобразить специальным графом — деревом вариантов
решений (ДВР). Вершинам ДВР соответствуют состояния, дугам — операторы,
преобразующие текущие состояния. Представление задач в пространстве
состояний предполагает, что поиск производится в пространстве решений
задачи.
30
пятикомпонентной смеси осуществляется по первой точке деления
(температуре кипения компонента А).
p1 p2
Задача
t1 p1 p2
p1 p2 I
I II
t2 t1 t2
II
0 0
j =0 j=0
1 2 3 1 2 3
j=1 j =1
6 7 4 5 8 9 4 5 j=2
j=2
11 12
j=3 j=3
12 13 10 11 14 15 16 17 и т.д. 6 7 8 9 10
получено решение
38
Рассмотрим в качестве примера задачу о коммивояжёре с 4 городами
(рис. 14).
x1 x2 x3 x4
x1 ∞ 1 20 5
[ H ] = x2 1 ∞ 15 10
x3 20 15 ∞ 2
x4 5 10 2 ∞
а б
Рис. 14. Гамильтонов граф (а) и взвешенная матрица смежности (б)
для задачи о коммивояжёре с четырьмя городами
41
является суммой расстояний между городами. Однако свойством аддитивности
критерии оптимизации обладают не всегда.
Стратегии упорядоченного ограниченного «ветвления» на ДВР при
использовании МВГ основаны на стратегиях, используемых в методах
упорядоченного полного перебора вершин (разд. 2.3) — «ветвление в ширину»,
«ветвление в глубину» и «смешанное ветвление», — но дополнительно
вводятся понятия функции «ветвления», нижней и верхней границ.
Нижняя граница (НГ) для вершины ДВР Pji — это «стоимость» (значение
оценочной функции) промежуточного решения, полученного при образовании
вершины Pji. Нижняя граница (НГ) для некоторой вершины ДВР — оценочная
функция для этой вершины. Длина маршрута от начального города до текущего
определяется суммой весов всех дуг пути из вершины P0 в вершину Pji. НГ в
вершине Pji определяет наименьшую «стоимость» любого маршрута, который
будет включать в качестве обязательного фрагмента путь <P0, Pji>. В самом
деле, веса новых дуг будут только увеличивать эту нижнюю границу. Таким
образом, НГ характеризует подмножество решений исходной задачи,
включающих путь <P0, Pji>.
Верхняя граница (ВГ) — это «стоимость» (значение оценочной функции)
лучшего найденного в данный момент полного решения исходной задачи
(рекорд). При решении задач минимизации вначале принимают значение
ВГ0 = +∞ . При поиске оптимального решения задачи после каждого
найденного полного альтернативного решения задачи значение ВГ может
несколько раз изменяться (ВГ1 → ВГ2 → …→ оптимальное решение).
Происходит это только в том случае, если найдено решение, которое оказалось
лучше текущей ВГ («рекорд» побит).
Знание ВГ позволяет исключить из рассмотрения часть неперспективных,
или нерациональных, решений. Если в какой-либо висячей вершине НГ ≥ ВГ, то
раскрывать ее дальше не имеет смысла, так как любое полное решение задачи
будет заведомо хуже ранее найденного. Это позволяет сократить пространство
поиска решений, сохраняя точность решения.
Функция «ветвления» — это некоторый критерий, который позволяет
выбрать активную вершину (наиболее перспективную для раскрытия, или
декомпозиции, висячую вершину) из подмножества всех висячих вершин,
определённого стратегией «ветвления». В простейшем случае за функцию
42
«ветвления» принимают значение НГ в этих вершинах и в качестве активной
выбирают висячую вершину с наименьшим значением НГ. В некоторых
реализациях процедура «ветвления» может «заглядывать в будущее» на
несколько шагов (уровней декомпозиции) или даже оценивать расстояние от
какой-либо висячей вершины до конечной вершины для полного решения на
основании некоторого эвристического правила (эвристической оценочной
функции).
Стратегия «ветвления» определяет подмножество висячих вершин ДВР,
среди которых ищется активная, а также содержит дополнительное соглашение,
связанное с разрешением конфликтов при «ветвлении» (например, когда
построены несколько висячих вершин с одинаковыми значениями НГ).
Стратегия «ветвления» влияет на программную реализацию процедуры, или
алгоритма МВГ.
При стратегии «волновое ветвление» активная вершина на ДВР ищется
среди всех висячих вершин всех уровней декомпозиции решения задачи и
выбирается вершина с наименьшей НГ.
При стратегии «лучевое ветвление» активная вершина на ДВР ищется
среди всех висячих вершин, образовавшихся на последнем рассмотренном
уровне декомпозиции, и выбирается вершина с наименьшей НГ. Если на
последнем уровне декомпозиции решения задачи больше нет висячих вершин,
то следует перейти на предыдущий уровень (а если висячих вершин нет и там,
то на ближайший снизу уровень).
При стратегии «луче-волновое ветвление» на ДВР до получения первого
решения исходной задачи применяется стратегия «лучевое ветвление», затем,
как при стратегии «волновое ветвление», в качестве активной выбирается
вершина с наименьшей НГ среди всех висячих вершин всех уровней
декомпозиции решений задачи; далее, до получения очередного полного
решения исходной задачи, применяется стратегия «лучевое ветвление».
Критерий прекращения поиска оптимального решения на ДВР для любой
из трех стратегий «ветвления»: на ДВР не осталось ни одной висячей
вершины с НГ<ВГ, т.е. не осталось ни одной висячей вершины, которую можно
раскрыть. Процедура поиска оптимального решения задачи о коммивояжёре с 4
городами (рис. 14) с использованием стратегий «лучевое ветвление» и
«волновое ветвление» на ДВР показана на рис. 16 и 17 соответственно.
43
Рис. 16. Процедура поиска оптимального решения на ДВР задачи
о коммивояжёре с применением стратегии «лучевое ветвление»
а
⎡ A B C D E F G H I⎤
⎢A 5 10 15 ⎥
⎢ ⎥
Обозначения вершин графа: ⎢B 12 15 ⎥
⎢ ⎥
A — поставщик; ⎢C 5 9 ⎥
I —производственный склад; ⎢D 1 4 ⎥
[H ] = ⎢ ⎥
B–H —перевалочные пункты. ⎢E 2 3 ⎥
⎢F 5 8 ⎥
⎢ ⎥
Незаполненные элементы в матрице [H] ⎢G 4⎥
равны +∞
⎢H 1⎥
⎢ ⎥
⎢⎣ I ⎥⎦
б
Рис. 18. Транспортная ациклическая сеть (а) и взвешенная матрица
смежности транспортной сети (б)
45
Для каждого варианта организации поставок известны издержки на
транспортировку груза между перевалочными пунктами маршрута. Общие
издержки на транспортировку складываются из суммы издержек на отдельных
участках маршрута.
Необходимо найти наилучший по критерию минимальных издержек
маршрут транспортирования груза.
5 10 15
j=1
1 2 3
B C D
5 10 15
12 15 5 9 1 4
j=2
4 5 8 9 12 13
E F E F E F
17 20 15 19 16 19
7 6 10 11 14 15 j=3
GI HI GI HI GI HI
23 21 21 19 22 20
ВГ1 ВГ2
Рис. 19. Поиск оптимального пути в транспортной сети методом ветвей и границ с
использованием стратегии «луче-волновое ветвление»
46
соответствии со стратегией «волновое ветвление» после получения очередного
полного решения.
47
x1 x2 x3 x4 x1 x2 x3 x 4
x1 ∞ 1 20 5 x1 ∞ 19 0 15
[ H ] = x2 1 ∞ 15 10 [ H ' ] = x2 19 ∞ 5 10
x3 20 15 ∞ 2 x3 0 5 ∞ 18
x4 5 10 2 ∞ x 4 15 10 18 ∞
а б в
Рис. 20. Гамильтонов граф (а), исходная [H] (б) и преобразованная [H’] (в) матрицы
смежности для нахождения максимального гамильтонова цикла
48
МВГ, являются задачи целочисленного линейного программирования (ЦЛП), или
смешанного целочисленного линейного программирования (СЦЛП).
Математическая постановка задачи ЦЛП включает линейное уравнение целевой
функции (критерия эффективности) и систему ограничений в виде линейных
уравнений (неравенств). Однако в отличие от задач линейного
программирования (ЛП), в задаче ЦЛП на все или на часть переменных
решения накладывается дополнительное ограничение — целочисленные
значения переменных. Это существенно затрудняет решение задачи
оптимизации, поскольку широко применяемый для решения задач линейного
ЛП симплекс-метод для дискретной задачи использовать нельзя.
Попытка найти симплекс-методом решение задачи ЦЛП без учета
целочисленности переменных с последующим округлением решения может
дать решение сколь угодно далекое от оптимального либо вообще
недопустимое решение, которое не удовлетворяет системе уравнений
ограничений.
Рассмотрим применение МВГ на примере следующей задачи: требуется
максимизировать целевую функцию F(x)=2x1+3x2 при ограничениях:
⎧ 5 x1 + 7 x 2 ≤ 35
⎪ 4 x + 9 x ≤ 36
⎪ 1 2
⎨
⎪ x1 ≥ 0, x 2 ≥ 0
⎪⎩ x1 , x 2 − целые _ числа
49
5 5x1+7x2≤35
3 X*=(3.71;2.35)
F(X*)=14.47
НГ=-∞
2
1
4x1+9x2≤36
0
1 2 3 4 5 6 7 8 9 10
51
5 5x1+7x2≤35 5 5x1+7x2≤35
4 4
X*=(4;2)
F(X*)=14
НГ=14
3 3
X*=(5;1.43)
2 2 F(X*)=14.29
НГ=14
1 1
4x1+9x2≤36 4x1+9x2≤36
0 0
1 2 3 4 5 6 7 8 9 10 1 2 3 4 5 6 7 8 9 10
F=2x1+3x2 F=2x1+3x2
52
Следует учесть, что наилучшее целочисленное решение, которое может
быть найдено при дальнейшем ветвлении из вершины 5, не может превысить
ВГ для этой подзадачи, т.е. наилучшее возможное целочисленное решение для
подзадачи 5 имеет значение НГ2=14. Оно не улучшит уже найденное решение,
поэтому, если найденное целочисленное решение (4;2) является приемлемым,
то можно прекратить дальнейший поиск. В противном случае ветвление
следовало бы продолжить. При этом будет найдено еще одно оптимальное
целочисленное решение исходной задачи со значением целевой функции
F(7;0)=14 (рис. 24).
Рис. 26. К определению числа вершин в полном ДВР — фрагмент полного ДВР для
задачи о коммивояжёре с 5 городами, начальный город неизвестен
54
случае появляется еще один, n + 1, уровень декомпозиции, число вершин на
котором n! (как и на n-м уровне). Поэтому число вершин, определенное по
формуле (*), также следует увеличить на n!
55
висячих вершин на данном (все они либо раскрыты, либо являются конечными
вершинами, либо исключены как неперспективные).
В) При стратегии «луче-волновое ветвление» до нахождения очередного
полного решения исходной задачи (в вершине последнего уровня
декомпозиции) раскрытие вершин идет, как в стратегии «лучевое ветвление».
Далее, как и при стратегии «волновое ветвление», выбирается вершина с
наименьшей НГ среди всех висячих вершин всех уровней декомпозиции ДВР.
После этого снова проводится «ветвление», как при стратегии «лучевое
ветвление».
4. Выбранное значение верхней границы (ВГ) позволяет исключать
(отсекать) из дальнейшего рассмотрения подмножества неперспективных
решений.
Значение ВГ соответствует «рекорду» — лучшему найденному на данный
момент решению исходной задачи в целом. Если на некотором шаге получено
очередное решение исходной задачи с величиной НГ и оно лучше, чем
предыдущее значение верхней границы, то это значение НГ для решения
принимается в качестве нового значения ВГ. Начальное значение ВГ в задаче
поиска минимума — +∞.
5. Если в некоторой промежуточной вершине ДВР достигается значение
НГ ≥ ВГ, то ветвление этой вершины следует исключить, поскольку все
дальнейшие решения не улучшат уже найденного решения, которое
соответствует ВГ.
6. Процедура поиска решения продолжается до тех пор, пока не
останется ни одной висячей вершины с НГ<ВГ (даже в том случае, если
оптимальное решение уже найдено).
7. При решении задачи поиска максимального маршрута в сетевом графе
требуется преобразовать веса дуг графа состояний: ищется дуга с
максимальным весом hmax. Затем веса всех дуг в графе пересчитываются по
формуле: h’ij=hmax–hij, где h — вес дуги в исходном графе, h’ij —
преобразованный вес дуги. После указанного преобразования задача сводится к
поиску минимального маршрута. Для определения стоимости максимального
маршрута нужно сложить стоимости образующих его дуг в исходном
непреобразованном графе (разд. 3.3).
56
3.7. Основные условные обозначения вершин дерева вариантов
решений при решении задач методом ветвей и границ
Форма представления вершин на ДВР может быть произвольной и
выбирается исходя из соображений наглядности. Однако для каждой вершины
на усеченном ДВР обязательно должны быть указаны 4 числа (рис. 27).
58
5. ПРИМЕРЫ РЕШЕНИЯ ЗАДАЧ КОМБИНАТОРНОЙ
ОПТИМИЗАЦИИ В ХИМИЧЕСКОЙ ТЕХНОЛОГИИ И
ЛОГИСТИКЕ
5.1. Задача поиска минимального цикла переналадки
технологической установки
Дано. Производственное предприятие использует совмещенную схему
производства N = 5 химических продуктов в некотором фиксированном
технологическом цикле (на одной переналаживаемой установке). В каждый
момент времени технологическая установка может вырабатывать только один
продукт, и этот процесс происходит без прерывания, т.е. следующий продукт
можно начать выпускать только после окончания получения партии
предыдущего продукта после соответствующей переналадки технологической
установки (после выпуска продукта Xi технологическое оборудование должно
быть «перенастроено» на выпуск продукта Xj).
Время, требуемое на «перенастройку», зависит от последовательности
выпуска продуктов (Xi, Xj) и равно hij, причем hij ≠ hji. Поэтому различные
последовательности выпуска химических продуктов будут неравнозначными по
затратам времени на переналадку технологической установки. Ниже приведена
взвешенная матрица смежности [H] времени переналадки технологической
установки с выпуска продукта Xi на выпуск продукта Xj, соответствующая
полному взвешенному по ребрам гамильтонову графу (рис. 28):
Х1 Х2 Х3 Х4 Х5
Х1 ∞ 3 40 21 38
Х2 26 ∞ 5 32 25
[H] =
Х3 42 29 ∞ 10 30
Х4 34 27 16 ∞ 7
Х5 9 13 11 20 ∞
Х1
Х5 Х2
Х4 Х3
60
X1
X2 X3 X4 X5
X3 X4 X5 X2 X4 X5 X2 X3 X5 X2 X3 X4
X4 X5 X3 X5 X3 X4 X4 X5 X2 X5 X2 X4 X3 X5 X2 X5 X2 X3 X3 X4 X2 X4 X2 X3
X5 X4 X5 X3 X4 X3 X5 X4 X5 X2 X4 X2 X5 X3 X5 X2 X3 X2 X4 X3 X4 X2 X3 X2
X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1 X1
61
Рис. 30. Усеченное эксплицитное ДВР, построенное с использованием стратегии «лучевое ветвление»
62
где n0 — число всех возможных вершин на полном ДВР (рис. 29), n —
число появившихся вершин на ДВР в процессе реализации стратегии ветвления
(рис. 30).
1-1 2-1 2-2 2-3 3-1 3-2 4-1 4-2 4-3 4-4 5-1
1-1 18 61 15
2-1 16 49
2-2 15 31
2-3 22 15
3-1 22 13 39 23
3-2 23 15 37 19
4-1 12
4-2 13
4-3 18
4-4 14
5-1
65
Рис. 34. ДВР, построенное с использованием стратегии «волновое ветвление»
Х1 Х2 Х3 Х4 Х5
∞ 24 19 18 2
Х1
Х2 28 ∞ 23 13 7
[H] =
Х3 15 21 ∞ 16 26
30 14 12 ∞ 27
Х4
Х5 27 28 17 20 ∞
Х1 Х2 Х3 Х4 Х5
Х1 ∞ 6 11 12 28
[Н'] = Х2 2 ∞ 7 17 23
Х3 15 9 ∞ 14 4
Х4 0 16 18 ∞ 3
Х5 3 2 13 10 ∞
67
Рис. 35. Усеченное эксплицитное ДВР, построенное с использованием стратегии «лучевое ветвление»
68
ВГ2
Рис. 36. Усеченное эксплицитное ДВР, построенное с использованием стратегии «волновое ветвление»
69
Усеченное эксплицитное ДВР, построенное с использованием стратегии
«лучевое ветвление», показано на рис. 35, а стратегии «волновое ветвление» –
на рис. 36. Максимальная эффективность цикла перенастройки
технологической установки, найденная с использованием обеих стратегий,
отражается следующей последовательностью выпуска химических продуктов:
X1, X2, X3, X5, X4, X1 и равна:
h12 + h23 + h35 + h54 + h41 = 24+23+26+20+30=123
⎡ j =1 2 3 4⎤
⎢i = 1 3 0.5 1 2⎥⎥
⎢
[β ]
ij =⎢ 2 1 4 1 .5 1⎥
⎢ ⎥
⎢ 3 1 3 3 3⎥
⎢⎣ 4 0 .5 4 .5 2 2⎥⎦
70
Решение. На первом этапе возможно разделение МКС по любой из 4-х
точек деления — каждая точка деления соответствует некоторой граничной
задаче синтеза (ГЗС-{i}), где i – положение точки деления, по которой
осуществляется разделение МКС в первой ректификационной колонне
синтезируемой СР (на первом уровне декомпозиции ИЗС СР МКС).
Рассмотрим решение только ГЗС-1. Воспользуемся МВГ и стратегией
«лучевое ветвление». Дерево вариантов решений (ДВР) для ГЗС-1 представлено
на рис. 37.
Получена оптимальная последовательность точек деления смеси
1 2 3 4
A B C D E: 1-3-4-2. Операторная схема, соответствующая этому варианту,
показана на рис. 38.
71
Вершины дерева декомпозиции бывают двух видов – отображают точки
деления (возможные решения граничных задач синтеза) и составы
промежуточных смесей (постановки исходной и граничных задач синтеза).
72
6. ГЛОССАРИЙ ОСНОВНЫХ ТЕРМИНОВ И ПОНЯТИЙ
Анализ ХТС — это операция определения для данной ХТС при заданных
технологической топологии, конструкционных и технологических параметрах
каждого элемента системы, а также при известных входных переменных ХТС
значений промежуточных и выходных переменных, показателей свойств и КЭ
функционирования ХТС.
Анализ ХТС как инженерно-техническая операция — это исследование
структуры ХТС, расчет характеристик и показателей качества
функционирования ХТС, определение влияния параметров ХТС на ее
характеристики.
Активная вершина ДВР — вершина, из которой в рассматриваемый
момент производится «ветвление» (вершина «раскрывается»).
Ациклический граф — граф, не содержащий циклов.
Верхняя граница (ВГ) для вершины ДВР — это «стоимость» (значение
оценочной функции — функции «ветвления») лучшего найденного в данный
момент полного решения исходной задачи методом ветвей и границ (рекорд).
«Ветвление в глубину» — стратегия упорядоченного полного перебора
(генерирования) вершин ДВР, при которой всегда раскрываются висячие
вершины последнего рассмотренного уровня декомпозиции. Если
заканчиваются висячие вершины на последнем уровне декомпозиции, то
выполняется переход на предыдущий уровень (или ближайший снизу, если на
предыдущем висячих вершин не оказалось). Затем вновь раскрываются висячие
вершины последнего рассмотренного уровня декомпозиции до получения
очередного решения.
«Ветвление в ширину» — стратегия упорядоченного полного перебора
(генерирования) вершин ДВР, при которой активная вершина выбирается
среди всех висячих вершин на любом уровне декомпозиции ДВР.
«Ветвление» на ДВР — процесс раскрытия активной вершины,
выбранной в соответствии с некоторой стратегией.
Ветвь — ребро или дуга, входящая в дерево.
Взвешенный по вершинам (дугам) граф — граф, у которого вершинам
(дугам) назначены веса в виде числовых значений или коэффициентов.
Висячая вершина ДВР — вершина, у которой нет исходящих дуг.
73
«Волновое ветвление» — стратегия «ветвления» на ДВР в методе
ветвей и границ, реализующая следующее правило выбора активной вершины:
в качестве активной выбирается вершина с наименьшим значением нижней
граничной оценки (НГ) среди всех висячих вершин всех уровней декомпозиции.
Гамильтонов граф — граф, в котором можно найти гамильтонов цикл
или гамильтонов контур.
Гамильтонов контур — простой контур в орграфе, который проходит
через все вершины графа.
Гамильтонов цикл — простой цикл в неориентированном графе,
который проходит через все вершины графа.
Граф — топологическая фигура, состоящая из совокупности точек
(вершин, узлов), отображающих основные этапы процесса или элементы
сложного объекта, и линий (ребер, если ориентация этих линий не имеет
значения; дуг, если линии ориентированы), которые соединяют определенные
пары этих вершин и отображают взаимосвязи между ними. Граф как
математический объект — совокупность G (V , E ) двух множеств — непустого
множества вершин V ≠ ∅ и множества Е неупорядоченных и/или
упорядоченных пар элементов множества вершин V.
Граф редукции задачи (комбинированный И/ИЛИ-граф) — дерево
декомпозиции исходных задач (пространство подзадач).
Дерево — связный граф, не содержащий циклов. Любое дерево с n
вершинами содержит n-1 ребер для неориентированного графа (ветвей для
ориентированного графа).
Дерево вариантов решений (ДВР) — прадерево с корнем, вершинам
которого соответствуют состояния, а дугам — операторы, преобразующие
текущие состояния.
Дерево декомпозиции исходных задач (пространство подзадач) — граф
редукции задачи (комбинированный И/ИЛИ-граф)
Дискретное программирование — область математики, занимающаяся
исследованием и решением экстремальных задач на конечных множествах.
Дискретный анализ — область математики, занимающаяся изучением
свойств структур финитного (конечного) характера, которые возникают как в
самой математике, так и в области её приложений. К числу таких конечных
структур могут быть отнесены, например, конечные группы, конечные графы
74
Дуга – упорядоченная пара вершин графа (задана направленность связи
между этими вершинами).
Задача о коммивояжёре — классическая комбинаторная задача,
имеющая следующую постановку. Дано: N городов; коммивояжёр должен
выехать из некоторого начального города и, объехав все города только по
одному разу, вернуться в исходный город. Необходимо выбрать такой
оптимальный маршрут, т.е. указать такую последовательность посещения
городов, для которой суммарная длина пути коммивояжёра будет наименьшей.
И-вершины — конъюнктивные вершины дерева декомпозиции задач
комбинаторной оптимизации. Для разрешения подзадачи, соответствующей
конъюнктивной вершине, необходимо разрешить одновременно все подзадачи,
соответствующие ее вершинам-потомкам.
Изоморфные (эквивалентные графы) — два графа являются
изоморфными, если они имеют одинаковое число вершин и одинаковое число
ребер (дуг) и при этом каждой паре вершин, соединенных ребром (дугой), в
одном графе соответствует такая же пара вершин, соединенных ребром (дугой),
в другом графе. Для ориентированных графов для каждой такой пары вершин
ориентация дуг должна быть одинаковой.
И/ИЛИ-граф — дерево декомпозиции исходных задач комбинаторной
оптимизации на подзадачи.
ИЛИ-вершины — дизъюнктивные вершины дерева декомпозиции задач
комбинаторной оптимизации. Для разрешения подзадачи, соответствующей
дизъюнктивной вершине, достаточно разрешить любую из подзадач,
соответствующих ее вершинам-потомкам.
Имплицитное ДВР — дерево вариантов решений, которое задается
указанием корневой вершины и некоторой порождающей процедуры, которая
позволяет построить все остальные вершины ДВР (пространство решений
задано неявно).
Инцидентная ребру (дуге) вершина — начальная или конечная точка
ребра (дуги).
Инцидентность в графе – отношение принадлежности (связи,
соединения) между вершинами и ребрами (дугами) графа. Ребро (дуга) и любая
из его (её) двух вершин называются инцидентными.
Комбинаторика — см. Комбинаторный анализ.
Комбинаторная математика — см. Комбинаторный анализ.
75
Комбинаторная конфигурация — см. Комбинаторный анализ.
Комбинаторная оптимизация — реализация некоторого алгоритма
перечисления комбинаторных конфигураций с целью поиска среди них
оптимальной конфигурации в соответствии с выбранным критерием
эффективности.
Комбинаторные задачи классические – задачи выбора и расположения
элементов конечного множества, имеющие в качестве исходной некоторую
формулировку развлекательного характера типа головоломок (например, задача
о «Кругосветном путешествии», сводящаяся к поиску гамильтоновых циклов в
графе; задача о коммивояжёре (частный случай задачи о «Кругосветном
путешествии»); задача о назначениях; задача о кёнигсбергских мостах и др.).
Комбинаторный анализ (комбинаторная математика,
комбинаторика) — раздел математики, посвящённый решению задач выбора и
расположения элементов некоторого, обычно конечного, множества в
соответствии с заданными правилами. При этом каждое такое правило
определяет способ построения некоторой конструкции из элементов исходного
множества, называемой комбинаторной конфигурацией.
«Комбинаторный взрыв» — неполиномиальное расширение
пространства состояний при увеличении размерности задачи.
Контур простой — маршрут, в котором все дуги различны и имеют
одинаковую направленность.
Критерий оптимизации — см. Критерий эффективности (КЭ).
Критерий эффективности (КЭ) (критерий оптимизации, целевая
функция) — обобщенный показатель и правило выбора лучшего решения.
«Лучевое ветвление» — это стратегия «ветвления» на ДВР в методе
ветвей и границ, реализующая до достижения в процессе «ветвления»
последнего уровня декомпозиции следующее правило выбора активной
вершины: в качестве активной выбирается вершина с наименьшим значением
нижней граничной оценки (НГ) среди всех висячих вершин, образовавшихся на
последнем рассмотренном уровне декомпозиции. Далее активная вершина
ищется на ближайшем снизу уровне, и процедура ветвления повторяется до
достижения последнего уровня декомпозиции.
«Луче-волновое ветвление» — это стратегия «ветвления» на ДВР в
методе ветвей и границ, реализующая правило выбора активной вершины для
стратегии «лучевое ветвление» до достижения в процессе «ветвления»
76
последнего уровня декомпозиции; затем в качестве активной выбирается
вершина с наименьшим значением нижней граничной оценки (НГ) среди всех
висячих вершин всех уровней декомпозиции (в соответствии с правилом
выбора активной вершины для стратегии «волновое ветвление»); далее снова
реализуется правило выбора активной вершины для стратегии «лучевое
ветвление» до достижения последнего уровня декомпозиции.
Маршрут в графе — чередующаяся непрерывная последовательность
вершин и ребер (дуг).
Математика — наука о количественных отношениях и
пространственных формах действительного мира.
Математическая модель ХТС – модель ХТС, в формализованном виде
отображающая не только физико-химическую сущность входящих в систему
химико-технологических процессов (ХТП), но и особенности технологических
взаимосвязей между отдельными ХТП, имеющими каждый в отдельности
разные, а иногда и противоречивые цели функционирования.
Матрица (двухстрочная) дуг [L] некоторого орграфа G (V,U) – это
матрица порядка (2 × е), где е — число дуг в графе, с элементами:
[l1j] = номеру n-й вершины, из которой j–я дуга выходит;
[l2j] = номеру m-й вершины, в которую j–я дуга входит.
Матрица смежности [H] некоторого орграфа G (V,U) — это матрица
порядка (v×v), где v — число вершин в графе, со строками и столбцами,
соответствующими вершинам графа, элементы которой:
]hij] =0, если i–я вершина не связана дугой с j–й вершиной;
]hij] =1, если i–я вершина связана дугой с j–й вершиной; при этом дуга
ориентирована из i-й в j-ю вершину (существует
направленная связь из вершины vi в вершину vj).
Метод — последовательность (совокупность) приемов и операций
теоретического и практического освоения действительности, подчиненных
решению конкретной задачи.
Метод «ближайшего города» — эвристический метод решения задачи о
коммивояжёре, в котором предполагается, что коммивояжёр использует
эвристическое правило переезда всегда только в тот город, расстояние до
которого из текущего города минимально.
77
Метод ветвей и границ (МВГ) — метод дискретного программирования,
позволяющий значительно сократить объем упорядоченного (направленного)
ограниченного перебора вариантов решений (особенно для прикладных задач,
учитывая ряд ограничений), соответствующих вершинам дерева вариантов
решений (ДВР) с использованием функции ветвления, нижней и верхней границ
(НГ и ВГ).
Моделирование — процесс исследования реальной системы,
включающий построение модели, изучение ее свойств и перенос полученных
сведений на моделируемую систему.
Модель — объект, который имеет сходство в некоторых отношениях с
прототипом и служит средством описания и/или объяснения, и/или
прогнозирования поведения прототипа.
Неориентированный (ненаправленный) граф — граф, содержащий
только ребра.
Нижняя граница (НГ) для вершины ДВР — это «стоимость» (значение
оценочной функции — функции «ветвления») промежуточного решения,
полученного при образовании данной вершины в методе ветвей и границ.
Нуль-граф — граф, в котором нет связей между вершинами.
Однородные ХТС — ХТС, состоящие из одного вида элементов, в
которых протекают одинаковые ХТП (реакторные системы, теплообменные
системы, системы ректификации, системы абсорбции, экстракции и т. п.).
Однородные ХТС, как правило, соответствуют технологическим блокам
производств.
Оптимизация — целенаправленная деятельность, обеспечивающая
получение наилучших в определенном смысле результатов при
соответствующих условиях и ограничениях.
Ориентированный (направленный) граф — граф, содержащий только
дуги.
Остовное дерево (остов) графа — подграф исходного графа,
содержащий все его вершины и являющийся деревом.
Остовный подграф — подграф, содержащий все вершины исходного
графа.
78
Произвольная декомпозиция — при декомпозиции задач на подзадачи
(редукции) на каждом шаге образуются дизъюнктивные вершины с двумя
подзадачами, не являющимися элементарными (тривиальными).
Простая цепь — маршрут, в котором все вершины цепи различны.
Простой цикл — замкнутая простая цепь.
Пространство подзадач (дерево декомпозиции исходных задач) — граф
редукции задачи (комбинированный И/ИЛИ-граф).
Пространство состояний — пространство множества возможных
вариантов альтернативных решений задачи.
Пространство состояний ХТС — это вся совокупность наборов
выходных переменных ХТС на некотором интервале времени наблюдения Δτ.
Ребро — неупорядоченная пара вершин графа (задана направленность
связи между этими вершинами).
Редукция — процесс разбиения (декомпозиции) задачи на подзадачи.
Решающий подграф графа редукций — фрагмент дерева редукций с
корнем в начальной вершине, у которого все висячие вершины соответствуют
разрешимым задачам, причем указанные вершины являются конъюнктивными.
Решение задачи в пространстве состояний — последовательность
операторов, преобразующих начальное состояние задачи в конечное, которое
соответствует полному решению задачи.
Синтез ХТС — это операция создания ХТС для производства заданной
химической продукции с учетом определенных требований к
функционированию ХТС, а также различных физико-химических и
технологических ограничений на их выполнение. Эта операция включает выбор
химического способа производства целевых продуктов, разработку
технологической топологии системы (выбор видов ХТП, типа конструкций
каждого элемента, выбор структуры и определение покомпонентного состава
технологических связей между элементами), определение конструкционных и
технологических параметров каждого элемента, обеспечивающих
функционирование ХТС при оптимальной величине критерия эффективности и
оптимальных показателях свойств ХТС.
Синтез ХТС как инженерно-техническая операция — это создание
принципов и способа функционирования ХТС; разработка структуры ХТС,
79
определение параметров и характеристик, входящих в систему ХТП, которые
обеспечивают требуемые цели функционирования ХТС.
Система — совокупность элементов и связей между ними, обладающая
определенной целостностью.
Смежные вершины — две вершины, инцидентные одной дуге.
Смежные дуги — дуги, инцидентные одной вершине (связанные с одной
вершиной).
«Смешанное ветвление» — стратегия упорядоченного полного перебора
(генерирования) вершин ДВР, при которой до получения на последнем уровне
декомпозиции ДВР некоторого полного решения исходной задачи используется
стратегия «ветвление в глубину», затем применяется «ветвление в ширину», т.е.
активную вершину можно выбирать из числа всех имеющихся в данный момент
висячих вершин на всех уровнях декомпозиции ДВР. Как только активная
вершина выбрана, вновь применяется стратегия «ветвление в глубину».
Смешанный граф — граф, содержащий как направленные (дуги), так и
ненаправленные (ребра) связи между вершинами.
Состояние ХТС — это набор выходных переменных ХТС, которые
полностью характеризуют функциональные системы в каждый момент
времени.
Стирлинга формула ( n!= (2π ⋅ n) ⋅ n n ⋅ e − n ) — приближенная формула для
расчета величины факториала, где n — натуральное число.
Стратегия «ветвления» на ДВР — определяет правило выбора
активной вершины на ДВР для ее дальнейшего раскрытия («ветвления»).
Теплообменная система (ТС) — однородная подсистема химико-
технологической системы (ХТС), обеспечивающая нагрев или охлаждение
технологических потоков ХТС до заданных конечных температур с
использованием рекуперативных теплообменников или внешних
энергоносителей.
Технологическая топология ХТС – это строение и внутренняя форма
организации системы, отражающая состав элементов ХТС и характер
взаимосвязей между элементами.
Топологическая фигура — фигура, свойства которой инвариантны
(неизменны) к взаимно однозначному и взаимно непрерывному
преобразованию.
80
Упорядоченного ограниченного перебора (генерации) вершин ДВР
методы — методы, позволяющих отсекать вершины ДВР, соответствующие
неперспективным подмножествам решений, с использованием функции
«ветвления» и некоторых оценок перспективности подмножеств решений —
нижней и верхней границ (НГ и ВГ).
Упорядоченного ограниченного перебора решений методы — методы, в
которых множество возможных решений определенным образом разделяется
(декомпозируется, или структурируется) с целью последующего исключения
заведомо неперспективных подмножеств решений.
Уровень декомпозиции графа редукции задачи (комбинированного
И/ИЛИ-графа) — множество вершин пространства подзадач, удаленных на
одинаковое расстояние от корня (по числу дуг).
Уровень декомпозиции ДВР (дерева вариантов решений) — множество
вершин ДВР, удаленных на одинаковое расстояние от вершины-корня (по
числу дуг).
Функция «ветвления» — это некоторый критерий, который позволяет
выбрать активную вершину ДВР (наиболее перспективную для раскрытия, или
декомпозиции, висячую вершину) из подмножества всех висячих вершин,
определённого выбранной стратегией «ветвления».
Химико-технологическая система (ХТС) — это целенаправленная
совокупность процессов, аппаратов и машин химической технологии, которая
обеспечивает проведение требуемых технологических операций химической и
физической переработки сырья в продукты потребления и в промежуточные
продукты.
Целевая функция – см. Критерий эффективности.
Цепь — маршрут, в котором все ребра различны.
Цикл в орграфе — любая замкнутая простая цепь, при этом направления
дуг, образующих цикл, не обязательно должны совпадать (в этом состоит
отличие цикла от контура).
Эвристика (эвристическое правило) — это правила, которые могут быть
разработаны на основе обобщения опыта решения однотипных задач
оптимизации и позволяющие существенно сократить число просматриваемых
альтернативных вариантов решений за счет генерации только рациональных
решений.
81
Эксплицитное ДВР — дерево вариантов решений, вся информация о
котором задана в явном виде с помощью матриц.
Элементарная декомпозиция — при декомпозиции задач на подзадачи
(редукции) на каждом шаге образуется дизъюнктивная вершина с двумя
подзадачами, одна из которых — элементарная (тривиальная).
Эффективность «стратегии (или процедуры) ветвления» на ДВР —
доля исключенных из рассмотрения (неперспективных) вершин ДВР, т.е.
v(G ) − v(G ' )
ψ = ⋅ 100 % ,
v(G )
где v(G) – число вершин в полном ДВР, v(G’) — число вершин в усеченном
ДВР, построенном с использованием МВГ.
Чем больше вершин исключено из рассмотрения, тем выше
эффективность стратегии, или «процедуры ветвления». Корневую вершину
можно не учитывать, так как для ее построения не требовался расчет критерия.
NP-полная задача (задача неполиномиальной сложности) —
факториал n! (где n — натуральное число) с увеличением n растет быстрее,
чем любой полином от n, и быстрее, чем exp(n). Возникает проблема так
называемого «комбинаторного взрыва» (неполиномиальное расширение
пространства состояний при увеличении размерности задачи).
82
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Кафаров В. В., Мешалкин В. П. Анализ и синтез химико-технологических
систем, — М.: Химия, 1991. — 432 с.
2. Мешалкин В. П. Экспертные системы в химической технологии. Основы
теории, опыт разработки и применения — М.: Химия, 1995. — 368 c.
3. Кофман А. Введение в прикладную комбинаторику — М.: Наука, 1975. —
480 с.
4. Кристофидес Н. Теория графов: алгоритмический подход — М.: Мир,
1978. — 432 с.
5. Андерсон Дж. Дискретная математика и комбинаторика. — Изд-во:
Вильямс, 2003. — 960 с.
6. Бондарев В. Н., Аде Ф. Г. Искусственный интеллект: учеб. пособие для
вузов. — Севастополь: СевНТУ, 2002 — 425 c.
7. Новиков Ф. А. Дискретная математика для программистов — С-Пб.: Питер,
2001. — 367 c.
83
Учебное издание
МЕТОДЫ КОМБИНАТОРНОЙ
ОПТИМИЗАЦИИ
Метод ветвей и границ в решении
задач химической технологии и логистики
Редактор Р. Г. Чиркова
84