CC BY
27
XФ,Лл к*)-X 1глЛл (LrM (Z))-
k k
— K — X lr,n-1,kRr,1 (Lr,n-1,k (Zn-1 )) _ k
= XФ1,Лг (Fi,k ) - Xli,i,*Ri,r (Li,i,k (Zi)) -k k
-K - X l1,n-1,kR1,r (L1,n-1,k (Zn-1 )), k
X Фг ,kR ,2 (Fr,k )-X lr,1,kRr,2 (Lr,1,k (Z ))-
k k
-K - X lr,n-1,kRr,2 (Lr,n-1,k (Zn-1 )) = k
_ X ^,kR2,r (F2,k )-X l2,1,kR2,r (L2,1,k (z1 )) “ k k
-K - X l2,n-1,kR2,r (L2,n-1,k (Zn-1 )), k
X Фг,kRr,n (Fr,k ) - X lr,1,kRr,n (Lr,1,k (Z1 )) -
k k
-K - X lr,n-1,kRr,n (Lr,n-1,k (Zn-1 )) _ k
= X (^n,kRn,r (Fn,k ) - X ln,1,kRn,r (Ln,1,k (Z1 )) " k k
-K - X ln,n-1,kRn,r (Ln,n-1,k (Zn-1 ))'
Так как композиция ^-операторов есть Х-оператор, то полученная система является системой линейных алгебраических уравнений (над некоммутативным кольцом), ее порядок равен п - 1. Тем самым порядок системы понижен на единицу, исключена неизвестная 2п.
Библиографический список
1. Глушков, В. М. Алгебра, языки, программирование / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. Киев : Наукова думка, 1974.
2. Семенов, А. Л. Алгоритмические проблемы для степенных рядов и контекстно-свободных грамматик / А. Л. Семенов // Доклады АН СССР. 1973. Т. 212. С. 50-52.
3. Сафонов, К. В. О возможности вычислительного распознавания контекстно-свободных языков / К. В. Сафонов // Вычислительные технологии. 2005. Т. 10. № 4. С. 91-98.
4. Сафонов, К. В. О синтаксическом анализе и проблеме В. М. Глушкова распознавания контекстно-свободных языков Хомского / К. В. Сафонов, О. И. Егорушкин // Вестн. Том. гос. ун-та. Прил. 2006. № 17. С. 63-66.
O. I. Egorushkin, D. A. Kalugin-Balashov, K. V. Safonov
ON SYSTEM SOLVABILITY OF NON-COMMOTATIVE ALGEBRAIC EQUATIONS GERATED CONTEXT CONTEXT-FREE LANGUAGES
Systems of algebraic (polynominal) equations under non-commutative one relative to a multiplication ring are considered. The paper considers the solvability condition of such systems as formal power series, systems of linear algebraic equations. The reduction possibility of the system degree was investigated for such equations. The given systems generalize features of equation systems determining context-free and linear languages.
Keywords: context-free languages, system of algebraic equations, not-commutative ring, not-commutative image, incident graph.
УДК 519.866
П. Н. Победаш
АСИМПТОТИЧЕСКИЙ АНАЛИЗ ДВУХКРИТЕРИАЛЬНОЙ МОДЕЛИ РЕАЛЬНЫХ ИНВЕСТИЦИЙ НА ОСНОВЕ Z-ПРЕОБРАЗОВАНИЯ
Предлагается приложение 2-преобразования к асимптотическому анализу линейных многошаговых задач оптимального управления на примере двухкритериальной модели оптимизации реальных инвестиций предприятия с неограниченным количеством видов производимой продукции и/или спросом на нее на бесконечном горизонте планирования.
Ключевые слова: 2-преобразование, двухкритериальная модель оптимального управления, планирование инвестиций.
В данной работе рассматривается задача, обобщаю- тие имеет капитал К0. При этом государственный орган щая задачу из работы [1] на случай двух критериев, ко- (ГО) для реализации инвестиционного проекта (ИП)
торую сформулируем следующим образом. Предприя- выделяет инвестиции не более величины 10 на приоб-
(1+г)'
ретение активных основных производственных фондов (ОПФ) П видов. Необходимо определить стоимость (ко- Т-1
личество) всех приобретаемых в моменты г = 1, ..., Т О2 = X --------—— -------------------------------------:- - соот-
ОПФ каждого вида, при которых дисконтированные сум -мы собственных средств предприятия и его налоговых поступлений в ГО максимальны за все время действия ИП. При этом выполнены следующие основные предпосылки:
1) учитываются налоги, составляющие большую часть
затрат предприятия: налог на добавленную стоимость (НДС), налог на прибыль (НП), налог на имущество (НИ), Х„+1 (г),
единый социальный налог (ЕСН) и отчисления в фонд оплаты труца (ФОТ);
2) предприятие имеет достаточные запасы сырья;
3) срок Т действия ИП меньше сроков Тк службы единицы ОПФ каждого типа: Т < Тк (к = 1,..., п);
4) на ОПФ каждого вида производится лишь один тип продукции. С учетом приведенных предпосылок сформулированная выше задача имеет вид двухкритериальной многошаговой задачи линейного программирования (МЗЛП), которую, согласно работе [2], назовем моделью В1:
Хк (г + 1) = Х, (г) + щ (г)
(к = 1,..., п; г = 0,..., Т-1),
Хп+1 (г + 1) = -Х Хк (г) / Тк + Хп+1 (г) +
к =1
+Х щ (?) (г = 0,..., Т-1)
к=1
Хп+ 2 (г + 1) = -а2 Хп+1 (г) + Хп+2 (г) -п
-Х иЬ (г) + М2п+1 (г) + щ2п+ 2 (г) (г = 0) ,
(1)
п+ 2 (? + 1) «3 X
к=1
п п
-Х ик(г)+уХ
Хк(г)
- 0Хп+1(г) + Хп+2(г) -
п+к
(г) (г = 1,..., Т -1);
к=1 к=1
Хк(0) = 0 (к = 1,...,п + 2);
Хп+2(г) > 0 (г = 1,..., т),
^х, (г)
-^^------------а 2 Хп+1(г) +
к=1 Тк
+(1 -в)Хип+к(г)>0 (г = 1,...,Т-1);
к=1
ип+к (г) £ 5,х, (г) (к = 1,..., п; г = 1,..., т -1),
и2п+1(0) £ ^ и2п+2 (0) £ K0,
ик(г) > 0 (к = 1,..., п; г = 0,..., т-1), ип+к (г) > 0 (к = 1,..., п; г = 1,..., Т -1),
и2п+1(0) > 0 и2п+2 (0) > 0,
О = {.^, О2} ® тах , где =-и2п+1(0) - и2п+2(0) +
ветственно дисконтированная сумма собственных средств предприятия и налоговых поступлений в ГО;
ик(г)(г = 0,..., т -1), ип+к(г) (к = 1,..., п; г = 1,..., т -1), и2п+1(0) и и2п+2(0) - стоимость приобретаемых ОПФ, выручка от реализации продукции к -го типа, внешние и внутренние инвестиции соответственно; Хк (г) (к = 1,..., п), 2(г) (г = 0,..., Т) - соответственно накопленная стоимость всех ОПФ к-го типа, остаточная стоимость всех ОПФ, текущие денежные средства предприятия в момент г; V, Тк, ск и Рк - соответственно производительность, срок службы, стоимость единицы ОПФ и стоимость единицы продукции к-го типа; 10, К0 - суммы внешних и внутренних инвестиций, выделяемых на весь срок действия ИП; а1, а2, а3, а4 - ставки НДС, НИ, НП и ЕСН соответственно (НДС включается в цену продукции, поэтому можно считать, что а1 = 0); р - доля выручки от реализации, выделяемая на ФОТ; 0 = (1 -а3)а2, 5к = Рк¥к /ок (к = 1,..., п), у = (1 - а3)(1 - в), р = (1 - в)а3 + а4в, г - ставка доходности ИП; 5 (0 £ 5 £1) - доля остаточной стоимости всех ОПФ на момент г = Т от ее балансовой стоимости, определяемая в общем случае экспертно.
Согласно исследованию [3], многокритериальная МЗЛП (ММЗЛП) (1), (2) равносильна однокритериальной задаче с условиями (1) и максимизацией свертки критериев О(д) = д1 + д2, где
д е М = {(д1; д2) е Е2 | д( > 0(1 = 1, 2); д1 + д2 = 1} - вектор параметров, Е2 - двумерное евклидово пространство. Поскольку д 2 = 1 - д1, то, обозначая д = д1, перейдем от ММЗЛП (1), (2) к эквивалентной ей однокритериальной задаче (1) при следующем условии:
О(д) = д/1 + (1 - д)О2 ® тах(де (0;1)). (3)
Для задачи (1), (3) имеет место лемма [2], аналогичная лемме из публикации [1].
Лемма. Для оптимальных значений переменных ип+к(г) и Х*(г)(к = 1,..., п; г = 1,..., Т-1) модели (1), (3)
(2)
а 3 X ХТ(г) - 0Хп+1 (г) + тХ ип+к (г)
к=1 т к=1
(1 + г )г
Ч+,(Т) (1 + г )т-1
справедливо равенство
<+к (г) = 5кХ*(г) (к = 1,..., п; г = 1,..., т -1). (4)
Здесь и далее * обозначены оптимальные значения переменных и критериев. Условие (4) означает следующее : в оптимуме выручка от реализации в модели (1), (3) (а значит, и в задаче (1), (2)) равна стоимости произведенной по каждому виду продукции.
Рассмотрим задачу двухкритериальной оценки ИП, описанного моделью (1), (2), когда продажа ОПФ предприятием не предполагается, т. е. 5 = 0. Для применения 2-преобразования к анализу модели (1), (3), доопределим управления, ик (г)(к = 2п + 1,2п + 2; г = 1,..., Т -1) до вектора постоянной размерности п + 2 (поскольку переменные ип+к (г)(к = 1,..., п; г = 1,..., Т -1) можно исключить согласно (4)), полагая отсутствующие переменные равными нулю, т. е. дополняя указанную задачу условиями и2п+1 (г) £ 0 , и2п+1 (г) > 0 ; и2п+2 (г) £ 0 ,
и2п+2 (г) > 0(г = 1,..., Т -1). Учитывая (4) и начальные условия, запишем ее ограничения и критерии единообразно, перейдя к МЗЛП:
хк (ґ +1) = хк (ґ) + пк (ґ)
(к = 1,..., п; ґ = 0,..., Т-1),
хп+1 (ґ + 1) = -Х хк (ґ) / Тк + хп+1 (ґ) +
к=1
+Х«к(ґ) (ґ = 0,...,Т-1)
к =1
п
хп+ 2 (ґ + 1) = X Укхк (ґ) - 0Хп+1 (ґ) + Хп+2 (ґ) -к =1
п
-Х «к (ґ) + «2п+1 (ґ) + «2п+2 (ґ)(ґ = 0,-= Т - 1) ; к=1
хк (0) = 0 (к = 1,..., п + 2);
хп+2(ґ +1) > 0 (ґ = 0,..., Т -1),
X °кхк (Ґ) - «2хп+1 (Ґ) > 0 (Ґ = 0,..., Т - 1) ,
к=1
«2п+1(Ґ) < 10, «2п+2 (Ґ) < К0 (Ґ = 0);
«2п+1(Ґ) < 0 , «2п+2 (Ґ) < 0(Ґ = 1,..., Т -1) ,
мк(ґ) > 0 (к = 1,..., п;2п + 1,2п + 2; ґ = 0,..., Т -1); 3(д) = д31 + (1 - д)32 ® тах (д є (0; 1)),
п
X ЧЛ(ґ) - 0хп+1(ґ) - «2п+1 (ґ) - «2п+ 2 (ґ)
ГДЄ 31(2) = УХ 5кХк (2) - 0Хп+1 (2) - и2п+1 (2) - ^2п+2 (2) , к =1
3 2 (г) = рХ 5кХк (г) + 0Хп+,(г),
к=1
¥
Ц/(г) = X«і(ґ)2-ґ (і = 1,..., п; 2п +1, 2п + 2) и
ґ = 0
¥
Хк(г) = Ххь(ґ)г^ґ (к = 1, п + 2) - г-изображения уп-
ґ =0
равляющих_и фазовых переменных задачи (5), /(д, 2) = Тип /(д), причем при Т ® +¥ по построению
(5) / (д) < / (д, 2) (д є (0; 1)), откуда в силу выражения (6)
получим
/*(д) < 3 (д, г)(дє (0; 1); г > 1). (8)
Выражая из уравнений в ЗЛП (7) переменные Хк (2) (к = 1,..., п + 2), имеем
Хк (г) = (к = 1,..., п),
2-1
Х-к (г)
Х„+,(г) = -
г -1
где
(1 + г )ґ
3 2 =Х
X ®кхк (ґ) + 0хп+1(ґ)
(1 + г )ґ
У к = аз/ Тк + У5к
X + 2 (2) =
X (у5к - 0 - 2 + 1)^ (2) + (2 - 1)(и2п+1 (2) + и2„+2 (2))
= к=\_________________________________________________
(2 - 1)2 '
Подставляя последние формулы в оставшиеся выражения указанной задачи и учитывая, что 2 = 1 + г > 1, запишем параметрическую статическую задачу, совпа-юк = -а3/ Тк + р^к; °к =(1 - в) ^к -1/ Тк (к = Ъ/-, п). По дающую с приведенной в работе [2] и эквивалентную построению для целевых критериев О (д) и О (д) соот- модели 2В1: ветственно задач (1), (3) и (5) имеет место неравенство:
О (д) £ О (д). В частности,
О*(д) £ 3*(д)(де (0; 1)). (6)
Полагая 2 = 1 + г > 1, перейдем в задаче (5) к пределу при Т . В силу предпосылки (3),
Т ® +¥ ^ Тк ® +¥ , откуда следует, что ук ® у5к, юк ® р5к, ск ® (1 - в) §к (к = 1,..., п). Применяя к последней МЗЛП 2-преобразование и учитывая формулу 2 (х(г +1)) = 2 [ X (2) - х(0)] , получим двухпараметрическую (по параметрам д и 2) статическую задачу линейного программирования (ЗЛП):
2-Х, (2) = X, (2) + ик (2) (к = 1,..., п),
X (0 + г - У5к )ик (г) - г (и2п+\ (2) +
—2п+ 2 (г)) < 0,
к=1
X (0 - у5 к )-к (г) < 0,
к=1
и2п+1(г) < І0, -2п + 2 (2) < К0,
ик(г) > 0 (к = 1,..., п;2п +1, 2п + 2),
1-
(9)
^п+Д г ) = Хп+,( г ) + X-к (г ), к =1
гХп+2 (2) = yX 5кХк (г) - 0Хп+,(г) +
к=1
+Хп+2( 2)-Іик (г) +
и 2п+1 (2) +
и 2п+ 2 ( 2),
к =1
2-Хп + 2 (2) > 0,
(1 - 5кХк (2) - а2Хп+,(2) > 0, (7)
к =1
и 2п+1( 2) < І0, и 2п + 2 (2) < к0; ик (2) > 0 (к = 1,..., п;2п +1, 2п + 2);
3(д, 2) = д31 (2) + (1 - д)32 (2) ® тах (д є (0;1); 2 > 1),
О(Л 2) = - X '^кик (2) - д[и2п+1 (2) +
г к=1
+и2п+2 (2)] ® тах (д е (0;1))
где Фк = [1 -2д]0 + [ду + (1 -д)р]5, (к = 1,...,п; де (0;1)).
Заметим, что в указанной работе ММЗЛП (1), (2) получена формально из более общей модели А, отличающейся от нее дополнительным ограничением
ии+к(г)£дк(г+1) (к = 1,...,п;г = Т2,...,Т-1), (10) при условиях
Чк(г +1) ® +¥
(к = 1,..., п; г = Т2,..., Т -1); (11)
Т1 = Т2 = 1.
Здесь чк(г +1) (к = 1,..., п; г = Т2,..., Т-1) - прогнозный спрос на продукцию к-го типа в момент г + 1, Т1 и Т2 - моменты окончания инвестирования и начала производства. При этом, согласно работе [2], в модели 2А, полученной после применения 2-оператора к задаче А, появляются агрегированные ограничения
к=1
Un+к (z) < Qk (z), Un+к (z) <
SkUk (z)
z-1
(k = l,..., пъ (12)
del ^
где Qk(z) = X 4k(t +1)z ‘ (k = 1,n). Первое из них в
t=T 2
силу условия (11) примет вид Un+k(z) <+¥ (k = 1,...,n), и исключается как избыточное, а второе, являющееся единственным ограничением на переменные Un+k (z) (k = 1,..., n; z > 1) сверху, в оптимуме выполняется как равенство, поскольку целевая функция в ZA максимизируется, а ее коэффициенты при указанных переменных положительны:
Un+к (z) =
S kUk( Z)
z -1
(к = 1,n).
Jl (z) =
( 2ySko - 2Є - г ^
е + г - YSko
[10 + Ko]; J2 (Z):
e+pSk0
) + г - YSko
[ 10 + Ko]
J (Ц,z) =
Є + pSko + [(2y - p)Sko - 3Є - r]д
[ 10 + K 0
иг^ (2) = ик(2); ^ (2) = ии+к(2) (к = 1,..., п);
¥,(2) = ^„+,(2); У2(2) = и2^+2(2) (14)
и переходя формально к пределу при п , перефор-
мулируем указанную теорему в следующем виде.
Теорема 2. Если S1 = max Sk таково, что
- < Si <
Y
+r
Y
(15)
(13)
Указанное выше совпадение ЗЛП (9) с задачей из монографии [2] подтверждает правильность выводов, полученных в отмеченной работе формальным многократным предельным переходом согласно 1-го из условий (11). При этом рассмотренный выше подход является более строгим (поскольку не использует указанного предельного перехода, а значит, не требует обоснования его правомерности). Отметим, что, если не учитывать «динамические» соотношения (4) (достаточно рутинное доказательство которых приведено в том же источнике), то получим ЗЛП, в которой, в отличие от задачи ZA, отсутствует 1-е из неравенств (12). Учитывая «статические» равенства (13), вновь получим ЗЛП (9). Авторская методика из указанной монографии [2] может рассматриваться в качестве правдоподобных и простых наводящих рассуждений (требующих последующего обоснования), позволяющих трактовать задачи (1), (2) и (9) как частные предельные случаи при условиях (11) моделей A и ZA соответственно. Решение z-задачи (9), найденное там же, определяется следующей теоремой.
Теорема 1. Если найдется такой номер k0 е {1,..., n},
что 5. = max 5., причем — < 5, < ^ +r , то в ЗЛП (9)
ko k=1,...,n k у ko у
существует нетривиальное решение
Uk0 (z) = r (I о + *o)/(0 + r - y5*o);
Un+ko( z) = 5ko( I о + K,)/(0 + r - Y5ko),
Uk(z) = o; Un+k(z) = o (k = 1,..., n; k * k0);
U 2n+1( z) = Io, U 2n+2 (z) = Ko, которому в пространстве критериев соответствует единственная ненулевая Парето-точка с координатами
то в ЗЛП (9) даже при неограниченном количестве видов продукции существует нетривиальное решение и (2) = г (10 + *0)/(0 + г - у5,); и (2) = 5,( 10 + К0)/(0+ г - У5); и (2) = 0 (к = 3,...);
^( 2) = І0, У2( 2) = К0, которому в пространстве критериев соответствует единственная ненулевая Парето-точка с координатами
J l(z) =
( 2y S1 - 2Є - r ^
J 2 (Z ) =
) + r - yS1
e+pS1
[ 10 + K 0
(16)
[ 10 + K 0
+ г - у5ь
для всех значений д , задаваемых соотношениями
51 > (20 + г) / (2у), д е (0; 1)
51 < (20 + г) / (2у), д е (0; (0 + р51)/[30 + г + (р - 27^ ]).
При этом предел оптимального значения свертки О (д, 2) в указанной задаче равен
=* ( 0+р§1 + [(2у - р)51 - 30 - г]д' +
11тО (д, 2) = I к 1 V 1-----------------— |[I +К0].
Є + r - yS1
Справедливы следующие теоремы, доказательство которых также приведено в монографии [2].
Теорема З. В ЗЛП вида
f (x) = (c, x) ® max;
gj(x) = Safix, + aj < 0(j = 1,..., k)
(17)
для всех значений д , задаваемых соотношениями
5к0 > (20 + г) / (2у), д е (0; 1)
5к0 < (20 + г) / (2у), д е (0; (0 + р5,0 )/[30 + г + (р - 2уД0 ]).
При этом оптимальное значение свертки О (д, 2) в указанной ЗЛП равно
0 + г - А0
Не нарушая общности, можно полагать, что в теореме 1 номер к0 = 1 (добившись этого соответствующей перенумерацией). Тогда, обозначая
решение существует тогда и только тогда, когда множество X, задаваемое ее ограничениями, не пусто и функция f(x) ограничена сверху на этом множестве.
Теорема 4. Оптимальное значение свертки J*(д) в проекте, описываемом моделью A, есть неубывающая функция от параметров T, n, T1,
Y, 5; 5k, qk(t) (k е {1,..., n}; t е {T2 +1,..., T}); Io, Ko и невозрастающая от t2, — и r (T, n, T', T2 е {1, 2,...}) при неизменных значениях остальных параметров и д е [o; 1].
Отметим, что доказательство теоремы 3, предложенное в работе [2], не использует конечность числа переменных и ограничений задачи (17), задающих множество X. Поэтому данная теорема выполняется и в том случае, когда число переменных и/или неравенств бесконечно, т. е. полагаем в частности, что в указанной задаче n и/или k . _„ _*
Поскольку J (д, z) = J (д, z) (д е (o;1); z > 1), то при n из теоремы 2 и неравенства (8) получим условие, аналогичное следствию 3.5.1 из работы [2] для конечного n:
*
11т11т О (д) £
Т®¥ п®¥
(0 + ро, + -30-г]д|[10 + К0],(|8)
0 + г - уо1 0
из которого следует, что при условиях (15) и неограниченных п, Т целевая функция О(д) (д е (0; 1)) МЗЛП (1), (3) ограничена сверху. Поскольку управление (полученное перенумерацией исходных переменных указанной задачи, соответствующей заменам (14)) и (г) = 0(к = 1,...; г = 0,...);
(t) = o (k = 1,...; t = 1,...);
V2n+1(t) = o(t = °X
|А, (2) |2А - значения г-го критерия в Парето-точке
задач А и 2А соответственно, из которого в силу (16) следует, что даже при условиях теоремы 5 (следствия) координаты Парето-точек критериального пространства задачи А ограничены сверху:
Jn L <
) + r - y51 0 + р51
[ I o + K o]
[ I o + K o]
v2n+2 (t) = o(t = o) является допустимым при T ®¥; n ® ¥, а задачи (1), (2) и (1), (3) эквивалентны, то по теореме 3 доказали следующую теорему.
Теорема 5. Если 51 = max 5k удовлетворяет условиям
k = 1,...
(15), то в ММЗЛП (1), (2) даже при неограниченном количестве видов продукции на бесконечном временном интервале существует нетривиальное решение, причем имеет место неравенство (18).
Для содержательной корректности предельного перехода при n ®¥ в теореме 2 номер ko е {1,..., n} должен перенумеровываться так, чтобы он не зависел от n.
При условиях (11) из теоремы 4 и теоремы Вейершт-расса о существовании предела ограниченной монотонной последовательности следует справедливость теоремы 5 и для модели A с конечным спросом и на конечном интервале времени. Более того, принимая во внимание, что предложенный в этой работе подход строго обосновывает правомерность предельного перехода согласно 1-го из условий (11) и получаемых с его помощью результатов, а значит, позволяет с формальной и экономической точки зрения интрепретировать модели B1 и ZB1 как частные асимптотические варианты моделей A и ZA соответственно при указанных условиях, из теоремы 5 получим следствие, являющееся по сути ее переформулировкой.
Следствие. Если 51 = max 5k удовлетворяет условиям (15), то в задаче А даже при неограниченном количестве видов продукции и неограниченном спросе в каждый момент времени в период производства и по каждому виду на бесконечном временном интервале существует нетривиальное решение, причем имеет место неравенство (18).
Заметим, что теорема 5 (или следствие) носит содержательно парадоксальный характер: хотя основные экономические характеристики ИП, описываемого моделью B1 (или A) - число различных видов ОПФ, горизонт планирования (и спрос на продукцию) бесконечны, значение свертки ее критериев, соответствующее Парето-точ-ке критериального пространства, является конечным при условиях (15) и любых значениях остальных параметров проекта. Согласно численных экспериментов, представленных в главе 2 работы [2], справедливо эмпирическое соотношение J* |A < J*(z) |ZA (i = 1,2; д е (o; 1)), где
) + г - у51
Этот же факт можно обосновать строго от противного, учитывая, что д е (0; 1), вид свертки в (3) и условие (18). Содержательно указанный результат объясняется тем, что если максимальная фондоотдача ОПФ каждого вида (характеризующая их экономическую эффективность) заключена в диапазоне (15), то при условиях теоремы 5 (следствия) в проекте оптимизации реальных инвестиций предприятия, описываемом моделью В1 (А), даже в оптимуме целевые критерии ограничены сверху.
Отметим, что если не делать замен (14), то теорему 5 сложно интерпретировать полностью содержательно. Аналогично можно показать, что если в модели А отсутствует ограничение (10) для некоторого к е {1,..., п}; г е {Т2,..., Т -1}, то в соответствующей 2-задаче отсутствует 1-е из ограничений (12) для указанного номера к, что формально можно получить из упомянутого ограничения при чк (г) ® +¥ , т. е. при Qk (2) ® +¥ .
На основе 7-преобразования можно дать более простой метод доказательства леммы. Допустим, что существуют к е {1,..., п}; г е {1,..., Т -1}, при которых равенство (4) в оптимуме не выполняется, т. е. и"п+к(г) < 5кх* (г). Поскольку в ЗЛП оптимум достигается на границе допустимого множества, то последнее неравенство можно исключить, поскольку оно является строгим. Тогда, аналогично предыдущему замечанию, 2-е из условий (12) отсутствует, что противоречит (13), а значит, указанное строгое неравенство невозможно, откуда следует (4).
Библиографический список
1. Медведев, А. В. Параметрический анализ модели реальных инвестиций без ограничений на спрос с помощью дискретного принципа максимума / А. В. Медведев, П. Н. Победаш // Вестн. унив. комплекса. Вып. 4(18). Красноярск : НИИ СУВПТ, 2005. С. 186-196.
2. Медведев, А. В. Применение 2-преобразования к исследованию многокритериальных линейных моделей регионального экономического развития : моногр. / А. В. Медведев ; Сиб. гос. аэрокосмич. ун-т. Красноярск, 2008.
3. Подиновский, В. В. Парето-оптимальные решения многокритериальных задач / В. В. Подиновский, В. Д. Ногин. М. : Наука, 1982.
P. N. Pobedash
ASIMPTOTICAL ANALYSIS OF THE TWO-CRITERION MODEL OF THE REAL INVESMENT ON THE BASIS OF THE Z-TRANSFORMATION
The application of the z-transformation approach for the analysis of the multicriteria linear optimal control problem is suggested. The z-transformation is applied to proof the decision of existing and receiving the sufficient conditions ofthe
regional investment projects non-efficiency on the example oftwo-criteria model ofthe regional economy without restriction of the product amount, demand and planning time-frame.
Keywords: z-transformation, two-criterion model of optimal control, investment planning.
УДК 519.6
А. А. Кузнецов, А. К. Шлепкин, А. Н. Антамошкин ОБ ОДНОМ КРИТЕРИИ КОНЕЧНОСТИ БЕРНСАЙДОВОЙ ГРУППЫ Б(2,5)1
Показано, что централизатор автоморфизма порядка 2 специального вида бернсайдовой группы В (2,5) имеет порядок 517.
Ключевые слова: проблема Бернсайда.
Пусть В(2,5) - двупорожденная бернсайдова группа ведением базисных коммутаторов в определенных сте-периода 5, а В0(2,5) - максимальная универсальная конеч- пенях
ная двупорожденная группа того же периода (порядок последней равен 534 [1]). Вопрос о совпадении указанных групп на сегодняшний день является открытым [2].
В настоящей работе сделан первый шаг в попытке редуцирования проблемы совпадения групп В(2,5) и В0(2,5) к проблеме совпадения двух групп, одна из которых имеет порядок существенно меньший, чем 534. Данная попытка
Я = 1а12Г..34а34, где а,, е {0,1, 2, 3, 4} (, = 1, 2, ..., 34).
Для доказательства теоремы необходимо найти в группе В0(2,5) такие элементы, что
ф0^) = ф0(Р2аг • ...34а34) = 1а12а2...34а34 = я. (1)
При помощи компьютерных вычислений, используя
основана на классическом результате В. П. Шункова, кото- список соотношений для базисных коммутаторов из ра-рый был получен в 1972 г.: периодическая группа, содер- боты [1], был вычислен результат действия ф0 на каждый
жащая инволюцию, централизатор которой конечен, локально конечна и почти локально разрешима [3].
Пусть {1,2} - образующие группы В(2,5) и ф - автоморфизм порядка 2 данной группы следующего вида
[1 ® 2,
Ф : [2 ® 1.
Аналогичным образом (в тех же обозначениях образующих) можно определить автоморфизм ф0 группы В0(2,5).
Пусть СВ(2 5)(ф) и Св0(2,5)(Ф0) - централизаторы автоморфизмов ф и ф0 в В(2,5) и В0(2,5), соответственно.
Основным результатом настоящей работы является следующая теорема.
Теорема. 1 Св0 (2,5) (Ф0 ) 1 = 517 .
Поскольку по приведенной выше теореме порядок С0(2>5) (ф0) значительно меньше порядка В0(2,5), авторы предлагают сравнивать СВ(2>5)(ф) и СВ (2 5)(ф0). Ясно, что если СВ(2>5)(ф) @ СВ0(2>5)(ф0), то по упомянутому выше результату В. П. Шункова группа В(2,5) будет конечна.
Доказательство. Как и в работе [1], будем представлять элементы группы В0(2,5) в виде нормальных коммутаторных слов. В качестве первых двух коммутаторов возьмем образующие группы В0(2,5), которые обозначим 1 и 2, а последующие с 3 по 34 коммутатор вычисля- ф0 (16) = 17418420221122224427228429231132333434
ются рекурсивно через 1 и 2 [1].
В этом случае каждый элемент я е В0 (2,5) однознач-но представляется множеством упорядоченных произ-
базисный коммутатор.
Ф0(1) = 2,
Ф0 (2) = 1,
Ф0(3)= з4,
Ф0 (4) = 54104131144151171181191203214 2312412542б1274284313323333341, Ф0(5) = 4493111124132161173183201211224234251271303313323341, Ф0(6) = 84144171204212223243251261283293301314321332344, Ф0(7) = 7493104111122132144164174181191211221231241253263284292304322333,
Ф0 (8) = 64113154162192203213231274292303321333343,
Ф0(9) = 10312г13314215416117418119320421222123124125327428329430г311323333, Ф0(10) = 92112123133164174183203224243252271292301311323333343, Ф0(11) = 143172184204211224242251274284303311323344, Ф0(12) = 133152163182194204211233244252271291304313322332343,
Ф0(13) = 122153164174181193203213224244251261273291301321334341, Ф0 (14) = 112153163204213243274301323331341,
Ф0 (15) = 173201222241264274291302311323331341,
Ф0 (17) = 15219320421123324325327429430332133234 Ф0 (18) = 153164193214243252271303314321332343,
1 Работа выполнена при финансовой поддержке гранта президента России (код проекта МК-2494.2008.1.), АВЦП «Развитие
научного потенциала высшей школы» (код проекта 2.1.1/3023), а также РФФИ (код проекта 09-01-07177-а).
