- •1. Цель и задачи курса «Методы оптимальных решений».
- •2. Классификация и специфика задач математического программирования (мп).
- •3. Основные этапы процесса моделирования задач мп.
- •4. Некоторые стандартные примеры математических моделей в мп (задача о рационе,
- •5. Основные понятия и факты, являющиеся базисными в теории оптимизации.
- •6. Теорема Каратеодори о выпуклой оболочке конечномерного пространства
- •7.Понятия целевая функция и ограничения задачи оптимизации
- •9. Математическая постановка задачи оптимизации.
- •10. Понятие компактности множества. Точная нижняя грань и точная верхняя грань.
- •11. Линейное программирование (лп). Специфика задач лп
- •13. Фундаментальное понятие базиса. Базисное, базисное допустимое и оптимальное базисное решение задачи лп.
- •14. Теорема, устанавливающая необходимое и достаточное условие существования базисного решения системы ограничений, безотносительно к способу их получения.
- •15. Геометрический смысл понятия базисного допустимого решения.
- •16. Критерий разрешимости задачи лп (с обоснованием).
- •17. Достаточное условие существования оптимального базисного решения (с обоснованием).
- •18. Неоднозначность терминологии лп: понятия матрица и вектор условий задачи лп, опорный план и оптимальный план задачи лп.
- •19. Идеи и принципиальные соображения, лежащие в основе конечных методов решения задач лп.
- •20. Элементарное преобразование базиса.
- •21. «Симплекс-таблица» и алгоритм ее построения.
- •22.Прямо и двойственно допустимые «симплекс-таблицы». Правило преобразование «симплекс-таблицы».
- •23. Достаточное условие оптимальности базисного решения задачи лп, основанное на характеристике «симплекс-таблицы».
- •24. Прямой «симплекс-метод» для решения задач лп и его обоснования.
- •25. Выбор столбца для ввода (вывода) в базис (из базиса) и неоднозначность данного выбора. Обоснования этих выборов.
- •26. Уточняющие правила, устраняющие возникающую неоднозначность при выборе ведущего столбца и/или ведущей строки: частичное или полное уточняющие правила Данцинга и Блэнда.
- •27. Рекуррентные соотношения алгоритма прямого «симплекс-метода» (связь между параметрами последовательных итераций).
- •28. Вопрос конечности алгоритма «симплекс-метода».
- •29. Проблема зацикливания алгоритма прямого «симплекс-метода».
- •30. Вырожденное базисное допустимое решение и вырожденная задача лп.
- •31. Возврат к пройденной угловой точке множества допустимых решений при преобразовании «симплекс-таблицы». Пути выхода из зацикливания в случае вырожденности задачи лп.
23. Достаточное условие оптимальности базисного решения задачи лп, основанное на характеристике «симплекс-таблицы».
Рассмотрим алгоритм решения задач симплексным методом. 1. Задача ЛП должна бать приведена к каноническому виду. Преобразовать все ограничения равенства к виду, при котором правая часть ограничений – неотрицательное число. 2. Выписать матрицу ограничений, проверить, есть ли набор столбцов, образующих единичную матрицу. Если такого набора нет – переходим к пункту 5. 3. Набор есть – разбить переменные на 2 группы – базисные и не базисные. Базисные соответствуют столбцам, образующим ед.матрицу, остальные – не базисные. Полагая всякую не базисную переменную = 0, а базисную = правой части ограничений, в которых эта переменная присутствует, получаем опорное решение. 4. Построить симплекс таблицу, отвечающую полученному опорному решению. Все строки таблицы 1-го шага, за исключением строки оценок ∆j (индексная строка), заполняем по данным системы ограничений и ЦФ. 5. Сделать вывод для построения начальной симплекс-таблицы, применить метод искусственного базиса. Пусть дана задача ЛП: Прибавляем дополнительную переменную для приведения к каноническому виду: Выписываем матрицу ограничений: Построение первоначальной симплекс-таблицы:
Индексная строка ∆j для переменных находится по формуле: ; При этом возможны следующие случаи решения задачи на максимум: • если все оценки (для задачи на max), то найденное решение оптимальное; • если хотя бы одна оценка но при соответствующей переменной нет ни одного положительного коэффициента, решение задачи прекращаем, так как F(x)→∞, т. е. ЦФ не ограничена в ОДР; • если хотя бы одна оценка отрицательная, а при соответствующей переменной есть хотя бы один положительный коэффициент, то нужно перейти к другому опорному решению; • если отрицательных оценок в индексной строке несколько, то в столбец базисной переменной (БП) вводят ту переменную, которой соответствует наибольшая по абсолютной величине отрицательная оценка. Пусть одна или наибольшая по абсолютной величине оценка , тогда k-й столбец - разрешающий. За разрешающую строку принимаем ту, которой соответствует минимальное отношение свободных членов к положительным коэффициентам k-го столбца. Элемент, находящийся на пересечении разрешающих строки и столбца, называют разрешающим элементом. 6. Заполнить симплексную таблицу 2-го шага: меняем местами базисную и небазисную переменные, разрешающий элемент заменяем на обратный, элементы разрешающей строки делим на разрешающий элемент, все элементы разрешающего столбца делим на разрешающий элемент и записываем с обратным знаком. Остальные элементы рассчитываем по правилу прямоугольника. Опорное решение проверяем на оптимальность и т.д. Индексная строка ∆j для переменных находится по формуле: ; При этом возможны следующие случаи решения задачи на максимум: • если все оценки (для задачи на max), то найденное решение оптимальное; • если хотя бы одна оценка но при соответствующей переменной нет ни одного положительного коэффициента, решение задачи прекращаем, так как F(x)→∞, т. е. ЦФ не ограничена в ОДР; • если хотя бы одна оценка отрицательная, а при соответствующей переменной есть хотя бы один положительный коэффициент, то нужно перейти к другому опорному решению; • если отрицательных оценок в индексной строке несколько, то в столбец базисной переменной (БП) вводят ту переменную, которой соответствует наибольшая по абсолютной величине отрицательная оценка. Пусть одна или наибольшая по абсолютной величине оценка , тогда k-й столбец - разрешающий. За разрешающую строку принимаем ту, которой соответствует минимальное отношение свободных членов к положительным коэффициентам k-го столбца. Элемент, находящийся на пересечении разрешающих строки и столбца, называют разрешающим элементом. 6. Заполнить симплексную таблицу 2-го шага: меняем местами базисную и небазисную переменные, разрешающий элемент заменяем на обратный, элементы разрешающей строки делим на разрешающий элемент, все элементы разрешающего столбца делим на разрешающий элемент и записываем с обратным знаком. Остальные элементы рассчитываем по правилу прямоугольника. Опорное решение проверяем на оптимальность и т.д.
