CC BY
18
УДК 519.21.23
РАСЩЕПЛЕНИЕ МАРКОВСКОГО ПРОЦЕССА НА НЕСВЯЗАННЫЕ ФРАГМЕНТЫ С ОДНОВРЕМЕННОЙ ФОКУСИРОВКОЙ В КАЖДОМ ИЗ НИХ
ГЕРАСИН С.Н., ДИКАРЕВ В.А., РОДЗИНСКИЙА.А.
Xij(s)CT !(s)
(3)
lim
s—— to —0
существует и отличен ОТ нуля ЛИШЬ В случае ljj(s) є S. Обозначим через d(s) є S элемент, удовлетворяющий для любого lij(s) условию
lim
s—to
o(s)5 !(s)
< 1
(4)
3. Элементы внедиагональных блоков Л12Д), Л21 (s) при s——to убывают к нулю достаточно быстро (насколько быстро, будет разъяснено ниже). Рассмотрим
Рассматривается задача о расщеплении неоднородного марковского процесса с конечным числом состояний на процессы, не взаимодействующие между собой. Это расщепление производится на конечном интервале, правый конец которого является общей точкой фокусировки [1] для распадающихся фрагментов. Вероятности состояний распадающегося процесса имеют заданные левые пределы в общей точке фокусировки. Приводимые в статье доказательства о решении процесса уточняют результаты, содержащиеся в [1,2].
Пусть инфинитезимальная матрица ЛД) исследуемого процесса с конечным числом состояний n, непрерывная на некотором полуинтервале Q=(s0, t0) и имеющая во всех его точках ранг n—1, удовлетворяет следующим условиям:
1. Среди элементов ЛД) есть элементы, являющиеся при s——to, sєQ бесконечно большими величинами одинакового порядка, причем порядок их роста наибольший по сравнению с остальными элементами ЛД). Обозначим множество всех таких элементов через Е. Предположим, что для любого ct(s) єЕ выпол-
lim 5 1(s) ЛД) = Лж
s— t0 -0 .
Матрица Лж — блочно-диагональная. Обозначим ее блоки через Л1, Л2. Их порядки равны mxm и (п— m)x(n-m). Считаем, что ранги матриц Л1, Л2 равны m—1 и n—m—1.
Указанные допущения позволяют свести изучение исходного процесса к изучению процессов, описанных матрицами Ла (s) (а=1,2).
Теорема 1. Пусть выполнены условия 1—3. Тогда для произвольного начального распределения вероятностей Po(s), заданного в любой точке sєn, вероятности Pi(s,t) процесса с матрицей Л имеют пределы при t—10 :
lim P(s,t) = P* t—to —0
(5)
-► -*■* -►* -**-+*
Здесь P* = (Pl,P2), Pl,P2 — нулевые собственные
няются условия * *
to векторы матрицы Л^ и Лт2; = a P2
J a(s)ds so
= 1 — a
(1) где a є [0,1] зависит от начального распределения Po(s) и положения точки s. Здесь вектор
= ж
Обозначим Л1Д), Л2Д) левый верхний и правый нижний диагональные блоки матрицы ЛД). Пусть эти блоки имеют порядки mxm и (n-m)x(n-m). Допустим, что блоки Ла (s) (а= 1,2) содержат столбцы ja, элементы которых монотонно растут при s——10—0 и имеют в t0 неинтегрируемые особенности.
2. Существуют пределы
Pa = lim Pa(s) (a =1,2) . (2)
s——to —o
ЗдесьPa(s) — нулевые векторы матриц Лта^) :
P* = (P* ,P2,...,Pn), XPi = 1 имеет вид
i=1
_ _*-*.*
P* = (PlP2) , (6)
где P* определены формулами (2).
Доказательство. Требование быстрого убывания к нулю при s—10 элементов матриц Л12, Л21 означает следующее. Существует монотонная последовательность {tk}, {tk}——10, ДДєО такая, что для отрезков [tk, tk+1], k= 1,2,... выполняется условие
Л^) pa(s) = o на □,
Лт (s) P(s) = o .
Нормы j|Pa(s)|| сохраняют на Q постоянные значения (нормой)|p|| вектора P будем называть число
!| Pk| ).
k
Если ст(s)єЕ, то для любого элемента Х^Д) матрицы Л:
Xk (t) — XTk (t)
— o, k — ж
(7)
Здесь Xk (t) — матрицант системы уравнений Колмогорова с матрицей ЛД), отвечающий отрезку [tk,
tk+1]; Xk (t) — матрицант для этого же отрезка
системы Колмогорова с матрицей Л (t) , полученной из Л (t) заменой нулями блоков Л12, Л21 с последующей коррекцией блоков Л1, Л2. Коррекция состоит в
замене элементов Xjj(t) этих блоков величинами Xij(t):
РИ, 1998, № 3
111
4j(t) =xij(t) + Aj(t). Здесь
TAi(t) = E^ii(t), i =
j=m+1 ’
„ m
^Ai(t) = Z^ij(t), i = m + 1,...,n
j=1 .
Условие (7) имеет место, если убывание к нулю блоков Л12, Л21 будет достаточно быстрым (см. оценку для нормы разности матрицантов в [4,с.26]).
Выясним зависимость между матрицами возмущенной и не возмущенной системы Колмогорова для случая, описанного выше. В качестве нормы выберем следующий интеграл:
t0
||ла)|| = .
s0
Уравнения для матрицантов имеют вид Х'=ХЛ, X' = ХЛ или
d (X - X) = (X - X)V(t) + X(V(t) - Л),
dt
[Л -л] = о.
t=s0
Данное неоднородное матричное уравнение при указанных начальных условиях имеет следующее решение:
t
X(t) - X(t) = Jl(r)(V(t) - Л(т))X-1 (z)dz • X(t)
s0
Оцениваем его по норме
l(t) - X(t)| < J|X(т)||V(t) -Л(т)
s0
X -1(г)
dz •
XT(t)
Кроме того, дифференцируя тождество
X _1(t)x(t) = In,
находим
Lx-1 =- X-1 Lx -1 x -1
dt dt
X _1V(t).
Аналогично получим оценку для
x -\t)
<4ne"
л
Отсюда вытекает искомая оценка
1 -1(t) - X (t)
<4ne
2 Л +
v(t) - л
Таким образом, при стремлении к точке фокусировки to матрицанты стремятся друг к другу со скоростью, пропорциональной стремлению к нулю внедиагональных блоков.
Матрица V(t) блочная. Ее блоки Vi(t), Л2Д) являются инфинитезимальными матрицами. Если s принадлежит достаточно малой полуокрестности точки to, их ранги равны m—1 и n—m—1. Точка t0 является их общей точкой фокусировки. Это следует из допущений П. 1—3.
Рассмотрим монотонную последовательность
{sk>k = 1, skeQ, sk^t0. Считаем, что (skl^ = 1 содержит точки последовательности tk.
Рассмотрим процесс на [t1, t], t=tn. Заменим на каждом отрезке [sk, sk+1] (k=1,2,...), содержащемся в
[t1, t], матрицу V(s) на матрицу
v(s) = уЛ(тk), tke[sk,sk+1], sk < s < sk+1. (8)
Устремив t к to, определим v(s) на всех [sk, sk+1] и, значит, на всех [tk, tk+1]. Матрица V(s) является
Матрицант X (t) удовлетворяет уравнению
t
*(t) = In + jX(z)V(z)dz ,
s0
кусочно—постоянной аппроксимацией матрицы V(s).
Считаем, что {sk}k=1 выбрана так, чтобы матрицанты X^ (s), Xk (s) системы Колмогорова с матрицами V(s), V(s), отвечающие отрезкам [tk,tk+1], удовлет-
из него следует оценка
X(t) = |ln| +j|Х{т) Л(т)
dz
s0
Используя известное неравенство о том , что для неотрицательных функций a(t) и b(t) из
t
a(t) < a(s0) + J b(x)a(x)dx
s0
следует
a(t) < a(s0)exp
Jb(x))dx
s0
получаем
X (t) < In exp J Л(г) dz<4ne11
л
s0
воряли условию
Xk (s) - Xk (s)
^ 0, k ^ да
(9)
К процессам, которые описываются диагональными блоками V1(s); Л2(s) матрицы V(s), применим тот же прием оценивания разностей Rj(s,t), rj(s,t),
rj(s,t) = inf Pij(s,t), Rj(s,t) = supPjj(s,t), что и в [1]. 1 1
При рассмотрении этих процессов используем веро -ятностные пространства
(q,f,pa), (вдрв) (10)
(см. [3, с. 80]).
Здесь A и B — события, состоящие в том, что процесс протекает внутри состояний 1,... ,m и, соответственно, внутри состояний m+1,...,n. В силу сделанных в п.2 предположений P(A)>0, P(B)>0. При переходе к пространствам (10) следует произве-
112
РИ, 1998, № 3
сти перенормировку вероятностей, характеризую- Пусть выполнены условия 1—3 (с изменениями ,
щих эти процессы. указанными выше). Тогда для произвольного рас-
m
Так, для (ВДРл), ЕPAij(s,t) = 1
j=1
Повторяя рассуждения, проведенные в [1], получаем, что теорема верна и для процесса с матрицей
A(s), где начальные распределения вероятностей
P0a(s) процессов с матрицами Aa(s) (a=1,2) удовлет-
воряют лишь условиям
pV)
= a,
Р2°м
1 - a,
a — любое число из [0,1].
Проверим, что (5) выполняется и для исходного процесса с матрицей Л. Для этого процесса зададим
начальное распределение вероятностей P°(s) в любой точке seQ. Пусть
P(s,s') (11)
есть решение системы Колмогорова с матрицей Л и
указанным начальным распределением P°(s) .
Возьмем в (11) s' настолько близко к t0, чтобы решения
P(s',t), P(s',t) (12)
систем Колмогорова с матрицами Л, Л , отвечаю-
щие общему начальному условию P°(s') = P(s,s'), заданному в s', удовлетворяли неравенству
P(s',t) - P(s',t)
<є
(13)
для всех te [s' ,t0]. Выбор такой точки s' возможен для любого Є > ° в силу (7).
Выше было доказано, что 1—,т P(s ,t) существу-
t^t° -°
ет. Отсюда и из (13), ввиду произвольности є , следует существование предела
lim P(s',t) = P* t——1° —° ,
который имеет вид (6). Теорема доказана.
1. Пусть элементы блока Ai2(s) убывают к нулю при s——10—0 достаточно быстро, а все элементы блока A21(s) ограничены в Q. Тогда, если выполняются условия 1, 2, то для начального распределения вероятностей P0(s), seQ пределы (5) существуют для всех i=1,...,m.
2. Пусть порядок роста элементов из Е таков, что интегралы (1) сходятся, но их абсолютные величины достаточно велики. Тогда to является точкой фокусировки [1] для процессов с матрицами Ар Л2 . В этой ситуации для выполнения (7) достаточно произвольного (а не “достаточно быстрого”) убывания к нулю элементов из Л12, Л21. Это следует из оценки нормы разности матрицантов, содержащейся, например, в [4, с.26]. В таком случае верно следующее утверждение.
пределения вероятностей P°(s), заданного в любой seQ, t0 является точкой ст —фокусировки на
P = (P*,P2) ддя вероятностей Pi(s,t) процесса с матрицей A(s).
Из перечисленного выше видно, что расщепление процесса на несвязанные фрагменты с одновременной их фокусировкой на предельные вероятности может быть выполнено при существенных ограничениях на процесс.
Отметим также, что процесс расщепления в каком-то смысле является неустойчивым. Это видно из доказанной теоремы и следующего утверждения.
Пусть матрица процесса A(s) удовлетворяет условиям 1—3 (быстрота убывания к нулю блоков Л12, Л21
здесь несущественна), а Pi(s), P2(s) — нулевые векторы матриц (A1(s), A^(s)), (A21(s), A2(s)) и a -произвольное число из отрезка [0,1].
Тогда в достаточно малой полуокрестности Q точки t0 найдутся такие P1(s), P2(s), что:
а) ||P 1(s)||=a, ||P2(s)||=1-a на Q;
б) существуют пределы
lim P1 (s) = РІ
s—t°
s——ni P2(s) р , где р* , P2* определены формулой (2).
Очевидно,
—* —*
Pi = a р*
=1 - a . Доказательство
этого утверждения приводить не будем.
В теореме 1 точка фокусировки t0 совпадает с моментом времени t1 обращения в нуль внедиагональных блоков Л12, Л21: t0=t1. Рассмотрим случаи t0<t1 и t0>t1. Если выполняются условия 1-3, то случай t0<t1 тождественен ситуации, описанной в теореме 1 из [1]. Для случая t0>t1 теорема 1 о расщеплении остается в силе.
Теорема о расщеплении и теорема 1 из [1] остаются в силе, если условие (5) заменить условием P{Pi(t)*Pi | te[s0, t0)}=0, i=1,2,...,n, где по-прежнему Pi(t) (i=1,...,n) — компоненты нулевого вектора матрицы A(t). Однако теперь схо-
димость к Р* в (5) следует понимать как сходимость
по вероятности.
Доказательство следующего предложения (его можно было бы назвать теоремой о соединении невзаимодействующих фрагментов с фокусировкой на заданное распределение), которое мы опускаем, проводится без каких-либо ограничений на инфинитезимальную матрицу процесса.
Теорема 2. Пусть Л — блочно-диагональная матрица nxn, блоки которой Ар Л2 порядков mxm и n—mxn—m являются инфинитезимальными матрицами и имеют ранги m—1 и n—m—1. Пусть далее
Л — инфинитезимальная матрица nxn ранга n—1, Р — ее нулевой собственный вектор, s0, to — произвольные моменты времени, s0<t0. Тогда на [s0, t0) существует неоднородный марковский процесс с матрицей A(s) порядка nxn такой, что:
РИ, 1998, № 3
113
а) Л(s) имеет при se (so,to) ранг n—1,
б) A(so) = Л,
— —*
l iw p (s)_p ^
в) ^t w _ , где P(s) — нулевой собствен-
s^to
ный вектор матрицы A(s),
г) в некоторой левой полуокрестности точки to матрицы A(s), A(s) отличаются лишь на скалярный множитель.
Полученные в работе результаты могут быть использованы при рассмотрении конкретных задач, в которых изучаются процессы марковского типа, распадающиеся на несвязанные или слабо связанные фрагменты. Задачи такого типа возникают в нейронных и компьютерных сетях, экономике, экологии и радиоэлектронике. Изложенный в работе подход был применен авторами при анализе распадающихся экономик [5].
Литература: 1. Дикарев В. А. Точки фокусировки и теоремы о существовании предельных вероятностей. Харьков, 1995. Рукопись представлена Харьковским университетом радиоэлектроники. Деп. в ГНТБ Украины 28 февраля 1995, №526 Ук.95. 2. Дикарев В. А. Точки фокусировки и стабилизация неоднородных марковских процессов. Харьков, 1995. Рукопись представлена Харьковским университетом радиоэлектроники. Деп. в ГНТБ
Украины 28 февраля 1995, №533 Ук.95. 3. Якубович В. А, Старжинский В. М. Параметрический резонанс в линейных системах. М.: Наука, 1987. 328с. 4. Боровков А. А. Теория вероятностей. М.: Наука, 1986. 432с. 5. Dikarev V. A., Veprik A. I., Zabelin V. I. Modeling of disintegrating economy by Markov processes // 2 Internation conference on “Computing in economics and finance”, Geneva, 1996. Р. 170 - 171.
Поступила в редколлегию 15.09.98 Рецензент: д-р техн. наук Евдокимов А.Г.
Герасин Сергей Николаевич, канд. техн. наук, доцент кафедры высшей математики ХТУРЭ. Научные интересы: теория вероятностей и ее приложения, теория процессов Маркова. Адрес: Украина, 310166, Харьков, пр. Ленина, 14, тел: (0572)40-93-72, (0572)72-12-38. e-mail: [email protected]
Дикарев Вадим Анатольевич, д-р физ.-мат. наук, проф. кафедры прикладной математики ХТУРЭ. Научные интересы: теория вероятностей и ее приложения, функциональный анализ, дифференциальные уравнения, теория процессов Маркова. Адрес: Украина, 310166, Харьков, пр. Ленина, 14, тел. (0572) 40-9436, (0572)33-57-03.
Родзинский Анатолий Анатольевич, аспирант кафедры прикладной математики ХТУРЭ.Научные интересы: теория вероятностей и ее приложения, функциональный анализ, дифференциальные уравнения, теория процессов Маркова. Адрес: Украина, 310166, Харьков, пр. Ленина, 14, тел. (0572)40-94-36.
УДК 519.713
ИСПОЛЬЗОВАНИЕ МЕТОДА ОТСЕЧЕНИЙ ПРИ РАСКРОЕ
ЕМЕЦ О.А, ЕМЕЦ Е.М., КОЛЕЧКИНА Л.Н. * 1
Рассматривается оптимизационная задача размещения прямоугольников, которую можно интерпретировать как задачу минимизации времени работы мультипроцессорной вычислительной системы (МВС). Для ее решения применяется метод отсечений. Приводятся результаты счета.
1. Введение
Одними из первых по исследованию проблемы раскроя являются работы Канторовича Л.В. и Зал-галлера В.А. [1, 2]. Разработке методов решения комбинаторных задач оптимального размещения геометрических объектов посвящены работы школы Стояна Ю.Г. [3, 4]. Разные подходы к раскрою материалов рассматриваются также в работах [5-8]. Нами рассматривается метод отсечения [9] для одной задачи раскроя, которую можно толковать как задачу минимизации времени работы МВС при решении заданого набора задач [10].
Введем необходимые понятия и обозначения. Мультимножеством [3,4] называется совокупность элементов, среди которых есть одинаковые. Мультимножество А можно представить его основанием S(A) — множеством всех его разных элементов с указанием их кратностей — чисел, указывающих количество повторений каждого элемента основания в мультимножестве. Упорядоченные n-выбор-
ки из мультимножества А, содержащего k разных элементов, т. е. такие, что различаются между собой только порядком следования элементов, образуют общее множество перестановок Еnk (A) [3,4]. Обозначим: Jm— множество первых m натуральных чисел, Rn — евклидово арифметическое пространство.
2.Постановка задачи и метод решения
Рассмотрим следующую задачу [3, 4]. Пусть имеется набор p прямоугольников одинаковой ширины и разной длины. Необходимо разместить данное множество прямоугольников в m полос так, чтобы длина z занятой части полос была минимальной. Длину прямоугольников можно интерпретировать как время решения задач, а m — как число эквивалентных процессоров в МВС.
Построим математическую модель данной задачи.
Пусть xjj — длина прямоугольника, стоящего на месте j в полосе i . Очевидно, что в оптимальном решении 1 < j < p - m +1. Будем считать, что
j eJp-m+1 . Получим в m полосах всего
(p - m + 1)m _ n прямоугольников, из которых p — задано, а остальные будем считать, не нарушая общности, имеющими нулевую длину. Обозначим длины прямоугольников через gi, ie Jn. G — мультимножество, которое состоит из элементов gi, ieJn.
Пусть Е nk(G) — общее множество перестановок из действительных чисел — длин прямоугольников, которые составляют мультимножество чисел G. Тогда задача сводится к определению:
114
РИ, 1998, № 3
