![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Теорема 3.6.
Для существования решения одной из пары двойственных задач (и, следовательно, обеих) необходимо и достаточно непустоты множества планов P и Q.
Доказательство.
Необходимость: ИЗ разрешима, следовательно P – непустое множество, следовательно ДЗ разрешима (теорема 3.4), т.е. Q - непустое множество. Достаточность: Дано Пусть
По теореме 3.2:
следовательно
Пусть
По теореме 3.2:
следовательно Теорема 3.7. Планы См. следствие 3 из теоремы 3.4.
|