Файл: Алферова, З. В. Математическое обеспечение экономических расчетов с использованием теории графов.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, |
|
|
Ат. |
Выполняя |
суммирование |
этих |
матриц, |
||||
получим |
матрицу смежности |
графа, |
отражающего |
взаимосвязь |
|||||||
документов по |
всем |
задачам |
управляющей системы |
или подси |
|||||||
стемы. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
А=А1+А2+---+Ат |
•. |
|
|
|
|
||
Таким |
образом, |
в |
результате суммирования |
матриц |
получим |
информационную модель потока данной управляющей системы.
Этой матрице |
смежности соответствует |
граф 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