Можно доказать, что за конечное число таких возвращений либо выяснится, что условие задачи противоречиво, либо будет найдено опорное решение. Если по ходу преобразований Рабочей таблицы 2 возникнет таблица, полностью совпадающая с какой-то таблицей на предыдущих этапах, то возникает ситуация «зацикливания». Доказывают, что если при таких обстоятельствах в моменты вы-бора минимума брать другой минимум, а в моменты выбора отрицательного элемента - брать другой отрицательный элемент, то ситуация преодолеется.
2.Пример отыскания опорного решения.
Рассмотрим численный пример.
Речь пойдет о поиске опорного решения. Какой при этом является целевая функция, - не важно. Итак, требуется найти опорное в условиях:
 ,           
Таким образом, здесь три переменных,  семь условий,
,           
Таким образом, здесь три переменных,  семь условий,
  ,          причем два последних условия
выделяют несвободные
,          причем два последних условия
выделяют несвободные     
 ,             
переменные, а свободных переменных - всего одна,
,             
переменные, а свободных переменных - всего одна, 
 ,           
это - переменная
,           
это - переменная  . Нужно найти такую точку,
которая
. Нужно найти такую точку,
которая 
 ,            
удовлетворяет всем неравенствам, или (что то же са-
,            
удовлетворяет всем неравенствам, или (что то же са-       
 .               
мое) делает неотрицательными следующие выражения:
.               
мое) делает неотрицательными следующие выражения:
                                  
 ,
,
                                  
 ,
,
                             
      ,
,
                                  
 ,
,
                                  
 ,
,
 .
.
Строим Рабочую таблицу:
| -x1 | -x2 | -x3 | 1 | |
| y1= | 1 | -2 | 5 | 3 | 
| y2= | -1 | -1 | -1 | -1 | 
| y3= | 2 | 1 | -1 | 1 | 
| y4= | 0 | -3 | -3 | 2 | 
| y5= | 2 | -1 | 2 | 6 | 
Учитывая, что свободные переменные - это только x1, надо произвести единственное модифицированное жорданово исключение с разрешающим элементом a11=1 (он выделен серым фоном). Получим следующую основную таблицу:
| -y1 | -x2 | -x3 | 1 | |
| x1= | 1 | -2 | 5 | 3 | 
| y2= | 1 | -3 | 4 | 2 | 
| y3= | -2 | 5 | -11 | -5 | 
| y4= | 0 | -3 | -3 | 2 | 
| y5= | -2 | 3 | -8 | 0 | 
Далее мы исключаем строки со свободными переменными и получаем Рабочую
таблицу 1:
| -y1 | -x2 | -x3 | 1 | |
| y2= | 1 | -3 | 4 | 2 | 
| y3= | -2 | 5 | -11 | -5 | 
| y4= | 0 | -3 | -3 | 2 | 
| y5= | -2 | 3 | -8 | 0 | 
Поскольку здесь с самого начала нет строки, соответствующей целевой функ-ции, Рабочая таблица 1 совпадает с Рабочей таблицей 2 и мы приступаем к трем алгоритмическим шагам для поиска опорного решения.
Просматриваем правый столбец. Отыскиваем отрицательный элемент. В данном случае - это число -5. Фиксируем строку этого элемента и отыскиваем в ней первый отрицательный элемент. В данном случае - это число -2. Столбец этого элемента будет разрешающим. Просматриваем неотрицательные дроби: 2/1,-5/(-2),0/(-2). Нулевые дроби с отрицательными знаменателями - исключаем из рассмотрения. Из оставшихся дробей, т.е. из дробей 2/1, -5/(-2), - выбираем минимальную. В данном случае - это дробь 2/1. Она соответствует строке, кото-рая принимается за разрешающую. Таким образом, надо произвести модифици-
рованное жорданово исключение с разрешающим элементом, который выделен в нижеследующей таблице серым фоном:
| -y1 | -x2 | -x3 | 1 | |
| y2= | 1 | -3 | 4 | 2 | 
| y3= | -2 | 5 | -11 | -5 | 
| y4= | 0 | -3 | -3 | 2 | 
| y5= | -2 | 3 | -8 | 0 | 
Вот результат этого действия:
| -y2 | -x2 | -x3 | 1 | |
| y1= | 1 | -3 | 4 | 2 | 
| y3= | 2 | -1 | -3 | -1 | 
| y4= | 0 | -3 | -3 | 2 | 
| y5= | 2 | -3 | 0 | 4 | 
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.