Задача квадратичного программирования с параметром в правых частях ограничений и ее применение при формировании портфеля ценных бумаг


	Загрузить архив:
	Файл: 630-0004.zip (104kb [zip], Скачиваний: 28) скачать

Реферат

Дипломная работа содержит 78 страниц, 2 приложения, 1 рисунок.

Список ключевых слов: программирование, квадратичное, параметрическое.

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

Содержание

TOC o "1-3" 1. Введение........................................................................................................................................................ GOTOBUTTON _Toc379719392PAGEREF _Toc379719392 4

2.Аналитический обзор........................................................................................................................... GOTOBUTTON _Toc379719393PAGEREF _Toc379719393 9

3. Теоретическая часть........................................................................................................................ GOTOBUTTON _Toc379719394PAGEREF _Toc379719394 11

3. Задача квадратичного программирования (непараметрический случай)....................... GOTOBUTTON _Toc379719395PAGEREF _Toc379719395 11

3.1 Постановка задачи:.............................................................................................................................. GOTOBUTTON _Toc379719396PAGEREF _Toc379719396 11

3.2 Условия оптимальности в задаче (3.2)....................................................................................... GOTOBUTTON _Toc379719397PAGEREF _Toc379719397 12

3.3. Базис задачи квадратичного программирования. Оптимальный и невырожденныйбазисы. GOTOBUTTON _Toc379719398PAGEREF _Toc379719398 15

3.4. Метод субоптимизации на многообразиях. Выпуклый случай....................................... GOTOBUTTON _Toc379719399PAGEREF _Toc379719399 18

3.5 Метод субоптимизации на многообразиях. Задача квадратичного программирования. GOTOBUTTON _Toc379719400PAGEREF _Toc379719400 26

3.6. Метод субоптимизации на многообразиях в задаче квадратичного программирования. Теоретическое обоснование..................................................................................................................................................... GOTOBUTTON _Toc379719401PAGEREF _Toc379719401 34

3.7. Вычислительная схема алгоритма субоптимизации для задачи квадратичного программирования. GOTOBUTTON _Toc379719402PAGEREF _Toc379719402 44

3.8. Некоторые особенности вычислительной схемы метода субоптимизации на многообразиях для задачи квадратичного программирования........................................................................................................ GOTOBUTTON _Toc379719409PAGEREF _Toc379719409 47

4. Задача квадратичного программирования с параметром в правых частях ограничений. GOTOBUTTON _Toc379719411 PAGEREF _Toc379719411 51

4.1 Постановка задачи................................................................................................................................... GOTOBUTTON _Toc379719412PAGEREF _Toc379719412 51

4.2 Некоторые свойства решения параметрической задачи квадратичного программирования. GOTOBUTTON _Toc379719413PAGEREF _Toc379719413 51

4.3 Применение метода субоптимизации на многообразиях к решению параметрической задачи квадратичного программирования........................................................................................................................................ GOTOBUTTON _Toc379719414PAGEREF _Toc379719414 54

5.Экономическая часть........................................................................................................................ GOTOBUTTON _Toc379719415PAGEREF _Toc379719415 56

6.Библиография........................................................................................................................................... GOTOBUTTON _Toc379719416PAGEREF _Toc379719416 63

7.Приложение 1..................................................................................................................65

8.ПРиложение 2..................................................................................................................67

9.рисунок 1...........................................................................................................................78

1. Введение

В настоящей работе рассматривается применение метода субоптимизации на многообразиях к решению задачи квадратичного программирования с параметром в правых частях ограничений.

Метод субоптимизации на многообразиях, предложенный У.Зангвиллом в 1968 году для решения задач выпуклого программирования представляет собой простую процедуру поиска оптимальной точки в задаче выпуклого программирования с ограничениями типа равенств. Метод использует подход, названный автором "выделением активных ограничений", сводящий исходную задачу выпуклого программирования к определенным образом строящейся последовательности вспомогательных задач выпуклого программирования.

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

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

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

В силу этого становится возможным создание рекуррентных формул, связывающих матрицы системы линейных уравнений соседних вспомогательных задач.

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

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

Доказаны теоремы, составляющие теоретический фундамент алгоритма, приведено доказательство сходимости предложенной вычислительной процедуры.

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

В силу того, что решение параметрической задачи квадратичного программирования с параметром в правых частях ограничений оказывается кусочно-линейной функцией, исходная задача сводится к покрытию области допустимых значений параметра отрезками, на которых функция решения линейна по параметру с постоянными коэффициентами, зависящими только от значения функции в левой точке отрезка.

Показано, что такое разбиение состоит из конечного числа отрезков, и конечного числа точек переключения траектории решения.

Построение такого покрытия в худшем случае эквивалентно решению конечного числа задач квадратичного программирования без параметра в точках переключения траектории. Показаны подходы к построению процедуры перестройки решения в точках переключения траектории без необходимости полного решения задачи квадратичного программирования путем сведения ее к одной или нескольким итерациям метода субоптимизации на многообразиях.

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

Составлена и отлажена программа на языке С++, функционирующая в среде операционных систем UNIX (AIX, Solaris) а также Microsoft Windows, реализующая описанные алгоритмы. Указанная программа применена к решению задачи о поиске оптимальных инвестиций в задаче о портфеле ценных бумаг, данные решения и текст программы приведен в приложениях.

Указаны возможные пути упрощения процедуры поиска решения задачи квадратичного программирования с параметром в правых частях ограничений путем отказа от решения задачи квадратичного программирования в точках переключения траектории.

2.Аналитический обзор

Для решения задач выпуклого программирования с линейными ограничениями могут применяться различные методы решения. Для построения таких методов используется как правило подход, предполагающий задачу квадратичного программирования в известном смысле расширением задачи линейного программирования.

Результатом применения такого подхода является группа методов основанных на простроении аппроксимации исходной квадратичной задачи последовательностью задач линейного программирования, а также различные обобщения линейного симплекс-метода на случай выпуклой функции-критерия.

Рассматриваемый в данной работе метод субоптимизации на многообразиях представляет собой результат совсем иного подхода к решению задачи квадратичного программирования. Процедура метода субоптимизации строится для более общего класса задач выпуклого программирования, причем указывается класс задач, для которых этот метод оказывается достаточно эффективным.

При этом задача квадратичного программирования оказывается частным случаем задачи выпуклого программирования, для которой метод субоптимизации позволяет свести решение исходной задачи к решению конечного числа систем линейных уравнений.

3. Теоретическая часть

3. Задача квадратичного программирования (непараметрический случай).

3.1 Постановка задачи:

Задачей квадратичного программирования будем называть задачу следующего вида:

(3.1.1)

здесь x-вектор столбец размера n, C- вектор-строка размера 1´n, D - матрица размера n´n, симметричная и неотрицательно определенная (D³0). b - столбец длины m. A - матрица размера m´n, ранг ее равен m (R(A)=m).

Имеет место также условие неотрицательности компонентов вектора x:

x ³ 0.

Поскольку наличие компонента Cx не оказывает существенного влияния на результаты, изложенные в настоящей работе, будем без ограничения общности предполагать вектор C нулевым. В такой постановке задача принимает вид:

(3.1.2)

В данной постановке задача квадратичного программирования всегда имеет оптимальный вектор, и является задачей выпуклого программирования с линейнымиограничениями типа равенств.

3.2 Условия оптимальности в задаче (3.2)

Условия оптимальности в задаче (3.2) представляют собой формулировкуусловий Куна-Таккера для этой задачи. Будем рассматривать следующую формузаписи условий Куна-Таккера для задачи выпуклого программирования:

(3.2.1)

В нашем случае получим:

(3.2.2)

Здесь A_i- столбцы матрицы A длины m, D_i столбцы матрицы D длины n,L_k - строки матрицы A длины n, e^j - n-мерные столбцы единичной матрицы. Здесьи далее x_i - компоненты оптимального вектора задачи x, l_k и D_k- множителиЛагранжа условий Куна-Таккера. Запишем систему 3.2.2 в более обобщенной форме:

(3.2.3)

где составные столбцы P0, ... Pm+2n каждый длиной m+n являютсястолбцами блочной матрицы P, имеющей следующий вид:

(3.2.4)

В таком виде условия Куна-Таккера (3.2.3) можно записать в еще болеепростом виде:

(3.2.5)

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

3.3. Базис задачи квадратичного программирования. Оптимальный и невырожденныйбазисы.

Поскольку ранг матрицы A равен m (см 3.1), система векторов

являютсялинейно независимой системой векторов. В то же время, легко видно, что линейнаяоболочка, натянутая на систему векторов P совпадает с пространством E_m+n,т.е L(P)=E_n+m.

Следовательно из системы векторов 3.2.4 можно образоватьконечное число базисов N евклидова пространства E_n+m,содержащих в себе векторыP₁, .. P_m. Такие базисы пространства E_n+m будем называть базисами задачиквадратичного программирования, и обозначать следующим образом:

(3.3.1)

Для упрощения схемы алгоритма, запишем базис (3.3.1) в следующем виде:

(3.3.2)

Здесь Á₁ и Á₂ - наборы индексов. В случае, если Á₁=Á₂ будем считатьбазис U_Á_1,_Á₂порожденным одним множеством индексов Á=Á1.

(3.3.3)

Коэффициенты разложения вектора b по базису U_Á_1,_Á₂ будем называть базиснымипеременными, остальные коэффициенты - небазисными переменными.

Базис U_Á_1,_Á₂ назовем оптимальным, если его базисные переменные удовлетворяют условиям Куна-Таккера (3.2.3).

Базис называется невырожденным, если все его базисные переменные, соответствующие компонентам вектора x отличны от нуля, т.е.

(3.3.4)

Задачу (3.1.2) будем называть невырожденной, если все ее базисы невырождены. В противном случае назовем задачу вырожденной.

3.4. Метод субоптимизации на многообразиях. Выпуклый случай.

Для решения задачи (3.1.2) предлагается использовать метод

субоптимизации на многообразиях. Вначале рассмотрим основные идеи, приводящие к методу субоптимизации в случае задачи выпуклого программирования общего вида.

Рассмотрим задачу выпуклого программирования с линейными ограничениями, состоящую в минимизации выпуклой функции f(x) на множестве L, задаваемом ограничениями типа равенств.

(3.4.1)

Предположим, что задача имеет единственное решение, т.е минимум целевой функции достигается в единственной оптимальной точке x^*. В этом случае задаче (3.4.1) эквивалентна задача:

(3.4.2)

Эквивалентность этих двух задач является следствием единственности решения. Переход к задаче (3.4.2) называется выделением активных ограничений, т.е. вместо условия неотрицательности всех переменных, мы переходим к условию равенства нулю всех компонент, решения, индексы которых не принадлежат множеству Á(x*).

Предположим, что для задачи (3.4.2) нахождениеоптимального решения существенно проще, чем для исходной задачи (3.4.1). В этом случае, перебирая каким-либо образом всевозможные множества индексов Á^k, являющиеся подмножествами полного набора индексов {1,..n}, и решая для каждого из них задачу (3.4.2), используя Á^k вместо Á^*, определить искомое множество индексов Á^*.

Предположим также, что задача (3.4.2) обладает свойством

единственности, т.е система векторов {L₁, .. L_m, e_j (jÎ Á(x*)}- линейно независима. В случае нарушения свойства единственности задача поиска оптимального вектора задачи (3.4.2) усложняется, и в дальнейшем этот случай рассматриваться небудет.

Алгоритм перебора множеств индексов Á^kоснован на следующей лемме.

Основная лемма:

Пусть x^*является оптимальной точкой задачи:

(3.4.3)

где X_Á - линейное многообразие, определяемое следующим образом:

(3.4.4)

Предположим, что задача (3.4.3) с условием (3.4.4) обладает свойствомединственности, и среди D_j, удовлетворяющих условиям Куна-Таккера существуетотрицательное D_j0, т.е.

(3.4.5)

Пусть Á^' - множество индексов, полученное из Áвычитанием индекса j₀:

(3.4.6)

Тогда, если x^*' - оптимальный вектор задачи

(3.4.7)

то справедливо неравенство:

f(x^*')*)

(3.4.8)

Доказательство.

Так как в силу выполнения соотношения (3.4.6) и определения множеств X_Áи X_Á_'вытекает, что X_Á_'É X_Á то имеет место неравенство f(x^*') £ f(x^*). Следовательно длядоказательства соотношения (3.4.8) достаточно показать, что f(x^*') ¹ f(x^*).

Предположим, что это не так. Тогда точка x^* являетсяоптимальной длязадач (3.4.3) и (3.4.7), и удовлетворяет условиям Куна-Таккера в обоих задачах:

(3.4.9)

(3.4.10)

Добавим в правую часть равенства (3.4.10) член 0e_j0. Поскольку, по предположению (3.4.5) леммы коэффициент D_j0 отличен от нуля, получаем разложение вектора градиента функции f по системе векторов {L₁, .. L_m, e_j (jÎ Á(x*)}. Получаем противоречие с условием единственности, а стало быть, и с условием основной леммы.

Доказанная лемма указывает направление перебора множеств индексов Á^k(а стало быть и многообразий), уменьшающее значение целевой функции f(x).

Из доказанной леммы вытекает

Алгоритм поиска оптимального вектора

Общий вид алгоритма метода субоптимизации для задачи выпуклого программирования приведен на рис. 1. Ниже приводятся описания блоков алгоритма, изображенных на этом рисунке.

Блок 1. Определяется допустимая начальная точка x¹для исходной задачи. Это может быть точка, получаемая с помощью алгоритма построения начального базиса линейного симплекс-метода, или же решение в некотором смысле близкой линейной задачи. Предполагается Á¹=Á(x¹), k=1.

Блок 2. Находится оптимальный вектор x^*k для задачи

Если x^*k оказывается допустимой для исходной задачи (3.4.1), совершается переход к блоку 3, в противном случае осуществляется переход к блоку 4.

Блок 3. Вычисляется значение

Если

то в силу выполнения условий Куна-Таккера для исходной задачи (3.4.1) точка x^*kявляется оптимальной точкой задачи (3.4.1) и работа алгоритма заканчивается.

Если

то предполагаем

и происходит переход к блоку 2.

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

Далее полагаем Á^k+1=Á(x^k+1), заменяем kна k+1, и переходим к блоку 2.

Таким образом построен итерационный процесс, позволяющий осуществить направленный перебор множеств индексов Á^k, позволяющий найти оптимальный вектор исходной задачи. Сходимость процедуры будет рассмотрена позже.

3.5 Метод субоптимизации на многообразиях. Задача квадратичного программирования.

Рассмотрим применение метода субоптимизации, рассмотренного в (3.4)к задаче квадратичного программирования (3.1.2). Как было ранее отмечено, условием успешного применения метода субоптимизации на многообразиях в задаче выпуклого программирования является существенная простота решения задачи (3.4.2) по сравнению с исходной задачей (3.4.1).

Рассмотрим эквивалентную (3.1.2) задачу:

(3.5.1)

Запишем условия Куна-Таккера для задачи (3.5.1) с произвольным набором индексов Á:

(3.5.2)

Используя ранее введенные обозначения (3.2.3-3.2.4), систему условий Куна-Таккера (3.5.2) можно записать следующим образом:

(3.5.3)

Если множество U_Áпорождает базис, вследствие (3.5.3) поиск минимума на многообразии X_Áпредставляет собой разложение вектора P₀по этому базису, т.е. эквивалентен решению системы линейных уравнений. Таким образом, метод субоптимизации на многообразиях в случае задачи квадратичного программирования оказывается эффективнымв том случае, если в цепочке итерационного процесса встречаются только множества индексов, порождающие базисы.

Процедура метода строится на двух основных операциях, аналогичных блокам общего алгоритма субоптимизации на многообразиях для задачи выпуклого программирования.

Операция А.Пусть для некоторого набора индексов Á₀ определена оптимальная точка x^* и множители Лагранжа l^*_k и D^*_jудовлетворяющие условиям Куна-Таккера совместно с оптимальным вектором x. Рассмотрим вспомогательное многообразие

(3.5.4)

Операция А состоит в нахождении оптимального вектора x^*(q),а также множителей Лагранжа, удовлетворяющих условиям Куна-Таккера задачи минимизации квадратичного функционала на многообразии (3.5.4).

Запишем условия Куна-Таккера для этой вспомогательной задачи:

Если набор индексов Á₀порождает базис, то существует разложение вектора P_m+j0по этому базису, имеющее следующий вид:

(3.5.6)

Подставляя это разложение в (3.5.5), и учитывая оптимальность набора x^*,l^*,D^*, получаем следующие выражения для компонент оптимальной точки на многообразии (3.5.4):

(3.5.7)

Таким образом, в случае, если набор индексов Á₀порождает базис, операция А осуществляется тривиально, и определяется выражениями (3.5.7).

Суть операции А состоит в нахождении оптимальной точки на новом многообразии (3.5.4) по известной оптимальной точке на многообразии (3.4.4).

Операция Б. Пусть некоторое вспомогательное многообразие X_Á₀(q₁) таково, что одна из базисных компонент вектора xобратилась в ноль:

(3.5.8)

Суть операции Б состоит в переходе от многообразия X_Á₀(q₁) к другому многообразию X_Á₁, соответствующему набору индексов Á₁, определяемому следующим образом:

(3.5.9)

т.е. индекс j₀из (3.5.4) заменяется на индекс r из (3.5.8).

Учитывая (3.5.8), разложение (3.5.5) на многообразии X_Á₀ можно представить следующим образом:

(3.5.10)

Аналогично случаю, рассмотренному в операции А, что, если имеет место разложение:

(3.5.11)

причем выполнено соотношение

(3.5.12)

то условиям Куна-Таккера для задачи (3.5.1) соответствующей набору индексов Á₁ , удовлетворяют переменные, получаемые с помощью следующих формул:

(3.5.13)

где

(3.5.14)

Учитывая вышеописанные условия, операция Б оказывается осуществимой в том случае, когда наборам индексов Á₀ и Á₁ соответствует базис U_Á_1,_Á₀ . Операция Б является аналогом блока 4 общей схемы метода субоптимизации на многообразиях для задачи выпуклого программирования.

Для большей наглядности можно определить множество L_Á_1,_Á₀представляющее собой прямую, порождаемую базисом U_Á_1,_Á₀ следующего вида:

(3.5.15)

Здесь - коэффициенты разложения вектора P₀, а x_ir- вектора P_m+n+rпо базису U_Á_1,_Á₀. Заметим, что L_Á_1,_Á₀(0) есть оптимальный вектор многообразия (3.5.4) при q=Переход от этой точки к новому многообразию с помощью операции Б представляет собой движение по указанной прямой от дельта равного нулю в положительную (как будет показано позже) сторону.

3.6. Метод субоптимизации на многообразиях в задаче квадратичного программирования. Теоретическое обоснование.

Заметим, что если множество индексов Á порождает базис U_Á , то задача(3.5.1), соответствующая этому множеству индексов имеет единственный оптимальный вектор x^*, обладая при этом свойством единственности, введенным ранее для задачи выпуклого программирования.

Выше были описаны вспомогательные задачи метода субоптимизации на многообразиях, однако не были сформулированы правила применения этих операций. Ниже будут доказаны две теоремы, дающие способ определения неизвестных шагов qи d. Для их доказательства потребуется несколько вспомогательных утверждений.

Лемма 1.Пусть вектора x⁰, x¹удовлетворяют системе уравнений условий Куна-Таккера и пусть f(x) - неотрицательно определенный квадратичный функционал вида x^TDx,а D¹ вектор ограниценных по знаку множителей Лагранжа, удовлетворяющих условиям Куна-Таккера совместно с вектором x¹ . Тогда имеет место следующее неравенство:

(3.6.1)

Доказательство:

Преобразуем левую часть следующим образом:

Здесь можно воспользоваться условием выполнения теоремы Куна-Таккера:

Требуемое неравенство непосредственно вытекает из последнего соотношения.

Следствие. Пусть x⁰, x⁰(q) - оптимальные точки задачи (3.5.1) с некоторым множеством индексов Á и вспомогательной задачи поиска минимума на многообразии (3.5.4). Тогда имеет место неравенство:

Доказательство. Так как x⁰, x⁰(q)удовлетворяют условиям Куна-Таккера, то выполняется неравенство Леммы 1:

В силу особенностей решений x⁰, x⁰(q)правую часть неравенства можно записать в виде

что и доказывает справедливость следствия.

Лемма 2. Пусть x⁰, x¹ - оптимальные точки многообразий X_Á₀ и X_Á₁ соответственно, удовлетворяющие условиям Куна-Таккера совместно с множителями Лагранжа D⁰и D¹. Тогда справедливо соотношение:

Доказательство: Аналогично доказательству Леммы 1, получаем, что:

Складывая эти два равенства, получаем:

Из выполнения условий Куна-Таккера следует, что:

Раскрывая скобки в левой части неравенства получаем искомое неравенство.

Ниже будет доказана теорема, дающая направление движения и условия применения операции А.

Теорема 1. Пусть оптимальная точка x⁰ - оптимальная точка многообразия X_Á₀ , причем совокупность индексов Á₀ порождает базис U_Á₀ . Тогда, если среди множителей Лагранжа, соответствующих x⁰ , существует отрицательный (предположим, что он имеет индекс j₀)

то новый набор индексов

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

Доказательство. Если для набора индексов существует оптимальный вектор

с другой стороны, в силу условия единственности,

Итак, если оптимальная точка на новом многообразии существует, то доказываемое неравенство верно. Существование же оптимальной точки вытекает из того факта, что новый набор индексов порождает базис. Это так, если коэффициент D_j₀_j0 в разложении (3.5.6) не равен нулю.

Предположим, что этот коэффициент равен нулю. В этом случае, в силу следствия из леммы и условия отрицательности D_j₀ квадратичный функционал f(x) оказывается отрицательно определенным. Теорема доказана.

Теорема 1 указывает направление движения по многообразиям с помощью операции А. Переход от многообразия X_Á₀ к многообразию осуществляется с помощью движения по многообразиям X_Á₀(q) при возрастании q от нуля до некоторой величины

В силу вида нового множества индексов величина q₀ определяется из условия обращения в ноль соответствующего множителя Лагранжа:

Сформулируем и докажем аналогичную теорему для операции Б:

Теорема 2. ПустьÁ₀ и Á₁ наборы индексов, порождающие базис U_Á_1,_Á₀ , такие, что:

причем в разложении

(3.6.2)

коэффициент

существует оптимальный вектор 3.5.1), причем такой, что он не является допустимым для исходной задачи (3.1.2), т.е.

Тогда, если x¹ - оптимальная точка задачи (3.5.1) на многообразии X_Á₁ , то Á₁ порождает базис U_Á₁ , а оптимальная точка x¹ принадлежит прямой (3.5.15):

(3.6.3)

Доказательство. Разложим вектор P₀по базису U_Á₁ , а вектор P_m+n+r по базису U_Á_1,_Á₀ :

подставляя второе выражение в первое, и учитывая определение прямой (3.5.15) получаем очевидное следствие:

Кроме того, учитывая разложение (3.6.2),получаем, что

(3.6.4)

А согласно лемме 2, имеем:

Отсюда и из условия теоремы следует, что

Отсюда и из (3.6.4) вытекает доказываемое неравенство. Кроме того, из (3.6.4) также следует отличие от нуля коэффициента U_Á₁ . Это доказывает второе утверждение теоремы.

Теорема 2 указывает направление перехода от одного многообразия к другому с помощью операции Б, утверждая положительность величины шага d₁ .

3.7. Вычислительная схема алгоритма субоптимизации для задачи квадратичного программирования.

Ранее (см 3.4) была приведена общая схема алгоритма субоптимизации на многообразиях для случая задачи выпуклого программирования и получена блочная структура алгоритма. Конкретизируем теперь структуру блоков для случая задачи квадратичного программирования.

Блок1.

Определяется начальный набор индексов Á₁ , порождающий базис U_Á₁ , для которого оптимальная точка задачи (3.5.1) является одновременно допустимой для исходной задачи (3.1.2). Такая точка в [2] называется дополняющей.

В кочестве начального множества индексов можно взять начальный базис, получаемый в ходе решения первой фазы двухфазного симплекс-метода, или же решение задачи линейного программирования, близкой к решаемой квадратичной:

Блок 3.Блок полностью идентичен приведенному ранее в описании алгоритма субоптимизации на многообразиях для задачи выпуклого программирования.

Блок 2. В данном блоке определяется решение вспомогательной задачи (3.5.1). Способ определения решения зависит от предыдущего блока алгоритма:

Блок 2(А). Эта часть блока вступает в действие после блока 3. Оптимальный вектор задачи (3.5.1) находится с помощью операции А. Если полученный оптимальный вектор допустим для исходной задачи (3.1.2), осуществляется переход в блок 3. В противном случае осуществляется переход в блок 4.

Критерием выбора следующего шага является сравнение двух величин:

Первая величина задает момент обращения в ноль выбранной минимальной величины D_j0 , вторая величина задает момент обращения в ноль первой из базисных компонент вектора x. Если вторая величина оказывается меньше первой, это означает, что новое решение задачи (3.5.1), полученное в результате операции А, не является допустимым для исходной задачи (3.1.2), и необходим переход в блок 4.

Блок 2(Б). Эта часть блока вступает в действие после блока 4. В этом блоке минимум в задаче (3.5.1) находится с помощью операции Б. Если получаемое решение оказывается допустимым для исходной задачи (3.1.2), то осуществляется переход в блок 3. В противном случае осуществляется переход в блок 4.

Критерием выбора следующего шага в этой части блока является сравнение двух величин:

Блок 4. Этот блок полностью соответствует соответствующему блоку в общем алгоритме субоптимизации на многообразиях для задачи выпуклого программирования.

3.8. Некоторые особенности вычислительной схемы метода субоптимизации на многообразиях для задачи квадратичного программирования.

В этой части будет рассмотрен вычислительный аспект процедуры субоптимизации и показаны некоторые ее замечательные свойства.

Выше было показано, что решение каждой вспомогательной задачи метода субоптимизации сводится к поиску разложения некоторого вектора R размерности (m+n) по базису U_Á₁_,_Á₂ ; при этом на соседних итерациях базисы отличаются лишь каким-то одним из векторов.

Как было показано выше, существуют четыре возможных альтернативы при переходе от одного базиса к другому, задающие четыре типа операций:

1. От U_Á₁ к U_Á₂ (Á₂=Á₁ j₀ ) при помощи замены в базисе вектора P_m+n+j0 на P_m+j0.

2. От U_Á₁ к U_Á₂_,_Á₁ (Á₂=Á₁ j₀ U r) при помощи замены в базисе вектора P_m+r на P_m+j0.

3. От U_Á₂_,_Á₁ (Á₂=Á₁ j₀ U r) кU_Á₂при помощи замены в базисе вектора P_m+n+j0 на P_m+n+r.

4. От U_Á₂_,_Á₁ (Á₂=Á₁ j₀ U r) кU_Á₂_',_Á₂_' (Á'₂=Á₂ U r',Á'₁=Á₁ U r' ) при помощи замены в базисе вектора P_m+r на P_m+n+r'.

Процедура разложения вектора R по базису эквивалентна решению системы линейных уравнений вида

где B - базисная часть матрицы P (то есть матрица, составленная из столбцов матрицы P, соответствующих векторам данного базиса).Решение уравнения есть процедура, эквивалентная обращению матрицы B.

Из общего вида матрицы P(3.2.4)можно получить общий вид матрицы B,которая также имеет блочную структуру следующего вида:

Можно показать, что

Видно, что зная матрицу S₁^-1 можно легко получить значение матрицы B^-1 . Используя общий вид переходов, а также их общее свойство, сводящееся к замене одного вектора на другой, можно применить для нахождения S₁^-1 известную формулу Фробениуса, и получить рекуррентные формулы, связывающие матрицы S₁^-1 на соседних итерациях. Это позволяет избежать непосредственного обращения матрицы на каждом шаге алгоритма, прибегая к нему через определенный промежуток времени с целью коррекции накопившейся ошибки вычисления.

4. Задача квадратичного программирования с параметром в правых частях ограничений.

4.1 Постановка задачи

Задачей параметрического квадратичного программирования с параметром в правых частях ограничений будем называть следующую задачу выпуклого программирования:

(4.1.1)

Требуется найти вектор-функцию x^*(m) , минимизирующую целевую функцию при каждом m . Интервал изменения параметра может быть и неограниченным.

4.2 Некоторые свойства решения параметрической задачи квадратичного программирования.

Пусть получено решение задачи (4.1.1) при некотором значении параметра, равном m₀ . Это означает, что получен вектор x^*(m₀) , а также набор индексов Á(m₀) , и порожденный им оптимальный базис. Рассмотрим множество таких m , для которых это решение остается оптимальным и допустимым. Для этого запишем условия Куна-Таккера:

(4.1.2)

Как следует из постановки задачи, правую часть выражения (4.1.2) можно представить в следующем виде:

(4.1.3)

Разложив вектор R по указанному базису, и подставив это разложение в (4.1.3), получим следующие выражения для коэффициентов разложения (4.1.2):

(4.1.4)

Здесь R по базису. Условием нарушения оптимальности решения является факт обращения в ноль одного из неотрицательных коэффициентов (4.1.4). Отсюда следует, что интервал, на котором исходное решение является оптимальным, является отрезком следующего вида:

(4.1.5)

где

(4.1.6)

(4.1.7)

Из выражений (4.1.4) вытекает также тот факт, что на интервалах (4.1.5) вектор-функция x^*(m) представляет собой отрезок прямой в пространстве Eⁿ , и является линейной. Стало быть, значения целевой функции на интервале представляют собой параболу.

4.3 Применение метода субоптимизации на многообразиях к решению параметрической задачи квадратичного программирования.

Непосредственно из вышеизложенного следует алгоритм решения задачи квадратичного программирования с параметром в правых частях ограничений:

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

2. С помощью формул (4.1.6-4.1.7) определяется интервал на котором полученное решение остается оптимальным.

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

5.Экономическая часть

Рассмотрим применение описанной теории к задаче определения оптимального портфеля ценных бумаг. Сформулируем задачу:

Имеется nвидов ценных бумаг, имеющих доходности выражающиеся случайными величинами a.

Покажем, что указанную задачу можно свести к задаче математического программирования:

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

Очевидно, что характеристики этой случайной величины зависят от решения финансиста, и что эта величина распределена по нормальному закону:

Чтобы перейти от задачи максимизации к задаче минимизации, запишем необходимую нам функцию распределения следующим образом:

Запишем функцию квантили уровня a для этой функции распределения:

При заданном уровне a нам требуется минимизировать эту функцию, тем самым, максимизируя искомый доход R.

Для этого заметим, что случайная величина (-R) распределена также по нормальному закону с параметрами

Следовательно, можно заключить, что:

Обозначим a , т.е. решение уравнения

Учитывая монотонность функции Лапласа, неравенство можно записать в следующем виде:

Отсюда можно легко получить выражение, дающее ключ к виду функции квантили:

Учитывая определение функции квантили:

получаем

Характеристики распределения случайной величины R выглядят следующим образом:

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

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

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

Тогда задачу можно записать в следующем эквивалентном виде:

При каждом фиксированном значении параметра данная задача может быть сформулирована следующим образом:

Это задача квадратичного программирования с параметром в правой части ограничений. Решая эту задачу для каждого значения параметра получаем значения функции

Таким образом исходная задача сводится к последовательному решению двух задач - задачи квадратичного программирования с параметром в правой части ограничений и задаче одномерной оптимизации.

6.Библиография

1. Бахшиян Б.Ц., Назиров Р.Р, Эльясберг П.Е. Определение и коррекция движения (гарантирующий подход) - М.: Наука, 1980.

2. Зангвилл У.И. Нелинейное программирование. Единый подход. - М.: Советское Радио, 1973.

3. Муртаф Б. Современное линейное программирование. - М.:Мир, 1984.

4. Пропой А.И., Ядыкин А.Б. Параметрическое квадратичное и линейное программирование. - Автоматика и телемеханика, 1978, т.12, NN 2,4.

5. Хедли Дж. Нелинейное и динамическое программирование. - М.: Мир, 1967.

6. Ядыкин А.Б. Параметрический метод в задачах квадратичного программирования с вырожденной квадратичной формой. - Журнал вычислительной математики и математической физики, 1975, т.8, N4.

7. Boot J. Quadratic Programming. - Amsterdam: North-Holland Publ. Co., 1964.

8. Van de Pann C. Methods for Linear and Quadratic Programming. - Amsterdam: North-Holland Publ. Co., 1975.