Отличие данной задачи с задачей с фиксированными доплатами в том, что фиксированные доплаты входят не только в целевую функцию, но и в ограничения.
Сведение (7)-(10) к ЗЦП основано на использовании верхних границ для переменных xij - Mij .
Найдем эти границы:
времени и определять был или не был совершен рейс. Получили модель:
(16)
Модель задачи выпуска продукции с разрывной целевой функцией
Одним из источников возникновения дискретности является разрывная целевая функция.
Пусть xj - объем выпускаемой продукции типа j , c j - прибыль за комплект продукции j .
Предполагается, что прибыль получается только за готовые комплекты, отвечающие целочисленным значениям xj .
aij - удельные затраты ресурса на 1 ед. продукции.
Максимизировать прибыль для описанного производства.
Модель многоэкстремальной задачи оптимизации
Многоэкстремальную задачу можно рассматривать как задачу оптимизации с линейным целевым функционалом и с невыпуклой или несвязной областью определения.
Такую область можно точно или приближенно представить в виде объединения конечного числа выпуклых областей (при линейных ограничениях – выпуклых многогранниках).
Затем вводя целочисленные переменные свести задачу к частично целочисленной.
Пусть известно число b, для которого справедливо:
, т.е. найдены верхние границы.
X
Задачи логического проектирования: задача о расположении производственных единиц
Задачи логического проектирования – самое молодое направление ЛП. Его применение связано с вопросами проектирования логических устройств, связанных с теорией кибернетики дискретного анализа.
Известны также затраты, связанные с перемещиеним i на место j , называюся «расстоянием» - dij . Кроме этого заданы производственные потоки по пути ( i, j) - fij . Целью задачи является закрепление центров по местам, минимизирующие суммарные затраты.
Модель: каждое назначение центров по местам представляет собой перестановки чисел 1,..., n. Для каждого назначения заданы:
1) затраты, зависящие от назначения i на место pi ,( p1, p2,..., pn ) cipi (непосредственные затраты) 2) затраты, зависящие от пар назначений (затраты на взаимосвязь центров) d pi p j .
Причем затраты при перемещении центра i в место pi и центра j в место p j равны произведению fij
на d pi pj .
Задача является экстремально-комбинаторной. Сведем ее к ЗЦП введя допущения:
Введем переменные xij - центр i помещен на место j : xij
Таким образом, получили задачу о назначении.
Действуют так:
h2 ( x) h2 ( x) y
Записанная система неравенств не содержит логических условий и реализует условия «либо-либо». Кроме рассмотренных, к особым относятся задачи многоэкстремальные на незамкнутых ОДР с разрывными функциями цели другого рода и другие.
1.2 КЛАССИФИКАЦИЯ ЧИСЛЕННЫХ МЕТОДОВ; ОСНОВНЫЕ ПРИНЦИПЫ ПОСТРОЕНИЯ МЕТО-
ДОВ РЕШЕНИЯ ЗЦП
Все методы делятся на точные и приближенные. Точные методы делятся на 2 основные группы:
1) методы, основанные на идеях направленного перебора вариантов – методы ветвей и границ (Лэнд и Дойг, Литтл);
2) методы, суть которых состоит в численной реализации ЗЦП с дополнительным условием – правильного отсечения. Это методы отсечения (алгоритм Гомори). Методы ветвей и границ
Общая схема метода состоит в двухэтапном решении задачи. На первом этапе производится поиск экстремума функции цели на расширенной ОДР. На втором этапе последовательное пошаговое уточнение решения первого этапа.
Идея метода состоит в усовершенствовании процесса перебора вариантов. Сокращение числа вариантов достигается за счет того, что удается оценить сверху значение функции цели на разбиениях расширенного множества допустимых решений и затем исключить из рассмотрения те разбиения, для которых оценка оказалась слишком малой.
Оценки называются границами, а поиск решения проводится по ветвям дерева вариантов.
Методы отсечений
Методы отсечений используют 2 идеи: пошаговую линейную аппроксимацию ЗЦП, переход от шага к шагу с помощью правильного отсечения.
Общая схема метода такова:
Рассматривается ЗЛП, соответствующая исходной ЗЦП. ОДР для нее - выпуклый многогранник. Совокупность целочисленных точек в нем является множеством допустимых решений задачи и не является выпуклым. К ограничениям ЗЦП последовательно добавляются новые – они связывают внешние целочисленные точки последовательных решений.
В результате на каждом шаге получается новый выпуклый многоугольник, представляющий собой ОДР для новой ЗЦП. При это, вершина, соответствующая нецелочисленному решению отсекается. За конечное число шагов мы придем к вершине, координаты которого целочисленные.