
§ &.4]
ЛИНЕйНЫй
СЛУЧАй
231
для
матрицы
U
О
=
С
в
А
я
1
быть
допустимой
в
двойствен
ной
задаче
Ба
(и
в
двойственной
задаче
Б
з
).
Таким
обра
зом,
если
матрица
U
О
является
допустимой
в
двойствеп
IЮЙ
задаче
Ба
(двойственной
задаче
Б
з
),
то
допустимое
базисное
решение
х
О
будет
эффентивным
по
вектор-фуш,
ции
Сх
относительно
рассматриваемого
мпожества
огра
ничений.
Потребность
в
нроверке
допустимости
матрицы
U
О
ВОЗIlикает
на
первоii
фазе
работы
многокритериаль
пого
симплекс-метода,
когда
ОТЫСI{ивается
допустимое
базисное
решение,
являющееся
эффективпым
(т.
е.
на
чальное
эффективное
базисное
решение).
Заметим,
что
конкретная
реализация подобной проверlШ
может
быть
осуществлена
различными
способами.
5.
I\aR
указывалось
ранее,
двойственная
задача
А
I
была
введена
Д.
Гейлом,
Х.
Иуном
И
А.
Таккером
в
[154].
Следует,
однако,
заметить,
что
в
этой
работе
рассматрп
вались
линейные
задачи
более
общего
вида,
чем
Мах
Q
и
Min
l/I,
и
теорема
3
из
п.
3 -
это
лишь
частпый
случай
результатов
авторов
работы
[154].
Приведем
здесь
ФормулироВl\И
линейных
задач,
изуче
пию
которых
посвящена
работа
[154].
Для
этого
усло
вимся
нисать
8
~
8°
для
матриц
одинакового
размера
т
Х
r,
если
все
элементы
матрпцы
8 - 8°
пеотрицатель
IIЫ
и
хотя
бы
один
-
положительный.
Будем
говорить
(см.
[154),
что
матрица
8°
является
.лtа~СUJltа.льnоЙ
(Jlt1l-
lluJltа.льnоЙ)
в
ненотором
фиксированном
множестве
MaT~
риц
размера
т
Х
r,
если
8°
принадлежит
этому
множе
ству
и
в
нем
не
существует
такой
матрицы
8,
что
8
~8°
(8
58°).
IIетрудно
видеть,
что
последнее
онределение
естественпым
образом
согласуется
с
общим
определением
максимального
(минимального)
элемента,
данного
в
§ 1.2.
Пусть
А,
В,
С
-
матрицы
соответствующих
размеров
k
Х
n,
k
Х
r,
т
Х
n,
а
8
и
Z -
матрицы
размера
т
Х
r.
Пр
я
м
а
я
з
а
Д
а
'1
а
А,.
Найти
максимальные
матри
цы
множества
S =
LJ
U {8!
St<
Сх},
ас
t
где
объединение
берется
по
всем
х
Е
E~,
t
Е
Е;,
r
",'
.....
t
i
= 1,
удовлетворяющим
неравенству
Ах
~
Бt.
(=1