Вопросы к экзамену по курсу доц. С. М. Машарского
"ЭКСТРЕМАЛЬНЫЕ ЗАДАЧИ"
ЧАСТЬ 1. Линейные экстремальные задачи
- Лемма об эквивалентных экстремальных задачах.
- Примеры эквивалентных экстремальных задач.
- Постановка задачи планирования производства. Сведение ее к задаче линейного программирования.
- Приведение общей задачи линейного программирования к эквивалентной задаче линейного программирования в канонической форме.
- Лемма о базисном плане.
- Теорема о существовании оптимального базисного плана у задачи линейного программирования в канонической форме.
- Формулировка теоремы Фаркаша. Ее интерпретация в двумерном случае.
- Критерий существования неотрицательного решения у системы линейных уравнений.
- Критерий совместности системы линейных уравнений и неравенств.
- Основная лемма линейного программирования.
- Критерий оптимальности для общей задачи линейного программирования.
- Первая теорема двойственности в линейном программировании.
- Критерий совместной разрешимости пары двойственных задач линейного программирования.
- Вторая теорема двойственности в линейном программировании.
- Постановка задачи о матричных играх. Лемма об очистке.
- Теорема о существовании ситуации равновесия в матричных играх.
- Анализ двойственной задачи к линейной дискретной задаче оптимального управления.
- Принцип максимума для линейных дискретных систем.
- Симплекс-метод.
- Пересчет обратной базисной матрицы и двойственного вектора.
- Вычислительная схема симплекс-метода.
ЧАСТЬ 2. Нелинейные экстремальные задачи
- Необходимые условия оптимальности для задачи нелинейного программирования с линейными ограничениями.
- Теорема Лагранжа и теорема Куна–Таккера для экстремальных задач с линейными ограничениями.
- Критерий выпуклости для дифференцируемых функций.
- Критерий выпуклости для квадратичной функции.
- Критерий оптимальности для задачи нелинейного программирования с выпуклой дифференцируемой целевой функцией и линейными ограничениями. Частные случаи.
- Проектирование точки на подпространство.
- Свойства матрицы ортогонального проектирования.
- Проектирование точки на стандартный симплекс.
- Теорема о существовании решения у задачи квадратичного программирования.
- Критерий оптимальности для задачи квадратичного программирования.
- Двойственная задача квадратичного программирования. Теорема двойственности.
- Основная лемма нелинейного программирования.
- Теорема Куна–Таккера в дифференциальной форме.
- Пример задачи нелинейного программирования, в единственном решении которой не выполняется условие Куна–Таккера.
- Теорема о достаточности условий Куна–Таккера. Пример.
- Необходимое условие оптимальности второго порядка в задаче нелинейного программирования.
- Достаточное условие оптимальности второго порядка в задаче нелинейного программирования.
- Пример на использование условий оптимальности второго порядка в задаче нелинейного программирования.
ЧАСТЬ 3. Вариационное исчисление
- Постановка простейшей вариационной задачи. Конечномерная аппроксимация. Уравнение Эйлера.
- Основная лемма вариационного исчисления.
- Минимизация линейной интегральной формы.
- Минимизация интегрального квадратичного функционала. Критерий оптимальности.
- Необходимое условие Лежандра неотрицательной определенности интегральной квадратичной формы.
- Критерий неотрицательной определенности интегральной квадратичной формы. Доказательство достаточности.
- Лемма о скруглении углов.
- Критерий неотрицательной определенности интегральной квадратичной формы. Доказательство необходимости.
- Критерий положительной определенности интегральной квадратичной формы.
- Описание всего множества решений квадратичной вариационной задачи.
- Схема решения квадратичной вариационной задачи. Примеры.
- Естественная область определения интегрального функционала. Ее открытость в пространстве непрерывно дифференцируемых функций.
- Первый дифференциал интегрального функционала.
- Второй дифференциал интегрального функционала.
- Необходимые условия локального минимума первого порядка в нелинейной вариационной задаче (в терминах первого дифференциала и в терминах исходной задачи).
- Теорема о существовании и непрерывности второй производной у экстремали нелинейной вариационной задачи.
- Необходимые условия локального минимума второго порядка в нелинейной вариационной задаче (в терминах второго дифференциала и в терминах исходной задачи).
- Оценка снизу для положительно определенной интегральной квадратичной формы.
- Достаточные условия строгого локального минимума в нелинейной вариационной задаче.
- Задача о минимальной поверхности вращения.
- Случай двух стационарных кривых в задаче о минимальной поверхности вращения.
- Изопериметрическая задача.
- Цепная линия.
ЛИТЕРАТУРА
- Гавурин М. К., Малоземов В. Н. Экстремальные задачи с линейными ограничениями. Л., 1984.
- Ашманов С. А. Линейное программирование. М., 1981.
- Даугавет В. А. Численные методы квадратичного программирования. СПб., 2004.
- Таха Х. А. Введение в исследование операций. М., 2001.
- Галеев Э. М., Тихомиров В. М. Краткий курс теории экстремальных задач. М., 1989.
- Буслаев В. С. Вариационное исчисление. Л., 1980.
- Малоземов В. Н. Линейная алгебра без определителей. Квадратичная функция. Л., 1997.
- Заславский Ю. Л. Сборник задач по линейному программированию. М., 1969.
- Алексеев В. М., Галеев Э. М., Тихомиров В. М. Сборник задач по оптимизации. М., 1984.
- Отдельные лекции по экстремальным задачам: http://kio-math.spbu.ru/kio_lect.html