CC BY
46
ОПТИМАЛЬНЫЕ ИЕРАРХИЧЕСКИЕ СТРУКТУРЫ ПРИ МОНОТОННОМ ФУНКЦИОНАЛЕ СТОИМОСТИ
Губко М.В.
(Институт проблем управления РАН, Москва) ^оиЬко@ота/'1.т
Введение
Во многих областях науки и техники важную роль играет понятие иерархии, иерархической структуры. Для таких областей как теория систем, теория управления, типичным является представление объекта исследования (системы) в виде структуры подчиненности одних элементов системы другим.
Математической моделью иерархических структур являются ориентированные графы. Ориентированным графом (орграфом) называется кортеж < V, Е >, где V - это множество вершин, Е = {(у1; V 2): V], V 2 е V}
- множество дуг. Присутствие во множестве Е вектора ^1, V 2) соответствует наличию связи (дуги) между вершинами v1 и v2 графа. Тогда иерархией, или иерархической структурой обычно называют ациклический1 орграф.
В настоящее время области применения теории графов весьма многочисленны - теория кодирования, нелинейная динамика, управление проектами и т. д. Во многих приложениях графы используются именно для моделирования иерархий, и одной из типичных задач является оптимизация иерархии, то есть поиск оптимальной в некотором смысле иерар-
~ 2
хической структуры на множестве допустимых иерархий .
Обычно подобные задачи рассматриваются практически независимо, при их решении существенно используется специфика предметной области. В то же время сходство между этими задачами делает актуальными сведение их к единой постановке и разработку единых подходов к их решению. Основной чертой данного подхода должно быть стремление к рассмотрению задачи оптимизации иерархии в абстрактном виде без привязки к конкретным содержательным интерпретациям. Примерами реализации этой программы служат работы [1-4], и данная статья может
1 Орграф называется ациклическим, если в нем нет циклов - последовательностей дуг вида (V!, v2),(v2, v3),...,(vn,v1) .
2 В [6] приведены примеры подобных задач из теории алфавитного кодирования, теории массового обслуживания, теории управления.
рассматриваться как продолжение намеченной в них программы исследования.
1. Постановка задачи и основные понятия
Как отмечалось выше, задачу оптимизации иерархии можно сформулировать как задачу выбора оптимальной в некотором смысле иерархической структуры из некоторого множества допустимых иерархий (ациклических орграфов).
На практике обычно рассматриваются конечные иерархии, в графе каждой из которых множество вершин конечно. В то же время, анализ бесконечных иерархий иногда позволяет выявить важные свойства оптимальных иерархических структур [5], поэтому далее рассматривается общий случай. Предположение о конечности иерархий будет оговариваться отдельно.
Определение 1. Для произвольной вершины V орграфа О =< V, Е > множество QО (V) = {V1: (V1, V) е Е} будем называть множеством непосредственных подчиненных вершины V, множество ЯО (V) = ^':^, V1) е Е} -множеством непосредственных начальников вершины V. Вершина V графа
0 называется терминальной, если множество ее непосредственных начальников пусто, ЯО (V) = 0 .
Множество терминальных вершин графа О обозначим ТО.
Итак, пусть на множестве всех иерархий х задано некоторое множество допустимых иерархий Оса и отображение Р: О ® [0,+¥ • {+¥}, ставящее в соответствие каждому орграфу из множества О неотрицательное число. Отображение Р() будем называть функционалом стоимости иерархии. Тогда задача поиска оптимальной иерархии на множестве допустимых иерархий О состоит в поиске графа О* е О , доставляющего минимум функционала стоимости, то есть
(1) О * е А^ шш Р(О)1.
ОеО
Разумеется, решать задачу (1) в общем виде невозможно - необходимо делать некоторые предположения о виде функционала и допустимого множества. В [1-6] рассматривается задача поиска оптимальной иерархии для функционалов специального вида (так называемых, структурных функционалов стоимости) и определенных классов допустимых множеств (множеств иерархий, реализующих заданный набор функций). В [6]
1 Естественно, пока не утверждается, что задача обязательно имеет решение, то есть что множество Аге шт Р(О) не пусто.
ОеО
приведены примеры прикладных задач, сводимых к поиску оптимальной иерархии со структурным функционалом стоимости.
Данная работа посвящена исследованию более слабых предположений о виде функционала стоимости, а именно, свойств оптимальной иерархии при монотонном функционале стоимости Р.
2. Монотонные функционалы стоимости
Одним из важных классов функций множества являются монотонные функции. Функция множества Q(A) монотонна, если для любой пары множеств А с А' Q(А) < Q(А'). Так как функционал стоимости иерархии является, по сути, функцией двух множеств, V и Е, выделим свойства монотонности по каждому из них.
Определение 2. Функционал стоимости иерархии Р называется дугомонотонным, если для произвольных графов О1 =< V, Е1 >е О, О2 =< V, Е2 >е О таких, что Е1 с Е2, выполнено неравенство Р(О1) < Р(О2) (иначе говоря, удаление из графа дуг не увеличивает стоимости графа). Функционал Р : О ® [0,+¥ называется вершинномонотонным, если неравенство Р(О1) < Р(О 2) выполнено для произвольных графов О1 =< V1, Е >е О, О2 =< V2, Е >е О таких, что V1 с V2 (удаление из графа изолированных вершин не увеличивает его стоимости). Если неравенство Р(О1) < Р(О2) выполняется строго, то функционал называется строго дуго-монотонным или строго вершинномонотонным соответственно. Одновременно и дуго-монотонный и вершинно-монотонный функционал будем называть монотонным. Одновременно и строго дуго-монотонный и строго вершинно-монотонный функционал - строго монотонным.
Отметим, что если задана иерархия О =< V, Е > , то любой граф О' =< V, Е' >, в котором Е' с Е , также является иерархией.
3. Базовые графы
Для произвольного графа О =< V, Е > множество дуг Е можно рассматривать, как бинарное отношение [7] (отношение подчиненности) на множестве V.
Определение 3 [7]. Бинарное отношение Е называется произведением Е1Е2 бинарных отношений Е1 и Е2, если ^1, V2) е Е ^
Зw : ^, V) е Е1, (V, V2) е Е2. Для произвольного отношения Е естественным образом определяется его к-я степень Ек .
Для произвольного бинарного отношения можно определить его транзитивное замыкание [7] по формуле
(2) Е¥ = Е• Е2 • ... = • Ек
кеЫ
Транзитивное замыкание отношения Е является минимальным транзитивным отношением, содержащим Е. Если исходное отношение Е ациклично, то транзитивное замыкание антирефлексивно.
Определение 4. Для произвольного графа О =< V, Е > отношение
ГО := 1У • Е¥ (и соответствующий ему граф на множестве вершин V) будем называть отношением подчиненности (графом подчиненности) графа О.1
Определение 5. Для произвольной вершины V е V иерархии
О =< V, Е > коллективом КО (V) будем называть множество
Ко (V) := {v^еV : (V1, V) еГО } = QгО (V),
$О (V) := ^'е V: (V1, V) е Е¥ } = QE_ (V) назовем множеством подчиненных вершины V, а множество
МО (V) := {V'е V : (V, V1) е Е¥ } = ЯЕ„ (V) назовем множеством начальников вершины V.
Равенство графов подчиненности порождает отношение эквивалентности (симметричное транзитивное рефлексивное отношение) на множестве иерархий, то есть расслаивает О на классы эквивалентных графов (графов с одинаковыми графами подчиненности). Класс эквивалентных графов с транзитивным замыканием Е¥ обозначим О( Е¥).
Определение 6 [7]. Для произвольной иерархии О =< V, Е > ее базовым графом называется граф О' =< V, Е' >, в котором
(3) Е' = Е¥ \ Е¥Е¥ .
Содержательный смысл этой операции прост - для каждой вершины отношения подчиненности иерархии в удаляются подчиненные ее подчиненных.
Базовый граф является иерархией, то есть О'е х . Транзитивное замыкание О' равно Е¥ , и удаление любой связи из графа О' приводит к изменению его транзитивного замыкания. В то же время, добавление в О' любой связи, имеющейся в его транзитивном замыкании, оставляет транзитивное замыкание неизменным.
11-у - отношение тождества элементов множества V: IV = {(V, V) : V е V}.
30
Содержательно все базовые графы описываются известным еще с феодальных времен правилом «вассал моего вассала - не мой вассал». Это следует непосредственно из определения, ведь для каждой вершины из множества всех подчиненных удаляются подчиненные подчиненных.
4. Вид оптимальной иерархии для монотонного функционала стоимости
Как уже было отмечено, среди иерархий с одинаковым графом подчиненности базовый граф имеет минимальное число дуг. Поэтому при дуго -монотонном функционале стоимости иерархии базовый граф имеет минимальную стоимость на этом классе иерархий, а при строго дугомонотонном - базисный граф строго дешевле любого графа из данного класса.
Теорема 1. Пусть для любой иерархи из множества допустимых иерархий П ее базовый граф также содержится в П , а функционал стоимости иерархии дуго-монотонный. Тогда для любого числа e > 0 найдется
некоторый базовый граф G стоимости P(G *) < inf P(G) + e . Если также
ОеП
известно, что минимум в (1) достигается1, то существует базовый граф из П минимальной стоимости. Если функционал строго дуго-монотонный, то любое решение задачи (1) является базовым графом.
Доказательство. Пусть минимум в (1) достигается. Предположим, что все оптимальные иерархии не являются базовыми графами. Выберем тогда произвольную оптимальную иерархию. В силу дуго-монотонности функционала ее базовый граф имеет не большую стоимость и по условию теоремы является допустимым. Следовательно, базовый граф принадлежит решению.
Предположим теперь, что функционал строго дуго-монотонный и иерархия G из решения задачи (1) не является базовым графом. Тогда соответствующий базовый граф имеет (в силу строгой дуго-монотонности функционала) строго меньшую стоимость, чем G, что невозможно в силу оптимальности G.
Пусть теперь решение задачи (1) пусто. Тогда в силу неотрицательности функционала для любого e > 0 найдется иерархия G стоимости P(G) < inf P(G') + e . Но базовый граф иерархии G имеет стоимость не
G 'еП
большую стоимости G и является допустимым. •
Условия на допустимое множество П из формулировки теоремы 1 выполнены, в частности, если П ограничивает не сами допустимые
1 Например, минимум в (1) достигается при конечном множестве П
иерархии, а допустимые графы подчиненности, как например, сформулированное в [1] понятие «организации, реализующей заданный набор функций».
Таким образом, теорема 1 говорит о том, что зачастую при дугомонотонном функционале стоимости искать оптимальную иерархию достаточно на множестве базовых графов из О .
Данный результат имеет и следующее значение. Между базовыми графами и графами подчиненности имеется взаимно однозначное соответствие, определяемое формулами (2) и (3). Поэтому появляется возможность переформулировать задачу в терминах графов подчиненности и, соответственно, решать задачу на множестве графов подчиненности, пользуясь известными результатами [8] исследования отношений частичного порядка, которыми являются графы подчиненности.
Результат, аналогичный теореме 1 можно получить и для вершинномонотонных функционалов, заменив в формулировке слова «базовый граф» на «граф без изолированных вершин», однако это не столь интересно в смысле содержательных интерпретаций.
Наконец, исследуем один важный с практической точки зрения класс допустимых множеств:
Определение 7. Множество О / всех иерархий, в которых имеется
вершина с заданным коллективом КО (V) = / , называется классом иерархий, реализующих функцию /
Так как для произвольного графа О е О / его базовый граф содержит
коллектив / то О / удовлетворяет условиям теоремы 1. Однако для задачи поиска оптимальной на О / иерархии можно сформулировать и
более сильное условие оптимальности:
Теорема 2. Если в задаче поиска оптимальной иерархии на О/ минимум в (1) достигается, а функционал стоимости строго монотонный, то любой оптимальный граф является ордеревом1.
Доказательство. Пусть задана оптимальная иерархия
О =< V, Е >е О / . В ней есть вершина V с коллективом / Рассмотрим граф
Н =< V • /, Е • / х / >. Из этого графа удалили все вершины, из которых нет пути в V, а также входящие и исходящие дуги этих вершин. Ациклический граф Н по-прежнему содержит вершину V, и ее коллектив
1 Ордерево - это ориентированный граф, в котором из каждой вершины, кроме одной, терминальной, выходит ровно одна дуга. Коллектив терминальной вершины совпадает с множеством всех вершин графа, и дуг из нее не выходит.
не изменился. Следовательно, Н е О/ . Кроме того, в графе Н вершина V
- единственная терминальная вершина, так как ее коллектив совпадает с множеством всех вершин графа.
Поскольку О оптимален, то Н = О, так как иначе в силу строгой монотонности функционала стоимость Н строго меньше, что противоречит оптимальности графа О. Таким образом, в оптимальном графе коллектив единственной терминальной вершины совпадает с множеством всех вершин графа, то есть из любой вершины есть путь в терминальную вершину. Предположим, что в графе О найдется вершина v0, из которой выходит более одной дуги, то есть множество ЯО (г0) содержит как минимум два элемента - V и Vм. Удалим дугу ^0, V1). Коллектив терминальной вершины V не изменился, так как из вершины V1' по-прежнему есть путь в V, а из v0 есть путь в Vм . В то же время, в силу строгой монотонности функционала стоимость графа строго уменьшилась, а это невозможно, так как О оптимален. Следовательно, оптимальный граф О является ордеревом. •
Теорема 3. Если все иерархии из О / конечные, а функционал стоимости монотонный, то для любой иерархии из О / имеется ордерево из О / не большей стоимости.
Доказательство. Возьмем произвольную иерархию в из О / и аналогично доказательству теоремы 2 удалим все вершины, из которых нет пути в вершину V с коллективом £ Если в получившемся графе из каждой вершины выходит одна дуга, то получили искомое ордерево. В противном случае вершин, из которых выходит более одного ребра конечное число, и мы можем для каждой из них удалить все исходящие дуги кроме одной (произвольной). Получившееся ордерево будет принадлежать О/ и в
силу монотонности функционала иметь не большую стоимость, чем в. •
Следствие 1. Если в условиях теоремы 3 минимум в выражении (1) достигается, то существует оптимальное на О/ ордерево.
Данные результаты позволяют сделать вывод, что при поиске оптимальной иерархии на О / при монотонном функционале стоимости
достаточно ограничиться классом ордеревьев из О / .
Литература
1. ВОРОНИН А.А., МИШИН С.П. Моделирование структуры организационной системы. Об алгоритмах поиска оптимального дерева // Вестн. Волг. ун-та. 2001. Сер. 1: Математика. Физика. С. 93 - 113.
2. МИШИН С.П. Оптимальное управление структурой организационной системы / Сборник трудов международной научно-технической конференции «Современные сложные системы управления». Липецк, 12-14 марта 2002. С. 101 - 102.
3. ВОРОНИН А.А., МИШИН С.П. Алгоритмы поиска оптимальной структуры организационной системы // Автоматика и телемеханика. 2002. №5. С. 120 - 132.
4. ГУБКО М.В., МИШИН С.П. Оптимальная структура системы управления технологическими связями / Сборник трудов международной научно-технической конференции «Современные сложные системы управления». Старый Оскол, 27-29 ноября 2002. С. 50 - 55.
5. ГУБКО М.В. Структура оптимальной организации континуума исполнителей // Автоматика и телемеханика. 2002. №12.
6. МИШИН С.П. Модели и методы оптимизации иерархических организационных структур // Диссертация на соискание степени к.ф.м.н., Волгоградский государственный университет, 2003.
7. КУЗНЕЦОВ О.П., АДЕЛЬСОН-ВЕЛЬСКИЙ Г М. Дискретная математика для инженера. М.: Энергоатомиздат, 1988.
8. КУЗЬМИН В. Б. Построение групповых решений в пространствах четких и нечетких бинарных отношений. М.: Наука, 1982.
