![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Теоремы двойственности
Рассмотрим пару взаимно двойственных моделей: Прямая. Требуется максимизировать функцию
при ограничениях
Двойственная. Требуется минимизировать функцию
при ограничениях
Относительно допустимых планов двойственных моделей сформулируем следующие утверждения.
Теорема 3. 1. Для любых допустимых планов
прямой и двойственной моделей всегда справедливо неравенство:
Это неравенство называется основным неравенством теории двойственности. Действительно, умножив неравенство (3.15) на
Умножая неравенство (3.17) на
Поскольку в неравенствах (3.19) и (3.20) левые части равны, то, сравнивая их, получаем основное неравенство теории двойственности (3.18). С экономической точки зрения, неравенство (3.18) означает, что для любого допустимого плана производства и любого допустимого вектора оценок ресурсов стоимость изготовленного продукта не превосходит оценки ресурсов. Теорема 3.2. (Достаточный признак оптимальности). Если для некоторых допустимых планов Действительно, пусть Пусть теперь Теорема 3.3 (теорема существования оптимальных планов). Для того чтобы прямая и двойственная модели имели оптимальный план, необходимо и достаточно, чтобы для каждой из них существовал хотя один допустимый план. Доказательство. Необходимость. Пусть пара двойственных моделей имеет оптимальные планы Достаточность. Пусть
Решая задачу (3.14)-(3.15) симплекс-методом от допустимого плана Х перейдем к опорным планам Аналогично доказывается, что Теорема 3.4 (первая основная теорема двойственности). Если одна из двойственных моделей имеет оптимальный план, то и другая также имеет оптимальный план. Причем для любых оптимальных планов Рассмотрим пару симметричных двойственных моделей (3.14)-(3.15) и (3.16)-(3.17).Вводя дополнительные переменные
то через конечное число шагов придем к окончательной симплексной таблице, в которой в строке целевой функции нет ни одного положительного элемента, а в столбце свободных членов – ни одного отрицательного, кроме быть может, значения целевой функции (таблица 3.15). Этой таблице отвечает определенная симплексная таблица двойственной модели, в которой столбец свободных членов не будет содержать ни одного отрицательного элемента, а в строке целевой функции – ни одного положительного. Это означает, что для двойственной модели также получен оптимальный план:
Таблица 3.15
Значение целевой функции для данного плана: Так как в исходной задаче все свободные элементы = Рассмотрим случай, когда среди компонентов Тогда свободной переменной
Так как Отметим, что обратное утверждение несправедливо, т. е. если одна из двойственных задач не имеет ни одного допустимого плана, то целевая функция второй задачи не ограничена. Экономическая интерпретация этой теоремы состоит в следующем: если задача определения оптимального плана, максимизирующего выпуск продукции, разрешима, то разрешима и задача определения оценок ресурсов. Причем цена продукции, полученной при реализации оптимального плана, совпадает с суммарной оценкой ресурсов. Следовательно, план производства и вектор оценок ресурсов являются оптимальными, если цена произведенной продукции и суммарная оценка ресурсов совпадают. Оценки выступают как инструмент балансирования затрат и результатов. Теорема 3.5 (вторая теорема двойственности о дополняющей нежесткости). Чтобы допустимые планы если если где Доказательство. Необходимость. Пусть
Умножив неравенство (3.21) на
Умножив (3.23) на
В силу теоремы 3.2 для оптимальных планов имеем равенство: Из выше приведенных отношений имеем: Так как крайние суммы равны:
то
Полученные соотношения можно переписать в виде: И. Так как все слагаемые в суммах положительны, то: И. Два сомножителя равны нулю, если равен нулю хотя бы один из сомножителей. Поэтому, если например: если же Достаточность. Пусть для некоторых планов если или если Умножим неравенство (3.21) на
Умножая неравенство (3.23) на
Левые части в неравенствах равны, следовательно, равны и правые части:
Согласно достаточного признака оптимальности, планы Вторая теорема двойственности с экономической точки зрения оценки оптимального плана – это мера дефицитности ресурсов. Ресурс, используемый в оптимальном плане производства полностью, является дефицитным, его оценка положительна. Дальнейшее его увеличение целесообразно. Если ресурс используется не полностью, то он избыточен, его дальнейшее увеличение не повлияет на эффективность предприятия. Двойственная оценка недефицитного ресурса равна нулю. Лекция 4 Экономико-математические методы и модели оптимального планирования в промышленности, АПК (продолжение) Вопросы, изучаемые на лекции: 4.1. Целочисленные оптимизационные модели в промышленности, АПК. Примеры. Методы решения 4.2. Алгоритм метода Гомори решения целочисленных оптимизационных моделей
|