Можно доказать, что за конечное число таких возвращений либо выяснится, что условие задачи противоречиво, либо будет найдено опорное решение. Если по ходу преобразований Рабочей таблицы 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).
Ссылка на скачивание - внизу страницы.