- •Постановка общей задачи математического программирования.
- •Задача линейного программирования и различные формы ее математической записи (общая, каноническая, симметричная). Преобразование одной формы записи в другую.
- •Геометрическая интерпретация целевой функции и ограничений задачи линейного программирования. Геометрическая формулировка задачи линейного программирования.
- •Графический метод решения задачи линейного программирования с двумя переменными.
- •Опорные планы задачи линейного программирования. Соответствие между опорными планами и вершинами многогранника планов.
- •Основная теорема линейного программирования. Принципиальная схема решения задачи линейного программирования, вытекающая из этой теоремы.
- •Общая идея симплексного метода решения задачи линейного программирования. Геометрическая иллюстрация.
- •Переход от одного опорного плана к другому, более близкому к оптимальному.
- •Признак неограниченности целевой функции на множестве планов.
- •Признак бесконечности множества оптимальных планов.
- •Алгоритм симплексного метода.
- •Признак оптимальности опорного плана задачи линейного программирования.
- •Нахождение начального опорного плана задачи линейного программирования.
- •Признак неразрешимости задачи линейного программирования.
- •Экономический пример двойственной задачи: задача об оптимальном планировании производства и задача об оценках на используемые в производстве ресурсы. Двойственные оценки.
- •Построение двойственной задачи к общей задаче линейного программирования. Связь между элементами моделей этих задач.
- •Первая теорема двойственности и ее экономическое содержание. Прикладные аспекты теоремы.
- •Третья теорема двойственности и ее экономическое содержание. Прикладные аспекты теоремы.
- •Постановка транспортной задачи по критерию стоимости и ее экономико-математическая модель.
- •Транспортная задача с открытой и закрытой моделью. Преобразование открытой транспортной задачи в закрытую. Условие разрешимости транспортной задачи.
- •Алгоритм метода потенциалов.
- •Оценка (характеристика) свободной клетки транспортной таблицы Признак оптимальности опорного плана транспортной задачи. Не единственность оптимального опорного плана.
- •Потенциалы поставщиков и потребителей. Система уравнений для определения потенциалов.
- •Связь между оценками свободных клеток и потенциалами.
- •Усложненные постановки транспортной задачи (учет себестоимости продукции в месте изготовления, обязательные поставки).
- •Задача транспортного типа с максимизируемой целевой функцией и изменения в методике решения по сравнению с классической задачей о перевозках.
- •Постановка и математическая модель полностью целочисленной задачи линейного программирования. Идея решения задачи методом отсечения и его геометрическая иллюстрация.
- •Алгоритм метода Гомори решения полностью целочисленной задачи линейного программирования.
- •Построение правильного отсечения и его свойства.
- •Графическая интерпретация решения целочисленной задачи.
- •Задача о выборе наиболее экономного маршрута доставки груза и решение ее методом динамического программирования.
- •Задача об оптимальном распределении средств между предприятиями на расширение производства продукции и решение ее методом динамического программирования.
- •Задача о выборе оптимальной стратегии замены оборудования и решение ее методом динамического программирования.
Опорные планы задачи линейного программирования. Соответствие между опорными планами и вершинами многогранника планов.
Рассмотрим задачу: F=c1x1+c2x2+cnxn-max (1) a11x1+…a1nxn<=b1}am1x1+…+amnxn<=bm }(2) xj>=0, ( j=1,n) (3). Чтобы задача 1-3 имела решение (2) должна быть совместной и иметь неотрицательное решение. Это возможно если число линейно-независимых уравнений с-мы ( r ) не больше числа переменных (r<=n). При r=n –с-ма имеет единст. решение; r<n с-ма имеет бесконечное множество решений. Множество векторов а1 и …an будет содержать линейно-независимую подсистему векторов (базис), состоящую из n-векторов. Предположим, что вектор a1..am линейно-независимы, тогда общее решение с-мы (2) может быть получено путем размещения ее относительно переменных х1…хm (базисных переменных). Хi=Bi0-(n-m;J=1)ΣBij*Xj+m ( i=1,m ) (4). Подставим Xi в целевую функцию, получим F= Boo-(n-m; j=1)ΣBoj*Xj+m (5). Базисное решение получается путем подстановки вместо переменных Xj+m (j=1,n-m) нулей. Переменные, которые стоят в правой части (4) называется свободными. Если в базисном решении значение всех базисных переменных неотрицательное, решение называется опорным. Каждому опорному плану (1-3) соответствует вершина многогранника плана и наоборот, каждой вершине многогранника плана соответствует опорный план задачи 1-3. Опорных планов задачи 1-3 не более, чем число сочетаний из m по n , поэтому выбирая все опорные планы можно определить тот, для которого целевая функция принимает экстремальные значения.
Основная теорема линейного программирования. Принципиальная схема решения задачи линейного программирования, вытекающая из этой теоремы.
Если задача линейного программирования имеет решение, то целевая функция задачи достигает максимального значения в вершине многогранника планов. Если линейная функция принимает максимальное значение более чем в одной вершине, то она достигает такого же значения в любой точке, являющейся выпуклой линейной комбинацией этих вершин. Можно доказать, что каждому опорному решению системы соответствует вершина многогранника планов и, наоборот, каждой вершине многогранника планов соответствует опорное решение системы. Отсюда следует, что совокупность опорных планов задачи линейного программирования совпадает с системой вершин многогранника планов
Общая идея симплексного метода решения задачи линейного программирования. Геометрическая иллюстрация.
Одним из универсальных методов является симплексный (симплекс-метод), называемый так же методом последовательного улучшения плана. Из геометрической интерпретации видно, что экстремум достигается в крайней точки, то есть в ОДР. В основу симплекс – метода положена идея рассмотрения только крайних точек (вершин), а не всё бесконечное множество. Суть метода в том, что в начале получают допустимый план удовлетворяющий всем ограничениям, но не обязательно оптимальный (Начальное опорное решение). Оптимальность достигается последовательным улучшением исходного варианта за определенное число этапов.
