Научная статья на тему 'Задача линейного программирования с двусторонними ограничениями'

Задача линейного программирования с двусторонними ограничениями Текст научной статьи по специальности «Математика»

CC BY
229
37
i Надоели баннеры? Вы всегда можете отключить рекламу.

Аннотация научной статьи по математике, автор научной работы — Гелдиев Х. А., Аманов А. Т.

В работе рассматривается специфическая задача линейного программирования,к которой сводятся задачи оптимального управления [1] при решения их методом последовательной линеризации.Предлагаемый алгоритм приводит к решению задачи оптимизации и при возникновении особых режимов в процесса вычислений.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Задача линейного программирования с двусторонними ограничениями»

Гелдиев Х.А.1, Аманов А.Т.2 ©

'Кандидат физико-математических наук, докторант, Физико-математический институт Академии наук Туркменистана; 2соискатель, Туркменский государственный энергетический институт

ЗАДАЧА ЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ С ДВУСТОРОННИМИ

ОГРАНИЧЕНИЯМИ

Аннотация

В работе рассматривается специфическая задача линейного программирования,к которой сводятся задачи оптимального управления [1] при решения их методом последовательной линеризации.Предлагаемый алгоритм приводит к решению задачи оптимизации и при возникновении особых режимов в процесса вычислений.

Рассмотрим задачу: Найти максимум линейной функции

1Ы)=(£.х\ хвИ71 (1)

при ограничениях

Ах = Ъ, (2)

С е А — матрица (т х п), 5"ейя, 5+ ей".

Такая специфическая задача ЛП возникает каждый раз при решении задач оптимального управления методом последовательных приближений [1].

Рассматриваемая задача может быть приведена к канонической форме введением дополнительных 2п переменных, и мы имели бы задачу ЛП с (т+2п) ограничениями в виде равенств и требованиями неотрицательности введенных 2п переменных. Если учесть, что в задачах оптимального управления величина п связана с дискретным представлением функции, заданной на некотором интервале, то видим, что исходная задача непомерно усложняется.Здесь мы позаимствуем основную идею подхода [1] к решению задачи (1-3) и установим некоторые качественные результаты, позволяющие алгоритмизировать процесс нахождения решения.

1. Существование решения

Естественно, задача нахождения наилучшего решения предполагает наличие хотя бы одного какого-то решения. При отсутствии такового сразу становится ясно, что решать задачу нет смысла.Отметим, что в ограничениях (2) можно считать вектор ^ — ® , то есть его компоненты неотрицательны .

Итак приходим к задаче нахождения какого-либо решения системы (1-3). Эту задачу можно представить как задачу нахождения начального опорного плана. Введем

дополнительныет переменных хп+и 0 = 1-™) и рассмотрим задачу:

т

- шахП (1'}

2 — 1

при ограничениях

¡а1111+""......+ а1ПХП + + 1 =

...........................................■■■■■■ С2'>

ат1х1 ......атпхп + хк+т ~ "т

< XI < = 1~п)

©Гелдиев Х.А., Аманов А.Т., 2012 г.

Введя вектор % — С^^.......хп-хп+^......'^я+т) можно рассматриваемую задачу записать

в виде (1-3).

Замечание /.Если Х° = ' ' ■ - . решение задачи (Г-3') и

= 0 (при этом автоматически с учетом (3')

+ ) = ■■■ = рг^п + т)т0 ) = 0)

I

, то выполняются соотношения: "Ь """ ......—

^И!1! "Ь ......^тп1" — ^т

5Г < х? < 5?, (£ = ТТтг)

то есть система (1-3) имеет решение

■Лс Оъ ^.........я

которое впредь можно рассматривать как начальный опорный план при решении задачи

(1-3).

Замечание 2. Задача (1'-3') имеет базисный тип. Именно для задач с ограничениями базисного типа и будут предложены и обоснованы алгоритмы решения. Эти алгоритмы таковы, что базисность ограничений сохраняется после осуществления каждого шага последовательных приближений. Поэтому после нахождения решения система (1'-3') примет вид:

а11я;1 '"......+ а±пхп +" а 1,11+1*11+1 "I" ......"I" а1,п+т.хп+т ~

1'1 _ ■■ ++ ■--"■..-:- 1 'ч- 1 _ ■■ + _ '■■"■. (4)

причем среди первых п столбцов обязательно будут находиться ровно т столбцов, составляющих ортогональный базис пространства К". Во всяком случае, осуществив перенумеровку переменных, систему (4) можно представить в виде

+а1,т+1хт+1 "I" "I" атхп —

■'■"'. + -1 ■'■"'.-1 ' '.......■.-.■'■-. _ - (5)

который мы называем базисным типом. Отметим также, что при произведенных преобразованиях соблюдается условие согласования:

5Г < Ь* < 5*,

Итак, необходимо решить задачу (1'-3'), при этом система (2') имеет базисный тип, и существует начальный опорный план

Х° = Ф1..........0........ о)т.

2. Алгоритм решения

После проведенного предварительного обсуждения стало ясно, что в общей теории задач вида (1-3) можно ограничиться рассмотрением систем с ограничениями (2) базисного типа

и наличием начального опорного плана

Хш=фЛ,.........,Ьт, 0,.........,0) (7)

Отметим, что предполагается выполнение условия согласования:

(8)

Линейной форме L(x) придадим вид

где

ш

Пусть^е^' где /- набор индексов от ш+1 до п. Рассмотрим вариацию элемента хм, оставляя нулевыми остальные элементы^"

(I е О . Тогда из (6) имеем

XI + ЧщХц = Ъ<г (г = 1,т)

Следовательно

(П)

Если 0

, то положительное приращение

АЬ = Дд - Хц

функция качества Ь(х) получает, если хи примет наибольшее положительное значение.

Вычислим координаты точки пересечения прямой (11) с прямой

.

Хж — 5-,-

Рис.2

Так как — , то такое пересечение возможно только при ащ<0. Поэтому

5Г-ЬГ-5* - Ъ;

5;- £>; аЩХ{1

Х{1 —

ащ

( "щ < 0)

Находим

Для ^ 0 находим

Ш1П —- — X,

тш

ащ

= тш

1 - л +

—_ + (13)

Выбираем х^ = тт[х£,хр,3£] (14)

Если же ^ 0 , то аналогичными рассуждениями приходим к заключению, что надо выбирать возможно меньшим.

Если аг><0, то

Находим Если > 0

то

Находим Полагаем

-

шах-- = х.

ащх/1 — ^г -

Хц —

а

шах-— = х~,

в ащ

— _ + (-16) X до —■ ГТЕЙ-Л до | X до | ^ до ^

(15)

(17)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Теорема 1. Если в системе (6) существует

ш

СЦ - Ф 0

то линейная форма Цх)=(С,х) получает приращение при переходе из положения в положение

Ы =

х■ = фл.........ьт, о,

,0)

Величина при 0 определяется по формулам (12-14), если же ^ 0 , то по формулам (15-17).

Обсудим полученный результат. Негативная форма Теоремы 1 имеет следующий

вид:

Обозначим через

~ (Я-1 .........' агнгОт,

/ = и Г и

- совокупность индексов, для которых 0 . ^ и1° обозначены наборы индексов, для которых < 0 и 0 , соответственно. Теорема 2. Если

тшта^кД.лтД} = 0, це1*

хт, = тш ^ а

где

Ьг-Б?

хи = тш ^ а

.

^е1

х

где

таг ■

аЛЦ

X,

так - _

то начальный опорный план (7) нельзя улучшить вариацией базисных переменных xir.........- хт и одной из небазисных переменных xß' .

Возникает вопрос. Можно ли при выполнении условий Теоремы 2 утверждать, что начальный опорный план неулучшаем вообще, то есть является оптимальным? Ответ на этот вопрос - отрицательный, так как возможно попытаться улучшить начальный опорный план с использованием пакета [2] вариаций, то есть используя одновременно вариацию нескольких небазисных переменных. Решение этой проблемы связано с исследованием вырожденных режимов в линейном программировании [3].

3. Случай 0 .

Как следует из Теоремы 1 величина шага итерации определяется по формулам (1214) при 0 и (15-17) при А^*- 0 . Каждый из этихслучаев представляется удобным рассмотреть отдельно. Итак, пусть > 0 . Вычисляются величины

х.ц = min —2-= ^(vj

aif1<Я — aifl

(vi - номер координаты х,, на котором достигается min).

X]

шш

а:д>г

щ

При нахождении определяется п элемент , на котором достигается минимум (19) (величина V равна У1 или У2).

Теперь возможны два варианта. I вариант.хи > ^д .

Новый опорный план подсчитывается, полагая

xi — h< — а х\ = О,

x[i —

,

([ = т + 1, гг)(1 Ф /О

Задача дальнейшего улучшения полученного опорного плана X' представляется как исходная задача по форме, с той лишь разницей, что уже переменная не варьируется. II вариант.

' <

Это значит, что ограничение хр - не повлияло на выбор хр . В новом опорном

плане ^ — ......' ....... xw ......0mXß,0,......, ü)

остальные координаты вновь подсчитываются по формулам (11).

4. Случай < 0 .

В этом случае необходимо х^ подобрать наименьшим из всех возможных значений. Вычисляются величины:

х^ = так ■

bi-S?'

хт, = тав ■

'ijib-B

а

щ

Вновь рассматриваем два варианта:

х„ < 5

I вариант.

II вариант.хд

.

.

В первом варианте новый опорный план составляет вектор X', координаты которого подсчитываются по формуле (11).

Второй вариант, как и в первом случае, соответствует отсутствию нижнего ограничения хд > з и переход к новому базису осуществляется элементарной операцией с выбором разрешающего элемента av^t, где индекс V определяется при вычислении хр по формуле (20).

Обсуждение

Применение предлагаемого алгоритма в I варианте обоих случаев приводит к задаче, подобной исходной задаче с меньшим числом варьируемых переменных. Вариант II соответствует алгоритмам классического симплекс-метода.

Пример. Требуется максимировать функцию Ь= 4х* +2*5 -Х6 при ограничениях

X

1

•1

X

^а +16; 0<*i<

-4х* +2*б =0

-8*4 +2*5 + *6 =1 \ -4.1-3 - 2*е =1

I, /=16 .

Прямое применение симплекс-метода из-за наличия ограничений на переменние*г не представляется возможным.Задачу можно свести к каноническому виду введением дополнительны 6 переменных.Однако и после такого преобразования задачу не удается решить симплекс-методом.Использование метода внутренней точеки[4] в качестве решения выдает

Х°НЛЛ Д1)

при этом

L (^о) =о,5.

Нетрудно проверить, что

* = (0,1,1„,1) удовлетворяет всем огранечениям в задаче и

Такое решение дает использование пакета программ QSB за 6 итераций. Предлагаемая в данной работе методика приводит к решению за 4 итерации.

Литература

1.Федоренко Р. П. Приближенное решение задач оптимального управления.-М.: Наука, 1978.

2. Габасов Р., Кириллова Ф.М. Методы линейного программирование^.! Общие задачи. -Минск: Издательство БГУ, 1977.

3. Сеисов Ю. Б. , Гелдиев Х. А. Выход из вырожденного режима в линейном программировании.Научно-исследовательские практики современности:сб.научн. трудов.-Ростов-на-Дону: Научноесотрудничество,2011.-151-167стр.

4.Ferris, M.C., Mangasarian, O.L.,Wrigt S.J.(2007), 'Linear Programming with MATLAB', MPS - SIAM Series on Optimization, 67-69.

i Надоели баннеры? Вы всегда можете отключить рекламу.