Файл: Алферова, З. В. Математическое обеспечение экономических расчетов с использованием теории графов.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 21.10.2024

Просмотров: 69

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

выявить результаты работы системы управления предприяти­ ем, а именно, перечень всех производных данных и последователь­ ные этапы их обработки;

исследовать целесообразность имеющихся повторений некото­ рых сведений в системе обработки данных;

определить исходные показатели, необходимые для формиро­ вания каждого производного показателя;

определить круг показателей, необходимых каждому подразде­ лению предприятия для выполнения их функций;

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

Получение необходимых материалов для анализа информаци­ онных потоков — весьма трудоемкий процесс; для облегчения и ускорения этих работ необходимо использовать вычислительные средства. В ЦЭМИ АН СССР такие материалы получались с по­

мощью вычислительно-перфорационных машин,

а в Институте

технической

кибернетики АН СССР — с помощью

электронно-вы­

числительной

машины «Минск-22».

 

§ 2. 3. ОЦЕНКА СОВРЕМЕННОГО СОСТОЯНИЯ

 

ПО ИССЛЕДОВАНИЮ ПОТОКОВ ИНФОРМАЦИИ

Рассмотренные выше информационные модели анализа потоков информации очень трудоемки.

В информационной модели ЦЭМИ АН СССР первый квадрат имеет большой разброс в заполнении данных, затрудняющий вос­ приятие цепочки формирования и движения документов и показа­ телей. Для устранения этого недостатка необходимо матрицы при­ вести к треугольному виду (триангулировать).

Рассмотрим построение алгоритма триангуляции с использова­ нием теории графов.

Справедлива следующая теорема: матрица А триангулируема тогда и только тогда, когда соответствующий ей граф G не имеет контуров.

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

В общем виде алгоритм приведения матрицы смежности А графа к треугольному виду можно описать следующим образом.

1. Пронумеровать строки матрицы А, начиная с первой, числа­

ми натурального ряда от 1 до

п.

 

 

2.

Пронумеровать

столбцы

матрицы А,

начиная

с первого, чис­

лами натурального ряда от 1 до п.

 

 

3.

Построить граф

G, соответствующий

матрице

А.

4.

Проверить наличие контуров в графе G. Если контур обна­

ружен, процесс прекратить. Если контуров

нет, перейти к пунк­

ту 5.

 

 

 

 

 

38


5. Определить порядок каждой вершины, начиная от входов, которые считаются вершинами нулевого порядка.

6.Произвести перенумерацию вершин. Процесс перенумера­ ции начинается с вершины нулевого порядка и продолжается по возрастанию порядков.

7.Построить граф G* в соответствии с новой нумерацией вер­

шин.

8.Построить матрицу смежности А* графа G*.

Матрица А* эквивалентна матрице А и имеет треугольную форму.

С увеличением размерности матрицы А построение соответст­ вующего ей графа и определение порядка вершин при ручной обра­

ботке

становится

затруднительным и малоэффективным.

В

работе [57]

триангуляцию матриц предлагается выполнять

с помощью ЭВМ, используя так называемую структурную матри­ цу S.

Структурная матрица строится следующим образом. Обозна­

чим дуги

и (Xi, Xj)

графа

G (X,

U) (или,

что

то же,

элемент ац

матрицы

А) через

(i, j)

(i,/=1,2,

 

п),

где

«г—номер вершины,

из которой выходит дуга, щ — номер

вершины,

в которую заходит

дуга и (Xi,Xj).

Перенумеруем в

произвольной

 

последовательности

все дуги

графа

числами

ии и2,

щ.

Выпишем

все

дуги в строку

и под каждой дугой укажем номер вершины, из которой она вы­

ходит, и

номер

вершины,

в

которую

она

 

заходит.

 

 

5 =

Ui

и2

 

 

Щ

\

W6€EW

( S =

1, 2, • •0;

 

 

X X

 

 

х

\ х

 

( а , е п ) ;

 

 

 

 

 

 

 

 

 

 

х

(p s en) .

Для графа, изображенного на рис. 5, матрица S имеет следую­

щий

вид:

1'щ

и2

 

и3

ы4

м5

Ц6

«7 Us

\

 

 

 

 

 

 

 

S = ! 1 2 2

3

1 4

 

4 3 1

 

 

 

 

2

4

3

 

4

4 4

 

5

5

/

Структурная

матрица

5

несет

 

 

 

 

 

всю

информацию

об

 

исходной

 

 

 

 

 

матрице А

и соответствующем

ей

 

 

 

 

 

графе G. Это означает, что по

 

 

 

 

 

матрице

S

граф

G и матрица

А

 

 

 

 

 

могут

быть

построены

единствен­

 

 

 

 

 

ным

способом.

 

 

 

 

 

 

 

 

 

 

 

Матрица

S гораздо

удобней

 

 

 

 

 

для анализа.

 

 

 

 

 

 

 

 

 

 

 

Легко

 

заметить

 

следующие

 

 

 

 

 

свойства

матрицы S:

 

 

G

 

 

 

 

 

 

 

число

вершин

графа

равно

 

Рис.

5.

Структурный граф

39



максимальному из чисел, содержащихся во второй и третьей стро­ ках, а именно 5;

если

некоторое число, меньшее, чем число

вершин, отсутствует

в третьей строке, то такая вершина является

вершиной нулевого

порядка,

т. е. входом;

 

если некоторое число, меньшее, чем число вершин, отсутствует во второй строке, то соответствующая ему вершина является выхо­ дом;

если в некотором столбце номера во второй и третьей строках равны (например, в столбце, соответствующем дуге и6), то в вер­ шине с этим номером имеется петля.

Триангуляцию матриц можно выполнять, применяя ярусно-па- раллельные формы представления потоков информации, введен­ ные Д. А. Поспеловым для распараллеливания алгоритмов [65].

Приведение матриц информационной модели к треугольному виду упрощает анализ потоков по информационной модели. Одна­ ко самый трудоемкий процесс — процесс построения информаци­ онной модели — остается без изменений.

Что касается математической модели Института технической кибернетики, то она обеспечивает анализ потоков информации с применением ЭВМ. Однако, по заключению авторов [54], такая модель на практике себя не оправдывает. Процесс анализа пото­ ков в Институте технической кибернетики осуществляется не на основе информационного графа и соответствующей ему матрицы смежности, а на основе таблиц структурных компонент, заполнен­ ных в процессе обследования. Матрица смежности получается на одном из этапов обработки этой таблицы. С этим мнением можно согласиться, если использовать графы только для анализа пото­ ков информации и не рассматривать комплекс экономических ис­ следований, связанных с синтезом алгоритмов, эквивалентными преобразованиями алгоритмов, оценкой сложности алгоритмов.

Так как целью данной работы является формализация и на ее основе автоматизация комплекса экономических исследований, то выбор математической модели анализа потоков информации дол­

жен

быть выполнен с учетом реализации всего комплекса рас­

четов.

 

 

 

В этих условиях для уменьшения объема работ по составлению

информационной модели целесообразно

использовать

математи­

ческий аппарат не только при анализе

информационных потоков

модели, но и непосредственно в процессе

составления

информаци­

онной

модели.

 

 

Предлагается математическая модель, основанная на исполь­ зовании теории графов, описывающая следующие этапы:

1. Составление информационной модели по материалам обсле­ дования.

2. Анализ информационной модели с целью определения пото­ ков информации и их объемов.

40


§ 2. 4. МАТЕМАТИЧЕСКАЯ МОДЕЛЬ АНАЛИЗА ПОТОКОВ ИНФОРМАЦИИ

Взаимосвязь документов по конкретным задачам можно пред­ ставить в виде графов, подобно тому, как это показано на рис. 6 для задачи составления плана распределения оборудования по предприятиям. Граф, отражающий взаимосвязь документов по задаче, будем называть структурным графом задачи.

Общий

принцип построения такого

графа состоит

в

следую­

щем. Если

вершинам графа У\,Ц2, —,

Ут

сопоставить

документы

у и у г , —, Ут, используемые при решении

некоторой задачи,

и каж­

дую пару вершин Уг и у^ соединить дугой, идущей от у \ к у^ в том и только том случае, когда yi участвует в образовании г/у, то полу­ ченный граф будет отражать структуру задачи, т. е. взаимосвязь документов по задаче.

41

Граф

взаимосвязи

документов

по задаче

можно

дополнить,

введя вершину,

соответствующую

наименованию

(номеру) зада­

чи — Нк.

Если

результатом

решения задачи

является

документ

Уг, то ух является входом для вершины #„ . В этом

случае вершина

у» соединяется

дугой

с Нк.

В полученном графе

из вершины Нк

не выходит ни одной

дуги. Такой

граф будем

называть

расширен­

ным структурным графом задачи..

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

выявить

ряд важных

характеристик

схем потоков

информации.

Пусть

заданы

т

 

структурных

графов

задач G

(У^Г^),

^2(^2^2),

— ,

Gm(ym,

 

Гт).

Строим для каждого

из

них

матрицу

смежности АиА2,

 

 

Ат.

Выполняя

суммирование

этих

матриц,

получим

матрицу смежности

графа,

отражающего

взаимосвязь

документов по

всем

задачам

управляющей системы

или подси­

стемы.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

А=А12+---+Ат

•.

 

 

 

 

Таким

образом,

в

результате суммирования

матриц

получим

информационную модель потока данной управляющей системы.

Этой матрице

смежности соответствует

граф G,

являющийся

результатом объединения графов Gu G2,

Gm. Назовем этот

граф информационным графом, а соответствующую

матрицу —

информационной

матрицей потока.

 

 

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

во, т. е. без контуров. Появление

контуров з

таком

графе

считает­

ся ошибкой обследования.

 

 

 

 

 

N

 

Последовательность матриц А,

А2,

,4N

 

 

А%

и матрица ,4s = S

позволяют выявить основные свойства потока информации.

Л =

I

 

 

Исходные и результативные данные определяются соответст­

венно из условий равенства нулю

суммы

элементов

/-го

столбца

и суммы элементов г-й строки матрицы

смежности

Ах.

 

 

2aJ=0

при

Я= 1 ;

 

 

 

 

 

2ац = 0

при

К=\,

 

 

 

 

 

где ZaJ — сумма элементов /-го столбца матрицы ЛА ; Yai— сумма элементов г-й строки матрицы Ах.

Это вытекает из условия, что 2а-> = .Р+г/г- определяет полустепень

захода, а Ъах = Р-ух — полустепень исхода

вершины г/г-.

Порядок компонент потока (вершин информационного графа)

определяется по матрице Ах

из

условия:

если

(Za^) Л j i - i > 0 и

(2а-*)д Л = 0, то fIj=X— 1, где

Я3-

— порядок

/-й

компоненты, опре­

деляемый длиной наибольшего пути, ведущего в г/;-.

Порядок информационного графа, определяемый максималь­ ным числом тактов движения информации до получения конечно-

42