Научная статья на тему 'Теоретико-игровые модели функционирования древовидных и ромбовидных систем управления'

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

CC BY
253
64
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
TREE-STRUCTURE SYSTEM OF HIERARCHICAL GAME / OPTIMAL STRATEGY / ДРЕВОВИДНАЯ СИСТЕМА УПРАВЛЕНИЯ / РОМБОВИДНАЯ СИСТЕМА УПРАВЛЕНИЯ / ИЕРАРХИЧЕСКАЯ ИГРА / ОПТИМАЛЬНАЯ СТРАТЕГИЯ / РАВНОВЕСИЕ ПО НЭШУ / ЗАДАЧА ПАРАМЕТРИЧЕСКОГО ПРОГРАММИРОВАНИЯ

Аннотация научной статьи по математике, автор научной работы — Ширяев Виктор Дмитриевич, Анощенкова Екатерина Васильевна, Бикмурзина Равиля Ряшитовна

В статье рассматриваются статические модели иерархических систем управления. Практика создания и функционирования различных организационн^гх, в том числе эколого-экономических, систем показывает, что процедура управления в них должна быть построена по иерархическому принципу. Задачи анализа и синтеза иерархических систем не укладываются в рамки обычной теории оптимального управления, так как в условиях взаимодействия подсистем становится неоднозначным само понятие оптимальности. Управление в рамках эколого-экономической системы, как правило, предполагает наличие иерархической структуры, отдельные элементы которой имеют собственные цели, не совпадающие с целью развития системы в целом. Нами рассматриваются древовидные и ромбовидные системы управления. Конфликтно-управляемые системы с иерархической структурой сводятся к иерархическим играм. Общий анализ двухуровневой модели иерархической системы управления сводится к нахождению решения игры. Древовидная система управления формализуется как бескоалиционная игра (n+1) лица (административного центра и производственных подразделений В 1,..., В п), а ромбовидная система управления -как бескоалиционная игра четырех лиц в нормальной форме. В качестве принципа оптимальности в бескоалиционном случае используется равновесие по Нэшу. Приводятся конструктивные методы нахождения оптимальных решений для таких систем. При этом наблюдалась множественность ситуаций равновесия по Нэшу, что объясняется доминирующей ролью центра А 0 в игре. Существование доминирующего игрока возможно и в других задачах конфликтного управления, однако мы ограничились лишь рассмотрением древовидных и ромбовидных систем управления.

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

Похожие темы научных работ по математике , автор научной работы — Ширяев Виктор Дмитриевич, Анощенкова Екатерина Васильевна, Бикмурзина Равиля Ряшитовна

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

Game-theoretic models of tree-structure and diamond-structure systems of management functioning

Static models of hierarchical systems of management are considered in this research. The practice of creating and functioning of various organizational systems (including economic systems) shows that the process of their management should be based on the hierarchical principle. The goals of analysis and synthesis of hierarchical systems go beyond general optimal control theory, as with subsystems interacting, the very notion of optimality gets ambiguous. As a rule, the management within the scope of an economic system implies the presence of a hierarchical structure, the individual elements of which have their own goals, that could be different from the goal of the system's development in whole. Tree-structure and diamond-structure systems of management are studied in this research. Conflict-controlled systems with hierarchical structure are added up to hierarchical games. In rather general conditions the analysis of a two-level model of hierarchical system of management comes to finding of the solution for a game. Tree-structure system of man agement is formalized as a non-cooperative game (n+1) of a player (administrative center and operating departments В 1, В п). Diamond-structure system of management is formalized as a non-cooperative game with four players in its normal form. Nash equilibrium is used as a principle of optimality in a noncooperative game. Constructive methods of finding optimal solutions for these kinds of systems are provided. Multiplicity of Nash equilibria encountered is determined by dominating role of the core А 0 in the game. It goes without saying that the existence of a dominant player is possible in other tasks of conflict management. In our research, however, we confine ourselves to studying tree -structure and diamond-structure system of management only.

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

математика

УДК 519.8 DOI: 10.15507/VMU.025.201501.013

ТЕОРЕТИКО-ИГРОВЫЕ МОДЕЛИ ФУНКЦИОНИРОВАНИЯ ДРЕВОВИДНЫХ И РОМБОВИДНЫХ СИСТЕМ УПРАВЛЕНИЯ

В. Д. Ширяев, Е. В. Анощенкова, Р. Р. Бикмурзина

В статье рассматриваются статические модели иерархических систем управления. Практика создания и функционирования различных организационных, в том числе эколого-экономических, систем показывает, что процедура управления в них должна быть построена по иерархическому принципу. Задачи анализа и синтеза иерархических систем не укладываются в рамки обычной теории оптимального управления, так как в условиях взаимодействия подсистем становится неоднозначным само понятие оптимальности. Управление в рамках эколого-экономической системы, как правило, предполагает наличие иерархической структуры, отдельные элементы которой имеют собственные цели, не совпадающие с целью развития системы в целом. Нами рассматриваются древовидные и ромбовидные системы управления. Конфликтно-управляемые системы с иерархической структурой сводятся к иерархическим играм. Общий анализ двухуровневой модели иерархической системы управления сводится к нахождению решения игры. Древовидная система управления формализуется как бескоалиционная игра (n+1) лица (административного центра и производственных подразделений В1, ..., Вп), а ромбовидная система управления -как бескоалиционная игра четырех лиц в нормальной форме. В качестве принципа оптимальности в бескоалиционном случае используется равновесие по Нэшу. Приводятся конструктивные методы нахождения оптимальных решений для таких систем. При этом наблюдалась множественность ситуаций равновесия по Нэшу, что объясняется доминирующей ролью центра А0 в игре.

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

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

GAME-THEORETIC MODELS OF TREE-STRUCTURE AND DIAMOND-STRUCTURE SYSTEMS OF MANAGEMENT FUNCTIONING

V. D. Shiryayev, E. V. Anoshchenkova, R. R. Bikmurzina

Static models of hierarchical systems of management are considered in this research. The practice of creating and functioning of various organizational systems (including economic systems) shows that the process of their management should be based on the hierarchical principle. The goals of analysis and synthesis of hierarchical systems go beyond general optimal control theory, as with subsystems interacting, the very notion of optimality gets ambiguous. As a rule, the management within the scope of an economic system implies the presence of a hierarchical structure, the individual elements of which have their own goals, that could be different from the goal of the system's development in whole. Tree-structure and diamond-structure systems of management are studied in this research. Conflict-controlled systems with hierarchical structure are added up to hierarchical games. In rather general conditions the analysis of a two-level model of hierarchical system of management comes to finding of the solution for a game. Tree-structure system of man© Ширяев В. Д., Анощенкова Е. В., Бикмурзина Р. Р., 2015

agement is formalized as a non-cooperative game (n+1) of a player (administrative center and operating departments Bp ..., Bn). Diamond-structure system of management is formalized as a non-cooperative game with four players in its normal form. Nash equilibrium is used as a principle of optimality in a noncooperative game. Constructive methods of finding optimal solutions for these kinds of systems are provided. Multiplicity of Nash equilibria encountered is determined by dominating role of the core A0 in the game. It goes without saying that the existence of a dominant player is possible in other tasks of conflict management. In our research, however, we confine ourselves to studying tree -structure and diamond-structure system of management only.

Keywords: tree-structure system of management, diamond-structure system of management, hierarchical game, optimal strategy, Nash equilibrium, parametric programming task.

Иерархическая структура управления (ИСУ) - это система управления, состоящая из последовательности уров-

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

Основной причиной возникновения иерархической структуры управления является невозможность своевременного сбора и переработки большого объема информации об управляемых процессах единым управляющим центром, что может привести к принятию решений по неполной или устаревшей информации [1; 3; 5; 7; 10]. Обработка информации и принятие решений отдельными элементами системы (подсистемами) позволяет обычно уменьшать влияние такого рода неопределенности.

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

и районных исполнительных комитетов (последний уровень иерархии). Промежуточными уровнями управления здесь являются подотделы планирования капитальных вложений отраслевых отделов, подразделений НИИ и др.

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

В математической постановке иерархические системы обычно классифицируются по числу уровней и характеру вертикальных связей. В настоящее время наиболее разработанная область теории ИСУ - двухуровневые иерархические системы [2; 4; 6; 8]. Структуру такой системы образуют «центр» (подсистема, осуществляющая управление в системе) и п подчиненных центру подсистем («производителей»). В этом случае центр является единственным элементом верхнего уровня, а п «производителей» составляют п элементов нижнего уровня. Структуру ИСУ удобно задавать графом связей. Вершины графа соответствуют элементам системы, дуги графа могут отражать как материальные, так и информационные связи. На рис. 1 изображена двухуровневая ИСУ, состоящая из центра и п «производителей».

Р и с. 1

Управление центра А0 обозначим через и=(и1, и2,..., ип), где и.- управляющее воздействие центра на подчиненное ему подразделение В. , находящееся на втором уровне иерархии, а пространство управлений - и. Будем считать, что подсистемы обладают определенными правами принятия решений, т. е. В. выбирают управления v¡ & (и), где и (и) - пространство управлений подразделения В., предопределенное управлением и е и , которое выбирается центром А Векторы V . - это продукты, т. е. результаты функционирования нижней ступени иерархии.

Будем считать, что центр А0 сам ничего не «производит», а «интересуется» совокупным результатом производства, «производители» же заинтересованы в своих результатах. Тогда критерий эффективности для центра можно выразить в виде(и,у1,у2,...,уп) ф0 >0). Критерий эффективности / -й подсистемы в конечном счете представляет собой функцию \(и,v¡), >0), 1= 1,п , т. е. h¡ зависит только от управления центра и управления данной подсистемы. В этом случае говорят, что модель двухуровневой иерархической системы имеет «веерную» структуру. При этом все исследования значительно упрощаются.

Для определенности будем считать, что центр и «производители» стремятся максимизировать свои критерии эффективности. Далее везде множества и и Ц,

7=1,п, а следовательно, и предпола-

i=1

гаются компактными, а функции Н и h

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

В общей постановке анализ двухуров- 5 невой модели ИСУ сводится к нахожде- Ц нию решения игры (п+1) лица [4; 6; 8]. При этом можно рассматривать как бес- 8 коалиционный, так и кооперативный ва- и рианты игры. Для формального описания ^ игры необходимо определить ее участии- к ков, их критерии эффективности, страте- и гии и ограничения на поведение игроков. | Задав описание игры, необходимо выбрать Ц принцип оптимальности (принцип рацио- ^ нального поведения), что, в свою очередь, а позволяет определить решение игры. и В дальнейшем в качестве принципа оптимальности в бескоалиционном случае мы будем использовать равновесие по Нэшу.

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

1. Древовидная система управления

Перейдем теперь к исследованию конкретных ИСУ. Различия между обычными двух- и трехуровневыми системами управ-

ления не являются принципиальными. в: А, ( ,V.) тах , /=1,2,..., и, Обобщая схему двухуровневых систем для 4 ' V, е^ («)

трехуровневых, получаем (рис. 2) для:

А : И (и, V,, ) ^ тах,

где V, ствие В на В . ;

1 у

V,-т*,), ^ - воздей-

щ) тах ),

4 ' Щ, )

где сру - управляющее воздействие гДе (V) - множество управлений подразделения третьего уровня иерар- вг предопределенное выб°р°м управ-хии в • ления V. подразделения В .

Рис. 2

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

Для простоты ограничимся рассмотрением двухуровневых систем, так как основные положения можно оооощить для более сложных систем. Рассмотрим древовидную систему управления с одним управляющим центром А0 и и подчиненными производственными подразделениями (см. рис. 1). Математически задача формулируется следующим образом [6-7].

Центр А0 распределяет ресурсы между производственными подразделениями В В2, ..., В которые используют эти

ресурсы для производства продукции. Выигрыши управляющего центра А0 и и производственных подразделений В В2, В зависят от продукции, производимой В1, В2, ..., Ви. Вектор ресурсов, имеющийся в распоряжении центра А0, обозначим через Ь. Центр А0 выбирает вектор и = (и и2,..., ии) из множества: и = {и = (,..., ик,..., ип )\ик > 0,

щ е Л '. к = й; X Щ. Щ < Ь, Ъ > о} .

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

Пусть V = (,...,ук,...,vn) . Множество векторов {V} стеснено ограничениями: ЧкАк < ик +ак , V > ^ к=1, 2, и. (1)

Здесь вектор vk интерпретируется как производственная программа к-го производственного подразделения по различным видам продукции; Ак - производственная, или технологическая, матрица к-го производственного подразделения (Ак>0); ак - вектор наличных ресурсов к-го производственного подразделения (ак > 0)

Формализуем задачу как бескоалиционную игру (п+1) лица - административного центра А0 и производственных подразделений В В2, ..., В Множество участников-игроков и множества их стратегий мы уже определили. Определим функции выигрыша. Для игрока А0:

К0 ( V! (и),..., V (ип)) = £ , V (и)) ,

где u = (Uj,

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

Найдем ситуацию равновесия в описанной выше бескоалиционной игре. Рассмотрим задачу параметрического программирования (параметром является вектор u):

max(c,, v, (и)) (2)

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

vA ^ ui +a ,

v > 0, u > 0, ai > 0.

(3)

u ) - стратегия иг-

рока А0; v¡ (п1) (производственная программа В. зависит от ресурса и, выделяемого ему центром А поэтому его стратегия есть функция от параметра и. или в общем случае от и) - стратегия игрока В удовлетворяющая условию (1);

а (а > 0, а е ^, г = 1, п) - вектор полезности центра А0 от продукции, выпускаемой -м производственным подразделением;

(а, v¡ (и)) - скалярное произведение векторов а. и v¡ (и). Функция выигрыша игрока В. ( = 1, и) :

К (и, VI («1),..., vn (ип )) = (, Vi (и)) ,

где с (с > 0, с е &, г = 1, п) - вектор полезности В от своей продукции.

Каждый из игроков естественно стремится максимизировать свой выигрыш. Таким образом, мы определили бескоалиционную игру (п+1) лица в нормальной форме:

Г = ((Л, в,..., в„ },и,

{ (и )1МЛК (•)}геМ).

2. Ситуация равновесия по Нэшу в древовидной иерархической игре

Заметим, что игроки В i = 1, п, выбирают свои стратегии (производственные

Решение задачи (2) - (3) у* = у*(и) оказывается функцией параметра и и определяет оптимальную стратегию игрока В Выигрыш игрока В. в ситуации у*(и) равен (,V* (и) .

Пусть далее и* = (и*,и2*,...,и') - решение задачи:

тах£ •=1 (, у,' (и )) (4)

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

Z1 u * b,

и, > 0, i = 1, n.

(5)

Заметим, что задача (4) - (5) является задачей нелинейного программирования с существенно разрывной целевой функцией (максимизация ведется по и, ау*(и) - разрывная функция параметра и). Вектор и* = (и1*,и2*,...,и') определяет оптимальный план распределения ресурсов, с точки зрения игрока А

Теорема 1. Совокупность

(и',V!* (и),...,V* (и),...,(и)), (6)

где и - решение задачи (4) - (5), а у* (и) - решение задачи (2) - (3) при параметре и, является ситуацией равновесия в рассматриваемой игре.

Доказательство. По определению решения задачи (4) - (5) для всех и е и :

u

K0 (и*, V* (u ),■■■, V* (u )) =

= Z ",=i (a,v* (u *)) - Z J=i (a,v*(u)) =

= K0 (u, V* (u),..., V* (u)),

по определению же решения задачи (2) -(3) для всех vi е U, (ui):

Ki (, v* (и*),..., v* (и*), ..., v* (u* )) =

= (, v* (и* , v (u* )) =

= Ki (u', v* (u*),..., v*_i (u*),

vi (м*), v*+i (м*),., vI (u*)) >1 =1, n

Таким образом, каждому из игроков А,,В1,...,Вп невыгодно в одностороннем порядке отклоняться от ситуации (6), т. е. она является равновесной.

Эта ситуация устойчива к отклонению от нее любой коалиции 5 с {В1,...,Вп}. Действительно, пусть

5 = { ,..., В1 | - произвольная группа игроков (без Ад). Для любого В1 }е 5, k = 1, q , и любой стратегии

max

v

((, vf (0))

(7)

vS = (v.,...,vt j имеем:

(8)

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

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

viAi < ai,

v > o,a > o.

Пусть v* (0) - решение задачи (7) -(8). Положим (,v* (0)) = в,. Пусть далее U = (,U2,...,м^ и v = (,v2,...,уи) - решение задачи:

max max V", (a,, vi (u ) (o)

u v, ''ЛИ (o)

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

ЕI и * ъ,

(с, V (и ))> в,1 = 1, И, и > 0, > 0,1 = 1, п.

Определим стратегию

\ин] ] ,,...,[ин] ), где

* [й1, если V. = V., 0, если V ^ V .

(10)

КИс (, V (М* ), —, V* (и* ) , • • •, V (и* )) =

=(, \ (и ЙЧч, \ (и ))=

= К (и*, V* (и * )|| V5 (и )).

Итак, групповое отклонение от ситуации равновесия (6) невыгодно ни для одного из игроковВ1,...,Вп . Следовательно, ситуация (6) будет сильно равновесной, если предполагать, что в коалицию будут вступать лишь игроки В1,...,Вп, и почти сильно равновесной, если в коалицию может вступить и игрок Ад [8].

Построим еще одну ситуацию равновесия в игре Г. Рассмотрим задачу нелинейного программирования:

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

/. (и) =

Vi, если U = U произвольная функция V.(«), удовлетворяющая ограничениям (3) если u Ф U.

Теорема 2. Совокупность

([ин], Vl(u),...,vi(и),...,Vп(и)) (11)

является ситуацией равновесия в рассматриваемой игре.

Доказательство. По определению решения задачи (9) - (10) для всех и е и:

к0 (и11 ] ,V1 (и),...,VI (и),...,Vп (и

=Е Ца, V-(и)) ^ Е п=1(, V(и))=

= к0 (и,V 1 (и),...,V,- (и),...,Уп (и)), а для всех v¡ е и) (п1):

К> (К ] ' (й ),..., V, (й),..., Уп (и

= (,V,- (й))>(,V* (0)) = Д.,, = \п.

Следовательно, ситуация (11) является равновесной по Нэшу в игре Г. Можно показать, что эта ситуация устойчива против отклонения от нее любой коалиции игроков 5с {,В2,...,Вп}. 3. Ромбовидная система управления На практике часто встречаются организации двойного (параллельного) подчинения. Иерархические системы с подразделениями двойного подчинения называются ромбовидными [8; 10]. Простейшая схема ромбовидной системы управления приведена на рис. 3.

Управление подразделения двойного подчинения С зависит как от управления В1, так и от управления В2. Простейшая ромбовидная система управления является примером иерархической системы с тремя уровнями принятия решения. На высшем уровне находится административный центр, располагающий материальными и трудовыми ресурсами. Он воздействует на деятельность двух подчиненных ему административных центров, принадлежащих следующему уровню. От решений, принимаемых этими центрами, зависит объем производства предприятия, находящегося на нижнем уровне иерархической системы.

Построим теоретико-игровую модель этой системы управления. Будем рассматривать ее как игру четырех лиц. Задача состоит в построении оптимального плана действий административных центров А0, В1 и В2.

Обозначим через Ь вектор ресурсов, которыми располагает игрок А0.

Рис. 3

Переходя к игровой постановке, будем считать, что на первом шаге ходит игрок А0 и выбирает элемент (стратегию)

= (и1,

из множества:

и = {и = (и1, и2 )ик > 0, ик е R', к = 1,2; и1 + и2 < Ь, Ь > 0}.

Вектор и интерпретируется как набор ресурсов I наименований, выделяемых центром А0 для Вг, г = 1,2 . Множество и будем называть множеством стратегий игрока А0. Элемент и е и ограничивает возможность выбора игроков В1 и В2 на следующем шаге. Другими словами, множество альтернатив игрока В1 является функцией параметра и1 (будем обозначать ее через В1 (и1)) и аналогично множество альтернатив игрока В2 оказывается функцией параметра и2 (В2(и2)). Через v1 е В1(и1) и v2 = В2(и2) обозначим элементы мно-

жеств альтернатив игроков В; и В2 соответственно.

На третьем шаге ходит игрок С. Его выбор (производственная программа) зависит от ресурсов v1 и v2, т. е. множество альтернатив игрока С оказывается функцией параметров v1 и v2. Обозначим его через С (, у2), а элементы этого множества (производственные программы) - через w:

Сv2) = {\v\wA < z + а, w > 0, м> е Rij• ,

где А - технологическая матрица для игрока С (А > 0), компоненты вектора г = являются компонентами вектора ресурсов, которые используются игроком С; а - вектор наличных ресурсов производственного подразделения С (а > 0).

Итак, стратегиями игрока А0 являются элементы и = (и1, и2 )е и; стратегиями игроков В1, В2 и С - функции V; (и), у2 (и2) и w(V;,v2) соответственно, со значениями в множествах Б1 (и1), В2 (и2) и С (у1, v2), которые каждому возможному выбору игрока (или игроков), находящегося на более высоком уровне, ставят в соответствие выбор альтернативы данного игрока.

Определим функции выигрыша игроков. Выигрыши всех игроков зависят только от производственной программы w, выбираемой игроком С. Пусть

((«1,«2),V («),V («),™(1,V)) - некоторая ситуация игры, т. е.

и = (м1,м2) е и, V! е В1 (щ), у2 е В2 (и2), w е С (1, v2).

Тогда функции выигрыша игроков А0, В1, В2 и С будут равны соответственно:

3а0 (м2)V (м1 )V (2)™(рV)) = ./1

( м2)> Vi (м1 ) V (2 ) ™ (р V )) = /2 3В2 (,м2 ) Vi (и1 ) ^2 (и2 ) ™ V )) = 3С (,м2 ) Vi (м1 ) V (м2 ) ™ (р V )) = Л

Здесь мы предполагаем, что > 0, г = 1,4, и существует такое w0 е С(,у2), что при всех vl е В1 (и1), v2 е В2 (и2), и е и

А К) = Л К) = л К) = Л К) =

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

Г=((Л, А, в2, С},и, вх (и),

в2 (щ ), С ( ^2 ), /1, /2, /з, /4).

4. Ситуация равновесия по Нэшу в ромбовидной иерархической игре

Найдем ситуацию равновесия по Нэшу в построенной игре. Для каждой пары (VI, V,), где ^ е В; (щ), v2 е В2 (и2), игрок С решает следующую задачу параметрического программирования:

тах

/ М

(12)

(13)

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

wA < z + а, w > 0.

Решение задачи (12) - (13) w* = w* (у1, у2) оказывается функцией параметров v1 и v2 и определяет оптимальную стратегию игрока С . Выигрыш игрока С в ситуации w* равен ^ (и*) .

Рассмотрим вспомогательную параметрическую (с параметрами и, и2) игру Г'(«,, «2 ) = ({А, в2}, В, (и,), В2 («), fз двух лиц В1 и в2, где /2 = / ((у^, у2 )) и А = А (у2 )) - функции выигрыша игроков В1 и В2 соответственно.

Предположим, что в игре Г' (и1, и2) существует ситуация равновесия по Нэшу - (у* (ц, и2), V* (и1, и2) . Пусть пара (и*,и*) есть решение следующей задачи нелинейного программирования:

тах^ (((V* (и1,и2), V* (и1,и2) (14)

(щи 2) \ '

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

щ + щ < Ь, , (15)

jb, (( щ)v* u2),

v2 (ии U2 ) w* V2 )) = f2 ( (( v* )) >

ы1 > 0, м2 > 0.

Решив эту задачу, найдем векторы и*, и*, определяющие оптимальные > ^ ( (,V*)) = ((и*,и*), v1 (и1,и2), планы распределения ресурсов, с точки зрения игрока А0.

Теорема 3. Совокупность

v2 (ии и2 ) w (V1, v2 ))

для всех v1 е B1 (u1),

Jb2 (((,u*), v (u, и2), v* (i,u2),(v1, V2 = f3 (w (( v2 )) ^ f3 (w (( v2 )) =

((, W* ), V*, V*, W*), (16)

где (u*, u*j - решение задачи (14) -(15); (v*,- ситуация равновесия в игре Г'(u*, u*); w* - решение задачи (12) - = Jb2 ((и*,u*),v* (ирU2),V2 (ui,U2), w* (vpV2)) (13) при параметрах v*, v*, является ситуацией равновесия по Нэшу в игре Г. для всех v2 е B2 (м2).

Доказательство. Для удобства вве- По определению решения задачи

дем следующие обозначения: (12) - (13), для всех wе C(vl,v2):

JA ((«1, «2 ), V1 («1, «2 ), V2 («1, «2 ), w( Vi, V2 )) = J ((«., « ), v. , u ),

= fi ( («1,«2 ),V2 («1,«2 ))); v2 (Ml,«2 ), W* (v1s v2 )) =

JBt ((«i,«2), Vi («i,«2), = max f4 (w (vp v2 )) = f4 (( (v1; v2 ))>

.eC(vi ,v2 )

V2 («i,«2 ), W(V1, V2 )) = f2 (4V1,V2 )); > f (w (vp v2 )) = J ((«*, «2 ), v* « «2 ),

JB2 ((ui>«2),Vi («1,U2), v2 (щ,u2), w(v1s v2)).

V2 («1 « ) W(V1 , V2 )) = f3 (W( V2 ));

Jc ((«1,«2 ), Vi («i,«2 ),

V2 («1 ,«2 ) W(V1 ,V2 )) = f4 (W(VP V2 )).

По определению решения задачи (14) - (15), для всех (ul, u2) e U : JA ((г/*,м*), v* (,u2), v* (Mj,м2), w* (, v2))= устойчива и против отклонения от нее

( ) любой группы игроков 5 <={{ BP B}.

= max f (w ^vi (mj,m2), v2 (mj,m2 Ш = Таким образом, иерархические сис-

темы управления предполагают наличие нескольких сторон, каждая из которых стремится к достижению своей цели, т. е. - fJ (w*(v*1 (м1,м2), v2 (,м2 ))) = это типичная конфликтно-управляемая

система. Именно поэтому принятие ре-= Ja ((г/1,м^,v* (м1,м2),v2 (м1,м2), w* (vj,v2)). ^^^ия в таких системах, с позиций теории игр многих лиц, вполне оправдано. Поскольку vi и v* образуюг ситуа- Особенностью игр, служащих моделями цию равновесия по Нэшу во вспомога- иерархических систем, является то, что

Следовательно, ситуация (16) дей-JC ((м1,и2),v1 (и1,и2), ствительно является равновесной по

Нэшу в игре Г четырех лиц А0, В1, В2 и С .

Аналогично тому, как это делалось в случае древовидной системы управления, можно показать, что эта ситуация

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

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

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

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Гермейер, Ю. Б. О некоторых задачах теории иерархических систем / Ю. Б. Гермейер, Н. Н. Моисеев // Проблемы прикладной математики и механики. - Москва : Наука, 1971. - С. 30-43.

2. Горелик, В. А. Иерархические оптимизационно-координирующие системы / В. А. Горелик // Кибернетика. - 1978. - № 1. - С. 87-94.

3. Горелик, В. А. Теоретико-игровые модели принятия решений в эколого-экономических системах / В. А. Горелик, А. Ф. Кононенко. - Москва : Радио и связь, 1982. - 144 с.

4. Кононенко, А. Ф. Теоретико-игровой анализ двухуровневой иерархической системы управления / А. Ф. Кононенко // Журнал вычислительной математики и математической физики. - 1974. -№ 5. - С. 1161-1170.

5. Кононенко, А. Ф. Теория игр и иерархические структуры / А. Ф. Кононенко // Планирование и управление экономическими целенаправленными системами. - Новосибирск : Наука, 1974. - С. 63-72.

6. Моисеев, Н. Н. Иерархические структуры и теория игр / Н. Н. Моисеев // Техническая кибернетика. - 1973. - № 6. - С. 1-11.

7. Петросян, Л. А. Древовидные системы управления / Л. А. Петросян, В. Д. Ширяев // Качественная теория дифференциальных уравнений и теория управления движением. - Саранск : Изд-во Мордов. ун-та, 1985. - С. 80-90.

8. Петросян, Л. А. Иерархические игры : учебное пособие / Л. А. Петросян, В. Д. Ширяев. - Саранск : Изд-во Мордов. ун-та, 1986. - 92 с.

9. Ширяев, В. Д. Древовидная иерархическая модель управления : материалы Республиканской научно-практической конференции «Формирование инновационной модели развития региона» / В. Д. Ширяев, Т. Н. Нестерова. - Саранск, 2003. - Ч. 1. - С. 163-166.

10. Ширяев, В. Д. Ромбовидная иерархическая система управления : материалы Всероссийской научной конференции «Проблемы устойчивого социально-экономического и культурного развития регионов Российской Федерации» / В. Д. Ширяев, Т. Н. Нестерова. - Саранск : Тип. «Крас. Окт.», 2004. - С. 217-219.

Поступила 05.03.2014 г.

Об авторах:

Ширяев Виктор Дмитриевич, профессор кафедры фундаментальной информатики факультета математики и информационных технологий ФГБОУ ВПО «Мордовский государственный университет им. Н. П. Огарёва» (Россия, г. Саранск, ул. Большевистская, д. 68), кандидат физико-математических наук, доцент, Shiryayevvd@mail.ru

Анощенкова Екатерина Васильевна, преподаватель кафедры фундаментальной информатики факультета математики и информационных технологий ФГБОУ ВПО «Мордовский государственный университет им. Н. П. Огарёва» (Россия, г. Саранск, ул. Большевистская, д. 68), anoshehnkovaev@mail.ru Бикмурзина Равиля Ряшитовна, доцент кафедры фундаментальной информатики факультета математики и информационных технологий ФГБОУ ВПО «Мордовский государственный университет им. Н. П. Огарёва» (Россия, г. Саранск, ул. Большевистская, д. 68), кандидат педагогических наук, bravilya@mail.ru 22

Для цитирования: Ширяев, В. Д. Теоретико-игровые модели функционирования древовидных и ромбовидных систем управления / В. Д. Ширяев, Е. В. Анощенкова, Р. Р. Бикмурзина // Вестник Мордовского университета. - 2015. - Т. 25, № 1. - С. 13-23. DOI: 10.15507/VMU.025.201501.013

REFERENCES

1. Germeier Yu. B., Moiseev N. N. O nekotorykh zadachakh teorii ierarkhicheskikh sistem [On Some Problems of Hierarchical Systems Theory]. Problemy prikladnoy matematiki i mekhaniki - Problems of Applied Mathematics and Mechanics. Moscow, 1971, pp. 30-43.

2. Gorelik V. A. Ierarkhicheskie optimizatsionno-koordiniruyushchie sistemy [Hierarchical optimization and coordination systems]. Cybernetics - Kibernetika, 1978, no. 1, pp. 87-94.

3. Gorelik V. A., Kononenko A. F. Teoretiko-igrovye modeli prinyatiya resheniy v ekologo-ekonomicheskikh sistemakh [Game-theoretic models for decision-making in ecological and economic systems]. Moscow, Radio and Communications Publ., 1982, 144 p.

4. Kononenko A. F. Teoretiko-igrovoy analiz dvukhurovnevoy ierarkhicheskoy sistemy upravleniya [Game theoretic analysis of the two-level hierarchical structure of management]. Zhurnal vychislitelnoy matematiki i matematicheskoy fiziki - The Journal of Computational Mathematics and Mathematical Physics, 1974, no. 5, pp. 1161-1170.

5. Kononenko A. F. Teoriya igr i ierarkhicheskie struktury [Game theory and hierarchical structures]. Planirovanie i upravlenie ekonomicheskimi ts yelenapravlennymi sistemami - Planning and managing of economic intentional systems. Novosibirsk, Nauka Publ., 1974, pp. 63-72.

6. Moiseev N. N. Ierarkhicheskie struktury i teoriya igr [Hierarchical structures and game theory]. Tekhnicheskaya kibernetika - Technical Cybernetics. 1973, no. 6, pp. 1-11.

7. Petrosyan L. A., Shiryayev V. D. Drevovidnye sistemy upravleniya [Tree-structure systems of management]. Kachestvennaya teoriya differentsialnykh uravneniy i teoriya upravleniya dvizheniem -Qualitative theory of differential equations and motion control theory. Saransk, Mordovia State University Press Publ., 1985, pp. 80-90.

8. Petrosyan L. A., Shiryayev V. D. Ierarkhicheskie igry: uchebnoe posobie [Hierarchical Games: Tutorial]. Saransk, Mordovia State University Press Publ., 1986, 92 p.

9. Shiryayev V. D., Nesterova T. N. Drevovidnaya ierarkhicheskaya model upravleniya [Tree-structure hierarchical model of management]. Materialy Respublikanskoy nauchno-prakticheskoy konferentsii "Formirovanie innovatsionnoy modeli razvitiya regiona" - Materials of Republican Theoretical and Practical Conference "Formation of an Innovation Model for Regional Development". Saransk, 2003, part 1, pp.163-166.

10. Shiryayev V D., Nesterova T. N. Rombovidnaja ierarhicheskaja sistema upravlenija [Diamond-structure hierarchical system of management]. Materialy Vserossiyskoy nauchnoy konferentsii "Problemy ustoychivogo sotsialno-ekonomicheskogo i kulturnogo razvitiya regionov Rossiyskoy Federatsii" - Materials of All-Russian Scientific Conference "Problems of Stable Socio-Economic and Cultural Development of Russian Federation Regions". Saransk, Krasniy Oktyabr Publ., 2004, pp. 217-219.

About the authors:

Shiryayev Viktor Dmitriyevich, professor of Fundamental Informatics chair of Ogarev Mordovia State University (68, Bolshevistskaya Str., Saransk, Russia), Candidate of Sciences (PhD) degree holder in Physico-mathematical sciences, docent, Shiryayevvd@mail.ru

Anoshchenkova Ekaterina Vasilyevna, lecturer of Fundamental Informatics chair of Ogarev Mordovia State University (68, Bolshevistskaya Str., Saransk, Russia), anoshehnkovaev@mail.ru

Bikmurzina Ravilya Ryashitovna, associate professor (docent) of Fundamental Informatics chair of Ogarev Mordovia State University (68, Bolshevistskaya Str., Saransk, Russia), Candidate of Sciences (PhD) degree holder in Pedagogical sciences, bravilya@mail.ru

For citation: Shiryayev V. D., Anoshchenkova E. V., Bikmurzina R. R. Teoretiko-igrovye modeli funktsionirovaniya drevovidnykh i rombovidnykh sistem upravleniya [Game-theoretic models of tree-structure and diamond-structure systems of management functioning]. VestnikMordovskogo Universiteta -Mordovia University Bulletin. 2015, vol. 25, no. 1, pp. 13-23. DOI: 10.15507/VMU.025.201501.013

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