УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА. СЕРИЯ ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
2018, Т. 160, кн. 4 С. 718-730
ISSN 2541-7746 (Print) ISSN 2500-2198 (Online)
УДК 519.6
МЕТОД ПОКООРДИНАТНОГО СПУСКА ДЛЯ ЗАДАЧИ РЫНОЧНОГО РАВНОВЕСИЯ С ЦЕНОВЫМИ ГРУППАМИ
О.В. Пинягина
Казанский (Приволжский) федеральный университет, г. Казань, 420008, Россия
В работе рассматривается модель рыночного равновесия с ценовыми группами в форме вариационного неравенства для однопродуктового рынка бесконечно делимого продукта. Предполагается, что каждый участник рынка может разбить множество своих контрагентов на непересекающиеся группы и для каждой группы назначить отдельную ценовую функцию. Для рассматриваемой модели сформулированы и доказаны условия равновесия. Сформулированы и обоснованы условия существования решения задачи, опирающиеся на свойство коэрцитивности.
Для модели рыночного равновесия е ценовыми группами, в которой ценовые функции для каждой группы зависят только от объема покупок/продаж в данной группе, предложен метод покоординатного спуска для отыскания равновесных состояний, доказана его сходимость. Предварительные тестовые расчеты подтверждают эффективность предложенного метода по сравнению с методом проекции градиента.
Ключевые слова: модель рыночного равновесия, ценовые группы, метод покоординатного спуска
Напомним модель рыночного равновесия в виде вариационного неравенства, предложенную для аукционов в [1] и развитую далее в ряде работ (см., например, [2-4]). Будем рассматривать ее простейший вариант - однопродуктовый рынок бесконечно делимого продукта без ограничений (кроме неотрицательности) на объемы покупок и продаж.
Обозначим через I и . конечные множества индексов продавцов и покупателей. Для каждого продавца г € I имеется некоторая неперерывная ценовая функция дг, а величина предложения хг должна быть неотрицательной. Аналогично, для каждого покупателя ] € . имеется некоторая неперерывная ценовая функция Н, а величина спроса у^ должна быть неотрицательной. В общем случае ценовые функции могут зависеть от всех величин спроса-предложения.
Допустимое множество задачи представлено уравнением баланса и условиями неотрицательности:
Условие равновесия для этой задачи выглядит следующим образом. Вектор спроса-предложения V* = (х* ,у*) € Ш представляет собой точку равновесия,
Аннотация
Введение
если существует такое число р* , что
9г(™*)
> р*, если х* = 0, = р*, если х* > 0
(1)
Н (т*)
(2)
< р*, если у* = 0, р*, если у* > 0. Величина р* представляет собой равновесную цену.
В работе [1] показано, что условия равновесия (1), (2) для некоторой точки т* € Ш выполняются тогда и только тогда, когда эта точка является решением следующего вариационного неравенства: найти точку т* € Ш такую, что
гет
т*)(хг - х*) - V Нэ(т*)(уэ - у*) > 0 Vт € Ш.
(3)
Таким образом, при решении задачи (3) требуется найти общие объемы покупок/продаж т* € Ш и равновесную цену р* > 0. Заметим, что в данной модели ничего не говорится о том, между какими конкретными продавцами и покупателями будут осуществляться сделки, поскольку все взаимосвязи здесь равноправны: для продавцов нет различия между покупателями и для покупателей не различаются продавцы. Поэтому на основе равновесной точки т* можно сформировать множество разнообразных планов поставок любым из многочисленных способов. А что делать в том случае, когда у участников рынка имеются какие-то предпочтения по выбору партнеров?
и
1. Модель рыночного равновесия с ценовыми группами
Будем считать, что для учета своих предпочтений каждый продавец г € I разбивает множество покупателей на тг непересекающихся групп. Обозначим эти группы через Мг8, в = 1,... ,тг. Для каждой группы каждого продавца введем ценовую функцию дг8. Аналогично, каждый покупатель ] € J разбивает множество продавцов на п непересекающихся групп. Обозначим эти группы через N¿1, Ь = 1,... ,п. Для каждой группы каждого покупателя введем ценовую функцию Н г. Заметим, что каждый продавец г входит в некоторую группу £ покупателя ] и наоборот, каждый покупатель ] входит в некоторую группу в продавца г. Иными словами, для каждого г € I и каждого ] € J найдется индекс в € {1,... ,тг} такой, что ] € Мг8, и индекс £ € {1,... ,пэ} такой, что г € N¿1.
Введем переменные хг8 - объем поставок г -го продавца в в-й группе покупателей, в = 1,... ,тг, г € I и у^г - объем покупок ]-го покупателя в £-й группе продавцов, £ = 1,... ,п, ] € J. Ценовые функции продавцов и покупателей, как и ранее, могут зависеть от всех объемов покупок/продаж.
Вариационное неравенство примет вид: найти точку т* € Ш такую, что
5252Ыт*)(хг8 - х*8)Мт*)(у^ - у* г) > 0 V т € Ш, (4)
гет 8=1 ¿ез г=1
где
Ш = < т = (х,у)
mi
ЕЕ;
гет 8=1
^ЕЕ yэt,
¿ез г=1 1, ... ,тг, г € I,
у^г > 0, £ = 1,. .., п, ] € J
г8 0, в
х
Данную задачу можно сформулировать и по-другому, если ввести новые переменные г^ - объемы поставок от г -го продавца з-му покупателю, г € I, з € 3. Старые и новые переменные связаны следующими соотношениями:
Хга г1з, в =1,..., Шг, г € I
(5)
Узг = ггу, Ь = 1,...,щ, з € 3.
геи, ь
Вариационное неравенство примет вид: найти точку г* € Z такую, что
Е - г*3) ^Е МЛ Е ^г? - г*-) > 0 Vг € Z, (6)
гет а=1 зез «=1 гем,ь
где
Z = {г | ггз > 0, г € I, з € 3} .
Здесь, как и ранее, дга, в = 1,..., шг, г € I, и Ь = 1,..., п^, з € 3, означают ценовые функции продавцов и покупателей соответственно.
При решении этой задачи находим объемы покупок/продаж г*, (г,з) € I х 3
и вектора равновесных цен 0(г*) и Н(г*) с размерностями шг и п^ соот-
ге1 зез
ветственно.
Очевидно, что если положить дга(ш) = дга(г), в = 1, .. ., шг, г € I и =
= Н^1(г), Ь = 1,... , з € 3, V € Ш, г € Z, то любое решение задачи (6) в силу соотношений (5) соответствует решению задачи (4). С другой стороны, каждому решению задачи (4) может соответствовать множество решений задачи (6).
В отличие от исходной задачи (3), где все равновесные цены сводились к одной величине, здесь могут получиться и разные значения.
Матрица поставок г* € Z представляет собой точку равновесия задачи (6) тогда и только тогда, когда для каждой пары (г,з), г € I, з € 3, существует такое число р^, з € Мга, г € , что
{> р*, если г* = 0,
I' (7)
= pij, если гij > 0
и
{< р*, если г* = 0,
* ' (8)
= рц, если >
Сформулируем условия равновесия (7), (8) более компактно, а также приведем для них формальное доказательство.
Предложение 1. Матрица поставок г * € Z представляет собой точку равновесия задачи (6) тогда и только тогда, когда для всех пар (г,з) € I х 3, з € Мга, г € Njt, выполняются условия
. > 0, если z* = 0, gls(z*) - hjt(z *' j ' (9)
= 0, если z* j > 0.
Доказательство. Пусть для некоторой матрицы z* G Z условия (9) выполняются. Покажем, что z* является решением задачи (6). Из условий (9) следует, что
(gis(z*) - hjt(z* ))z*j =0 У (i,j) G I x J, j G Mis, i G Nju (10)
(gis(z*) — hjt(z*))zij > 0 V(i,j) e I x J, j e Mis, i e Njt, Vz G Z. (11)
Просуммируем неравенства (11) по всем i,j и вычтем из них равенства (10), просуммированные по всем i,j. Получим основное выражение вариационного неравенства (6).
Пусть теперь некоторая матрица z * G Z является решением задачи (6). Покажем, что для z * условия (9) выполняются. Предположим обратное. Пусть найдется такая пара (k,l) e I x J,, l e Mkp, k e Nir, что gkp(z*) — hir(z*) < 0. Выберем произвольное число e > 0 и построим матрицу zE по следующему правилу:
{z*j + e, если i = к, j = l,
*
z* в остальных случаях.
Тогда
J2J2gis(z * )T,(zj — z* ) ^Е hjt(z* )YJ(ztj — z* ) = e(gkP(z * ) — hw (z * )) < 0. iei s=i jeJ jeJ t=i iei
Получили противоречие, поэтому для всех (г,]) € I х .1, ] € М^3, г € , выполняется условие д^3(г*) — ) > 0.
Предположим теперь, что найдется такая пара (к,1) € I х ., ] € М^р, г € , что г* 1 > 0 и дир(г*) — Ыг(г*) > 0. Выберем произвольное число е < г* 1 и построим
zE по следующему правилу:
zi j — e, если i = k, j = l,
£ j ij zij =
в остальных случаях.
Тогда
J2J2gis(z * )J2(z£j — z*j ) ^E hjt(z* )J2(z£j — z* ) = —e(gkp(z* ) — hw (z* )) < 0.
iei s=i jeJ jeJ t=i iei
Получили противоречие, поэтому для всех (г,]) € I х .1, ] € М^3, г € таких,
что г* > 0, выполняется равенство д^3(г*) — ) = 0. Утверждение доказано.
□
Следует отметить, что если для продавца какие-то покупатели являются нежелательными, он может назначить для их группы ценовую функцию с неприемлемо большими значениями. Аналогично, покупатель может собрать в группу нежелательных продавцов и связать с ней функцию с неприемлемо маленькими значениями. Таким образом, в одностороннем порядке можно запретить нежелательные взаимосвязи.
Поскольку допустимое множество задачи (6) неограничено, условия непрерывности ценовых функций недостаточно для существования решения. Для доказательства существования решения будем использовать подход из [3] и опираться на общие результаты о существовании решений нелинейных равновесных задач из [5].
Определение 1. Функция р : Кп ^ К называется слабо коэрцитивной по отношению к множеству и € Кп, если существует такое число 7, что множество и7 = {и € и | р(и) < 7} непусто и ограничено.
zij
Предложение 2 (см. теоремы 1 и 4 из [5]). Пусть и - непустое выпуклое замкнутое множество в пространстве Кп; Ф: и х и ^ К - равновесная функция, то есть Ф(и,и) = 0 для всех и € и; Ф(-,-у) полунепрерывна сверху для всех V € и, Ф^, ■) выпукла для всех ад € и. Пусть также существует выпуклая функция : Кп ^ К, слабо коэрцитивная по отношению к множеству и, и число р такое, что для любой точки ад € и \ ир найдется точка ад € и, ф(й) < у('ш) такая, что Ф(чл,и>) < 0. Тогда существует точка ад * € Ш такая, что
Ф(ад*,ад) > 0 Vад € Ш.
Будем также использовать условие коэрцитивности следующего вида:
(С1) Существует число р > 0 такое, что для любой точки г € Z и для всех I € . выполняется следующее условие
ni
Е
t=i
Vit >Р 3k е I, Zki > 0, l е Mkp, k е N¡r, gkp(z) > hir(z).
Теорема 1. Пусть функции gis для всех s = 1, 2,..., m,i, i G I, и hjt для всех t = 1, 2,. .. ,nj, j G J, непрерывны. Если выполняется условие (C1), то .задача (6) имеет решение.
Доказательство. Для доказательства данной теоремы покажем, что выполняются все условия предложения 2. Определим функцию
nj
¥(z) = maxE Vit,
■JEJ
t=1
которая, очевидно, является выпуклой и слабо коэрцитивной по отношению к множеству Z . Обозначим
Zp = {z G Z | ф) < p}, J(z) = \ l G J ?(z) = E Vit
^ t=i
Выберем любую точку z G Z \ Zp. По построению, для любого индекса l G J(z)
выполняется неравенство ^(z) yit > P. В силу (C1) для каждого l G J(z)
t=i
найдется индекс k G I такой, что zki > 0, l G Mkp, k G Nir, gup(z) > hir(z). Обозначим множество всех этих пар индексов (k,l) через С. Выберем
0 < е < min zа.
zij>0, J (i,j)eIxJ
Построим точку С по формуле
I zj — е, если (i,j) G С,
z
j ~ Л
\Zij в противном случае.
Очевидно, z е Z и ^(zz) < <p(z). Далее положим
mi nj
®(z,z) = ЕЕgis(z) E (Zií-Zij) -ЕЕj(z) E -Zij)
iei s=i jeMis jeJ t=i ieNjt
= (-£) E [gkp(ki)(z) - hir(ki)(z)] < 0.
(k,i)ec
Здесь р(к1) - номер группы продавца к, в которую входит покупатель I, г(к1) -номер группы покупателя I, в которую входит продавец к, для всех (к,1) € (С. Очевидно, что функция Ф(^,г) полунепрерывна сверху для всех г € Z, Ф(г, ■) выпукла для всех г € Z. Таким образом, все условия предложения 2 выполнены, следовательно, задача (6) имеет решение. Теорема доказана. □
Итак, задача (6) представляет собой обычное вариационное неравенство, но его специфические свойства позволили получить простой и эффективный метод, который будет рассматриваться в следующем разделе.
2. Метод покоординатного спуска
В дальнейшем будем рассматривать такие ценовые функции продавцов д^, которые зависят только от величин х^3, то есть от объема продаж продавца г € I в группе в = 1,...,Шъ, и ценовые функции покупателей которые зависят
только от величин то есть от объема покупок покупателя 3 € J в группе
г = 1,... ,Пу . Тогда эти функции являются интегрируемыми, и существуют функции
^гв(Хгв) = ! дга(т) Лт V г € I, в
0
Узь
1,
7зь(У]ь)= ! (т) 3,т V 3 € J, г
1,
В этом случае вариационное неравенство (6) представляет собой условие оптимальности для следующей оптимизационной задачи:
шт
ф(г) =
. г€Т я=1 зез г=1
пз
(12)
Таким образом, любое решение задачи (12) одновременно является решением задачи (6). Обратное утверждение верно, если, например, отображения О и — И являются монотонными.
Из условий равновесия (9) ясно видно, что при ненулевых объемах сделок гц в равновесной точке цены продавца и покупателя совпадают: дг3(г) = Нцг(г) для гц > 0, г € N31, 3 € М^3. Таким образом, если мы не достигли равновесного состояния, имеет смысл «выравнивать» отклонения в ценах, изменяя на каждом шаге только одну координату из множества Z. Сформируем правила выбора этой координаты, используя подход из работ [6, 7], где для решения задачи распределения ресурсов с ограничениями типа симплекса был предложен вариант метода би-координатного спуска со специальным пороговым управлением и допусками.
Для того чтобы пара индексов (1,3) € I х J могла быть использована для спуска по координате гц, требуется, чтобы разница цены г-го продавца в группе в, в которую входит 3 -й покупатель и цена 3 -го покупателя в группе г, в которую входит г -й продавец, была достаточно велика:
\д^(х^) — Ьзг(Узг)\ > 5
для заданного 5 > 0.
Таким образом, если выполняется условие дгэ(хгэ) — Ьц(уц) < —5, то можем увеличивать компоненту гц; а если выполняется условие д{3(х^3) — Ьзг(узг) > 5,
в = !,..., Шг, г € I и уЗг = ^ иЗ, t = 1, . . . ,пу, 3 € 3.
то для корректного уменьшения этой компоненты требуется также выполнение условия > е при некотором заданном е > 0.
Для выбора длины шага можно использовать, например, неточный линейный поиск типа Армихо.
Обозначим С = {(¿,3) | г € I, 3 € .}, Се(г) = {(¡,3) | гу > е,г € I, 3 € .}.
Метод 1
Шаг 0. Выберем критерий останова, начальную точку г0 € Z, последовательности {ек} \ 0, {6к} \ 0, к = 1, 2,... , параметры в € (0,1), в € (0,1). Положим к =1.
Шаг 1. Положим I = 0, и1 = гк-1. Обозначим, как и ранее, х\в иЗ,
земи
у]г = Е и\р
Шаг 2. Если для точки и1 выполнен критерий останова, то мы достигли заданной точности вычислений, итерационный процесс останавливается. Шаг 3. Выберем пару индексов (¡1,31) таких, что либо
9г18(х1г18) - НзгЫ^г) > Ы,31) € Сек (ul), ¿1 € , 31 € Мкз
(тогда положим К- = {(¿1,31)}), либо
9чз(х\13) - Н^Ыг) <-5к, (г1,31) € С, ¿1 € Щ,г, 31 € Ыкз
(тогда положим К+ = {(¿1,31)}). Если такие индексы выбрать невозможно, то положим гк = и1, к = к + 1 ,и перейдем к шагу 1.
Шаг 4. Построим направление спуска 31 с компонентами
{-1, если (¿,3) € К-,
1, если (¿,3) € К+,
0, если (¿,3) € С \{К- и К+}.
Заметим, что только одна компонента в направлении спуска является ненулевой.
Шаг 5. Найдем наименьшее неотрицательное целое число Ь такое, что выполняется условие
ф(и1 + вьек31) - 'ф(и1) < ввьек (ф'(и1), 31) . (13)
Положим Х1 = вьек, и1+1 = и1 + Х1З1. Положим I = I + 1 и перейдем к шагу 2.
Предложенный метод имеет двухуровневую схему. Во внутреннем процессе (шаги 2-5) происходит минимизация целевой функции при фиксированных значениях параметров е и 6, а на внешнем уровне - уменьшение этих параметров.
Установим свойства сходимости предложенного метода, опираясь на результаты из [6, 7].
Предложение 3. Процедура линейного поиска на шаге 5 метода 1 конечна.
Доказательство. Предположим, что процедура линейного поиска на шаге 5 метода 1 бесконечна. Тогда для всех Ь > 0 имеем
ф(и1 + вьек31) - ф(и1) > ввьек{ф'(и1), З1). (14)
Обозначим 71 = (ф'(и1),31), тогда получим
И = 9гв(х\а) - Ну г(уЗ г) < -6к < 0, (¿,3) € К- и К+, { € 3 € Ш1а.
Переходя в (14) к пределу при Ь ^ ж, имеем 71 > , то есть 71 > 0. Полученное противоречие завершает доказательство. □
Предложение 4. Пусть функция ф коэрцитивна на Z [8]. Тогда внутренний процесс ( шаги 2 -5) .метода 1 является конечным.
Доказательство. По построению имеем
-то <ф* < ф(и1), ф(и1+1) < ф(и1) - ß5kXi,
следовательно, итерационная последовательность {щ} ограничена и имеет предельные точки. Кроме того, lim Xi =0. Предположим, что последовательность
i—
{ui} бесконечна. Поскольку множество индексов C = I х J конечно, найдется такое его подмножество K- или K +, которое выбирается на шаге 3 бесконечное множество раз. Возьмем соответствующую этим итерациям подпоследовательность, выделим из нее сходящуюся подпоследовательность {uis}, предел которой обозначим через и. Имеем при этом dis = d, где
{-1, если (i,j) € K-, 1, если (i,j) € K +, 0, в противном случае.
Отсюда получим (ф'(и),С) = lim (ф'(и1в ),d) < —5k < 0. Однако условие Армихо
s—
(13) не выполняется для шага 0Ъ-1£к = Xi/0. Положим l = ls, получим
(К /0)-1(ф(и1s + (Xls/0)d) — ф(и1* )) >ß^'(ul- ),d). Устремим s к бесконечности. Тогда имеем
{ф'(и),С) = lim (Xis/0)-1(ф(и1' + (Xis /0)d) — ф(и1' )) > ß^'(u)J),
s—
отсюда следует (1 — f3)(^'(u),d) > 0. Получили противоречие, которое завершает доказательство. □
Теорема 2. Пусть функция ф коэрцитивна на Z. Тогда последовательность {zk}, генерируемая методом 1, имеет предельные точки, все они являются решениями вариационного неравенства (6). Если, кроме того, функция ф выпукла, они являются также решениями задачи оптимизации (12).
Доказательство. Как и в предложении 4, отметим, что последовательность {zk} ограничена и имеет предельные точки. Кроме этого, ф^к+1) < ф^к), поэтому существует предел lim ф^к ) = ф. Возьмем любую предельную точку z
к—
последовательности {zk}, обозначим через {zkl} подпоследовательность, сходящуюся к этой точке. Далее, по построению для всех к > 0 выполняется условие
gis(xks) — hjt(ykt) > Sk V(i,j) e I x J, i e Nju j e Mis. Перейдем к пределу при к = ki ^ ж, получим
gis(xis) > hjt(y jt) V (i,j) e I x J,, i e Njt, j e Mis, (15)
где
xis ^^ zij, s = 1,... ,m,; i e I,
j£Mis
y jt = E zij, t = 1,...,nj, j e J.
ieNj t
С другой стороны, по построению для всех k > 0 выполняются неравенства
gUxks) — hjt(ykt) <sk V(i,j) e C£k(zk), г e Njt, j e Mis,
Пусть (i,j) e I x J - произвольные индексы такие, что zij > 0, г e Njt, j e Mia. Тогда выполняются условия zkj > £kl для достаточно больших значений l. Отсюда gia(xka ) — hjt(yjklt) < ôkl. Перейдем к пределу при s ^ ж, получим
< Ьу^Уз^. Поэтому в силу (15) для любых г^ > 0, (г,з) € I х J, г € N31, 3 € , получим
9гВ(Щь) = Ьзг(Узг). (16)
Таким образом, из (15), (16) следует, что точка г удовлетворяет условиям равновесия (9) и является решением вариационного неравенства (6), а если функция ф выпукла, то и задачи (12). Теорема доказана. □
3. Тестовые расчеты
Приведем результаты расчетов для предложенного в предыдущем разделе метода покоординатного спуска. В следующем примере количество и продавцов, и покупателей равно 5. Разбиение продавцов и покупателей на ценовые группы задано следующим образом: MM = {1, 2, 3}, M12 = {4, 5}, M21 = {1, 2}, M22 = {3,4, 5}, Мз,1 = {1,22, 3}, Мз,2 =' {4, 5}, M4,i = {1,22}, MAa = {3,4, 5}, M5,1 = {1, 2, 3}, М5,2 = {4,5}, N11 = {1,2,3}, N12 = {4,5}, N2,1 = {1,2}, N23 = {3,4,5}, N3,1 = {1,2,3}, N3,2 = {4,5}, N4,1 = {1,2}, N4,2 = {3,4,5}, N5,1 = {1,2,3}, N5,2 = {4, 5}.
Пусть ценовые функции продавцов имеют вид
9i1 (хц) = 10 + 2ixi1, gi2(xi2) = 5+ 2ixi2 У i £ I;
ценовые функции покупателей имеют вид
hj1(Vj1) = 100 - 0.5jyj1, hj2 (yj2) = 90 - 0.5jyj2 У j £ J.
Правила формирования коэффициентов метода: ¿1 = 100, Sk+1 = Sk/2, £1 = = 100, £k+1 = £k/2, в = 0.5, в = 0.5. Критерий останова Sk < 0.01.
Приведены достигнутые величины для матриц z, х, y, G(x), H(y). Результаты округлены до двух знаков после запятой.
Пример 1.
x :
/35.59 30.53 \ 17.8 17.27 11.86 10.62 8.99 8.95 у 719 6.8 )
H(y)T :
T
У1 :
z :
( 21.84 13.75 0 16.96
12.73 5.07 17.27 0
3.05 8.81 0 10.62
8.99 0 8.95 0
7.19 0 0 0
81.19 81.19 74.09 66.07
^ 81.91 81.19 76.58 68.75
37.62 18.82 17.27 16.96
16.18 8.81 8.95 10.62
13.57 \ 0 0 0 6.8
73 13.57 6.8
G(x): 81.19 66.07 81.19 74.09 81.19 68.75 81.91 76.58 81.91 73
Пример 2. Предположим, продавец с номером 1 не хочет взаимодействовать с группой 1, а покупатель с номером 3 - с группой 2. Они назначают неприемлемые
для партнеров ценовые функции gii(xii) получим
1000, h32(y32) = 0.001. В результате
x
/ 0
19.75 13.17 9.3 \ 7.45
30.09 17.27 10.03 7.52 6.02 )
т .
z : G( x):
0 0 0 17.41 12.68 1000 65.19
8.78 10.97 17.27 0 0 89.02 74.09
13.17 0 0 8.79 1.24 89.02 65.19
4.85 4.45 0 1.11 6.41 84.42 65.19
6.32 1.13 0 2.5 3.52 84.42 65.19
89.02 89.02 74.09 65.19 65.19 \
84.42 84.42 0 65.19 65.19 j
21.95 10.97 17.27 17.41 13.92
11.17 5.58 0 12.41 9.93
H(y)T :
т
Ут :
Получили нулевые объемы сделок между продавцом с номером 1 и его группой покупателей 1, а также между покупателем с номером 3 и его группой продавцов 2. Эти нули выделены жирным начертанием.
Следует отметить, что предложенный метод покоординатного спуска (МПС) для задачи рыночного равновесия с ценовыми группами является не только простым, но и эффективным. Было проведено численное сравнение с методом проекции градиента (МПГ), в котором итерационный шаг также находится методом неточного линейного поиска типа Армихо [9].
Обозначим через M число продавцов, через N число покупателей, через K число групп. Ценовые функции продавцов имеют вид
gik(xik) = gik + 2ixik/K, i e I,
где gik - псевдослучайные числа из интервала [10, 20]. Ценовые функции покупателей имеют вид
hjk(yjk) = hjk - 0.5jyjk/K, j e J,
где hjk - псевдослучайные числа из интервала [70, 100].
Коэффициенты метода покоординатного спуска следующие: = 10, Sk+i = = Sk/2, £1 = 10, £k+i = £k/2. Параметры процедуры Армихо в = 0.5, в = 0.5. Критерий останова для МПС Sk < 0.01, а МПГ использует для останова то же условие, то есть он останавливается, если максимум из величин \gis(xis) — hjt(yjt)\ таких, что zij > 0.01, (i,j) e I x J, i e Njt, j e Mis становится меньше 0.01.
Результаты решения задач разных размерностей приведены в табл. 1, в которой содержатся данные о количестве итераций и время в секундах для обоих методов. Отметим, что для метода покоординатного спуска приведено количество итераций внутреннего процесса (шаги 2-5), где на каждой итерации используется только одна координата пространства задачи. В то же время каждая итерация метода проекции градиента использует все координаты пространства и является существенно более трудоемкой. (Для сравнения методов можно умножить количество итераций метода проекции градиента на размерность пространства.)
Программа написана на языке Visual C#, тестировалась на компьютере Intel i3-4170 CPU, 3.7 GHz, 4 Gb, под ОС Windows 7.
Таким образом, предварительные результаты тестовых расчетов показывают, что предложенный в статье метод покоординатного спуска для задачи рыночного равновесия с ценовыми группами имеет преимущества по сравнению с методом проекции градиента и является перспективным для дальнейшего изучения.
Благодарности. Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проект № 16-01-00109а).
Табл. 1
Количество итераций и время (в секундах) для задач разной размерности
M N K МПС МПГ
итерации время, с итерации время, с
10 10 2 3178 0.004 829 0.06
10 10 3 2485 0.005 214 0.036
10 10 5 2185 0.002 151 0.022
20 20 2 3368 0.005 305 0.081
20 20 5 20464 0.019 558 0.110
20 20 10 8087 0.008 396 0.102
20 20 15 7598 0.006 426 0.080
50 50 5 69148 0.131 3626 4.736
50 50 10 109994 0.173 1472 1.426
50 50 20 61102 0.075 658 0.590
50 50 25 59057 0.060 628 0.562
100 100 10 224292 0.553 6368 31.510
100 100 20 363402 0.678 2077 7.966
100 100 25 332623 0.586 2399 9.278
100 100 40 234377 0.337 1118 3.982
100 100 50 212474 0.273 1096 4.091
Литература
1. Konnov I.V. On variational inequalities for auction market problems // Optim. Lett. -2007. - V. 1, No 2. - P. 155-162. - doi: 10.1007/s11590-006-0004-7.
2. Коннов И.В. Задачи пространственного равновесия для систем аукционного типа // Изв. вузов. Матем. - 2008. - № 1. - C. 33-47.
3. Konnov I.V. On auction equilibrium models with network applications // Netnomics. -2015. - V. 16, No 1. - P. 107-125. doi: 10.1007/s11066-015-9095-6.
4. Konnov I.V. An alternative economic equilibrium model with different implementation mechanisms // Adv. Model. Optim. - 2015. - V. 17, No 2. - Р. 245-265. - doi: 10.2139/ssrn.2665719.
5. Konnov I.V., Dyabilkin D.A. Nonmonotone equilibrium problems: Coercivity conditions and weak regularization // J. Global Optim. - 2011. - V. 49, No 4. - P. 575-587. - doi: 10.1007/s10898-010-9551-7.
6. Konnov I.V. Selective bi-coordinate variations for resource allocation type problems // Comput. Optim. Appl. - 2016. - V. 64, No 3. - P. 821-842. - doi: 10.1007/s10589-016-9824-2.
7. Коннов И.В. Метод би-координатных вариаций с допусками и его сходимость // Изв. вузов. Матем. - 2016. - № 1. - С. 80-85.
8. Экланд И., Темам Р. Выпуклый анализ и вариационные проблемы. - М.: Мир, 1979. -399 с.
9. Armijo L. Minimization of functions having Lipschitz continuous first partial derivatives // Pac. J. Math. - 1966. - V. 16, No 1. - P. 1-3. - doi: 10.2140/pjm.1966.16.1.
Поступила в редакцию 27.02.18
Пинягина Ольга Владиславовна, кандидат физико-математических наук, доцент кафедры анализа данных и исследования операций
Казанский (Приволжский) федеральный университет
ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: [email protected]
ISSN 2541-7746 (Print) ISSN 2500-2198 (Online) UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA. SERIYA FIZIKO-MATEMATICHESKIE NAUKI (Proceedings of Kazan University. Physics and Mathematics Series)
2018, vol. 160, no. 4, pp. 718-730
A Coordinate Descent Method for Market Equilibrium Problems with Price Groups
O.V. Pinyagina
Kazan Federal University, Kazan, 420008 Russia E-mail: [email protected]
Received February 27, 2018 Abstract
In the present paper, a model of market equilibrium with price groups in the form of variational inequality for a single-product market of an infinitely divisible product has been considered. Unlike the classical model, in which all market participants are equal and a single equilibrium price is found, it is assumed in this paper that each seller or buyer can split the set of his/her counterparties into non-overlapping groups and assign a certain price function to each group. For this model, the equilibrium conditions have been formulated and proved. The conditions for the existence of a solution to the problem, based on the coercivity property, have been also proposed and justified.
For the model of market equilibrium with price groups, in which the price functions of each seller/buyer for each group depend only on the volume of purchases/sales of this seller/buyer in this group, a method of coordinate descent for finding equilibrium states has been proposed and its convergence has been proved. A series of test calculations have been carried out for problems of different dimension, a comparison of the coordinate descent method with the gradient projection method has been performed, which confirms the efficiency of the proposed method and its promising for further investigation.
Keywords: market equilibrium, price groups, coordinate descent method
Acknowledgments. This work was supported by Russian Foundation for Basic Research, project no. 16-01-00109a.
References
1. Konnov I.V. On variational inequalities for auction market problems. Optim. Lett., 2007, vol. 1, no. 2, pp. 155-162. doi: 10.1007/s11590-006-0004-7.
2. Konnov I.V. Spatial equilibrium problems for auction-type systems. Russ. Math.., 2008, vol. 52, no. 1, pp. 30-44. doi: 10.1007/s11982-008-1005-x.
3. Konnov I.V. On auction equilibrium models with network applications. Netnomics, vol. 16, no. 1, pp. 107-125. doi: 10.1007/s11066-015-9095-6.
4. Konnov I.V. An alternative economic equilibrium model with different implementation mechanisms. Adv. Model. Optim., 2015, vol. 17, no. 2, pp. 245-265. doi: 10.2139/ssrn.2665719.
5. Konnov I.V., Dyabilkin D.A. Nonmonotone equilibrium problems: Coercivity conditions and weak regularization. J. Global Optim., 2011, vol. 49, no. 4, pp. 575-587. doi: 10.1007/s10898-010-9551-7.
6. Konnov I.V. Selective bi-coordinate variations for resource allocation type problems. Compute. Optim. Appl., 2016, vol. 64, no. 3, pp. 821-842. doi: 10.1007/s10589-016-9824-2.
7. Konnov I.V. A method of bi-coordinate variations with tolerances and its convergence. Russ. Math.., 2016, vol. 60, no. 1, pp. 68-72. doi: 10.3103/S1066369X16010084.
8. Ekeland I., Temam R. Analyse convexe et problemes variationnels. Paris, Dunod-Gauthier-Villars, 1974. 340 p. (In French)
9. Armijo L. Minimization of functions having Lipschitz continuous first partial derivatives. Pac. J. Math., 1966, vol. 16, no. 1, pp. 1-3. doi: 10.2140/pjm.1966.16.1.
I Для цитирования: Пинягина О.В. Метод покоординатного спуска для задачи ры-I ночного равновесия с ценовыми группами // Учен. зап. Казан. ун-та. Сер. Физ.-ма-\ тем. науки. - 2018. - Т. 160, кн. 4. - С. 718-730.
/ For citation: Pinyagina O.V. A coordinate descent method for market equilibrium ( problems with price groups. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-\ Matematicheskie Nauki, 2018, vol. 160, no. 4, pp. 718-730. (In Russian)