Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Алферова, З. В. Математическое обеспечение экономических расчетов с использованием теории графов

.pdf
Скачиваний:
20
Добавлен:
20.10.2023
Размер:
8.54 Mб
Скачать

Транспонированной по отношению к А назовем матрицу

 

 

 

/

а\\

a,2i • • • ami

\

 

 

 

 

„,

I

«12

а22 • • •ат2

\

 

 

 

 

 

 

din

&2п

' ' '

 

 

 

 

получаемую из А заменой строк

столбцами.

 

 

Две матрицы равны в том и только

в том

случае, если

равны

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

элементы. Очевидно,

что

размерности

тип

строк и столбцов равных матриц должны

совпадать.

 

Квадратная

матрица

называется

треугольной, если ее элемен­

ты ац для всех

i>j

(или для

всех i<lj)

равны

нулю.

 

Матрица

 

 

 

 

 

 

 

 

 

 

является

треугольной.

 

 

 

 

 

 

 

 

Матрица

А называется симметрической,

если

А=А',

т. е.

ац = ан

при любых i, j .

Если А——А',

т. е. ац = —ац,

матрица А

называется

кососимметрической.

Из

определения

вытекает,

что

все

элементы главной

диагонали

кососимметрической

матрицы

равны

нулю.

 

 

 

 

 

 

 

 

 

Все

элементы так называемой нулевой матрицы,

обозначаемой

0 = ( 0 ) ,

равны нулю.

 

 

 

 

 

 

 

 

 

Определим теперь операции сложения матриц и умножения

матриц

на

скаляр. Пусть даны некоторый

скаляр а

и

произволь­

ная

матрица

А. Их произведение аА определяется как

 

 

 

 

 

 

аА

 

 

 

 

 

 

 

 

 

Сумма

Л + В = С матриц А я В,

каждая

из

которых

содержит

т

строк

и

п столбцов, определяется

как

 

 

 

 

 

1.0

Операции умножения скаляра на матрицу

и сложения

мат­

риц

обладают

следующими

свойствами:

 

 

 

а)

(А +В) + С=А

+ (В + С)

(ассоциативный

закон);

 

б)

А+В = В+А.

(коммутативный

закон);

 

 

 

в)

( а + р ) Л =

а Л + р Л ,

а{А-\-В)—аА-\-аВ

(дистрибутивный

за­

кон) ;

 

 

 

 

 

 

 

 

 

г)

Л + 0 = Л .

 

 

 

 

 

 

 

 

Здесь матрицы А, В и

С имеют

размерности

т-п, а а и

р —

скаляры.

Произведение двух матриц А и В определяется только при ус­

ловии, что число столбцов матрицы А равно

числу строк матрицы

В. При этом условии элементы произведения

АВ = С определяют­

ся следующим

образом.

 

Элемент г'-й строки и /-го столбца матрицы С равен сумме про­

изведений элементов г'-й строки матрицы А

на соответствующие

элементы у'-го столбца матрицы В.

 

Например,

\

)

где сц = ац

Ь^ + щ2 b2j + ai3

b3j.

 

 

матрицу В

Произведением

матрицы

А размерности т-п на

размерности

n-q

является матрица

размерности

m-q.

Произведе­

ние матриц некоммутативно, т. е.

АВфВА.

 

 

Произведение

матриц обладает

следующими

свойствами:

a)(АВ)С=А(ВС) (ассоциативный закон);

б)

(А + В)С=АС + ВС, С(А + В) = СА + СВ

(дистрибутивный

закон);

 

b)

а(АВ) = (аА)В=А(аВ);

*• :

г)

АЕ=ЕА=А;

 

здесь матрицы А, В, С

и Е

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

размерности и

а — скаляр.

Отметим,

что

(АВ)' —

В/-А'.

 

Матрица

В называется

обратной

по отношению

к квадратной

матрице А,

если АВ = Е. Матрица, обратная матрице А, обознача­

ется через А-1.

Для каждой неособенной

матрицы А

существует

единственная

матрица А~1,

такая, что

 

 

§ 1. 3. ОБЩЕЕ ПОНЯТИЕ АЛГОРИТМА

 

Алгоритмами в современной математике принято

называть

конструктивно

задаваемые

соответствия

между словами в абст­

рактных алфавитах.

Абстрактным алфавитом называется любая конечная совокуп­ ность объектов, называемых буквами или символами данного ал­ фавита.

11

Алфавит, как любое множество, задается перечислением его элементов, т. е. символов

 

A = {a,b,c,d},

В={х,у}-

 

 

Под словом

или строкой

алфавита будем

понимать

любую

конечную упорядоченную последовательность

символов.

Число

символов в слове называется длиной этого слова.

 

Алфавитным

оператором

или

алфавитным

отображением на­

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

ного алфавита. При этом первый алфавит

называется

входным,

второй — выходным алфавитом данного оператора.

 

Алфавитный оператор, сопоставляющий

слову

а из

входного

алфавита А слово р из выходного алфавита

В,

запишется как

Га = р.

 

 

 

В случае совпадения входного и выходного алфавитов говорят,

что

алфавитный оператор задан в соответствующем

алфавите.

 

Иначе говоря,

алфавитный оператор — функция,

задающая

соответствие между словами входного алфавита и

словами этого

же

или другого

выходного

алфавита.

 

 

 

В случае, если область

определения алфавитного

оператора

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

правой — выходные слова,

получающиеся

в результате примене­

ния оператора к каждому

слову из левой

части таблицы.

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

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

Отсюда легко понять, что всякий алфавитный оператор, кото­ рый можно фактически задать, является непременно алгоритмом.

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

Таким образом, алгоритм — алфавитный оператор вместе с правилами, определяющими его действие.

Два алфавитных оператора считаются равными, если они име­ ют одну и ту же область определения и сопоставляют любому

12

наперед заданному

входному слову

из

этой

области

одинаковые

выходные слова.

 

 

 

 

 

 

Два алгоритма считаются равными, если равны соответствую­

щие им алфавитные операторы и совпадает

система

правил, за­

дающих действие этих алгоритмов на выходные слова.

 

Два алгоритма считаются эквивалентными, если у них совпа­

дают (равны) алфавитные операторы,

но не

совпадают

способы

их задания (система

правил). Обычно в

абстрактной

теории алго­

ритмов рассматриваются лишь такие алгоритмы, которым

соответ­

ствуют однозначные

алфавитные

операторы.

Всякий

алгоритм

такого рода любому входному слову сопоставляет только одно вы­

ходное слово. Такие алгоритмы и соответствующие им

алфавит­

ные операторы

называются

детерминированными.

 

Таким образом, одним из

свойств

алгоритма является детер­

минированность. К числу других свойств

алгоритмов

относятся

массовость

и

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

 

 

 

Массовость — свойство алгоритма

быть

применимым

для мно­

жества строк. Если алгоритм

применим для множества

строк, то

он обладает

свойством массовости.

 

 

 

Результативность — свойство алгоритма,

обеспечивающее полу­

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

Из свойства результативности вытекает понятие области при­ менимости алгоритма. Областью применимости алгоритма назы­ вается множество строк, для которых алгоритм результативен.

Теперь эквивалентность алгоритмов может быть определена следующим образом: два алгоритма эквивалентны, если совпадают их области применимости и результаты переработки любого слова

из

этой области.

 

В общем случае различают еще случайные и самоизменяющие­

ся

алгоритмы.

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

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

Результат действия самоизменяющегося

алгоритма

на то

или

иное входное слово зависит не только от этого слова, но и от

исто­

рии

предыдущей работы

алгоритма.

 

 

 

В

теории алгоритмов

большое внимание

уделяется

общим спо­

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

Всякий общий способ задания алгоритмов называется алгорит­ мической системой.

13

Примерами алгоритмических систем могут служить машины Тьюринга, нормальные алгоритмы Маркова, операторные алгорит­ мы Ляпунова, блок-схемный способ алгоритмизации, алгоритми­ ческие языки.

Приведенное выше определение алгоритма связано с алгорит­ мической системой А. А. Маркова.

Самое общее понятие алгоритма при современном состоянии науки связывается с понятием частично-рекурсивной функции. Под алгоритмом понимается система вычислений, которая для некото­ рого класса задач из записи условий задачи У позволяет получить запись решения задачи Р при помощи однозначно определенной последовательности операций.

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

Уо, УьУ 2 , --- ,Уп, --- , а записи решений Р — в последовательность

Ро, Р±, Рг, - • - ,Рп,- • •,

тоже занумерованную неотрицательными целыми числами. Если обозначить через G множество номеров п тех условий У„, которые алгоритм способен переработать в решения, то результат работы алгоритма, осуществляющего переработку

Уп *~Рт,

однозначно определяется заданной на G числовой функцией

т — (р(п).

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

Обратно, если для функции ф существует алгоритм, который, будучи применен к стандартной записи значения аргумента п из области определения функции q>, приводит к стандартной записи значения функции т=«р (п), то функция ср называется алгоритми­ чески вычислимой или просто вычислимой функцией. Поэтому во­

прос об определении

алгоритма по существу равносилен

вопросу

об определении вычислимой

функции.

 

В данном случае

понятие

стандартной записи означает

фикси­

рованный стандартный способ записи чисел, например, в десятич­

ной

системе счисления.

 

В настоящее время понятие алгоритмически вычислимой функ­

ции

идентифицируется с понятием частично-рекурсивной функ­

ции

[43].

Алгоритм задается при помощи предписания,

указывающего

способ

перехода

от некоторого

состояния

5 процесса вычислений

к следующему состоянию S*,

т. е. при помощи оператора

Qr(S) =

=S*.

В классе

G ( T ) = {S}

возможных

состояний

выделяются

класс

исходных

состояний И(Г),

представляющих

собой

записи

14

условий задач, и класс заключительных состояний С(Г). При по­ лучении состояния из класса С (Г) алгоритмический процесс за­ канчивается. Область D(T) = G(T), на которой оператор Q опре­ делен, естественно считать непересекающейся с С(Г). Класс со­ стояний, не входящих ни в С(Г), ни в £>(Т), обозначим R (Г).

Алгоритмический процесс

S°=Y(=H(r);

Si = Qr(S°);

может

развиваться

одним из

следующих

трех

способов:

1. При

каком-либо t = t

процесс

приводит

к

заключительному

состоянию

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S*e=C(r),

 

 

 

 

 

 

 

 

после чего из этого заключительного

состояния

извлекается ре­

шение

Р.

 

 

_

 

 

 

 

 

 

 

 

 

 

 

2.

При

каком-либо t = t

процесс

заканчивается безрезультатно.

3. Процесс продолжается неограниченно, не приводя к резуль­

тату.

 

С(Г)

 

 

 

 

 

 

 

 

 

 

 

 

 

Класс

тех

У ^ # ( Т ) ,

которые

приводят

к

первому типу

течения процессов, называется областью применимости

алгоритма.

Все сказанное о рекурсивных функциях полностью

относится и

ко всем

алгоритмическим

системам.

 

 

 

 

 

 

 

 

 

§ I. 4. ПОНЯТИЕ ТЕОРИИ ГРАФОВ

 

 

 

 

Пусть

А и

В—-некоторые

множества.

Тогда

 

 

а е Л означает,

что а

принадлежит

множеству

А;

 

а не принадлежит А;

 

 

 

 

 

 

 

 

 

 

 

Ас^В

любой

элемент

из

А

принадлежит

В;

 

 

А —В,

если AczB

и ВаА,

и АФВ

— в противном

случае;

А П В — пересечение множеств Л и Б, т. е. множество

элементов,

 

 

принадлежащих

к

Л

и

В;

 

 

 

 

 

 

 

Л (J В — объединение множеств

Л и В,

т. е. множество элемен­

 

 

тов, принадлежащих

или

А,

или

В,

или

А

[\В;

Л \ Б — разность множеств Л и Б, т. е. множество элементов из

А,

не

принадлежащих

В;

 

 

 

 

Ах В—декартово

произведение

множества Л и В, т. е. множе­

ство всех map (а, Ь), где а е Л , Ь^В;

 

 

 

И | означает число элементов

конечного множества Л;

 

0 — пустое множество.

 

 

 

 

 

Пусть X и

Y — непустые множества,

т. е. ХФ0

и

Уф0.

Ото­

бражение Г множества X в множество

Y есть закон,

по которому

каждому элементу из X ставится

в соответствие

некоторое

под­

множество Гх

элементов из У. Отображение Г называется

одно-

15

значным, если

каждому элементу

из X

ставится

в

соответствие

ровно один элемент из У.

 

 

 

 

 

 

 

элементу

Обозначим

через

Г - 1 закон, по

которому

каждому

у из У ставится в соответствие подмножество

ГУ~1^Х,

представ-

ляющее собой

совокупность

таких

элементов

x e l ,

для

которых

у<=Гх, т. е.

Гу~1 =

{х/у^Гх}.

 

 

G — (X, Г),

 

если задано

Говорят, что задан граф

G, и пишут

 

непустое множество X и отображение Г множества X в X.

 

Элементы

множества X

изображают

точками

на

плоскости и

точку х соединяют с точкой

у

непрерывной

линией

со

стрелкой,

направленной

от х к

у, если у е Г ж . Получившуюся

картину

назы­

вают изображением

графа

на плоскости. Элементы множества X

называют вершинами

(или

точками) графа G, а пары (х, у),

для

которых у^.Гх,

дугами графа

G. Множество

дуг графа

обознача­

ют через U, так что

граф

G

можно

записать также

в

виде

С=(Х,

U).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Две вершины х и у являются граничными

вершинами

дуги

м,

если

х—начало

дуги,

у — конец

дуги.

 

 

 

 

 

 

 

 

 

 

 

Две вершины х и у

смежны, если

они различны

и существует

дуга, идущая от одной из них к другой.

 

 

 

 

 

 

 

 

 

Говорят, что дуга и исходит из вершины х, если х является на­

чалом, но не является

концом

и,

и что

дуга

заходит

в х,

если

х

является концом, но не является началом

и.

В обоих

случаях

дуга

и называется инцидентной вершине х, а

вершина

х — инцидентной

дуге

и.

 

 

 

 

 

 

 

 

 

 

х, является

 

 

 

 

Общее число дуг, инцидентных вершине

 

степенью

вершины х

и

обозначается

Р

(х).

 

 

 

 

 

 

 

 

 

 

 

 

Для каждой вершины вводится понятие

 

полустепени

захода

и

полустепени

исхода.

Р+ (х)

 

 

 

х — количество

 

 

 

 

Полустепень захода

вершины

дуг,

захо­

дящих в данную вершину. Полустепень

исхода

Р~

(х)

вершины

х — количество

дуг, исходящих

из

данной

 

вершины.

 

 

 

 

 

Для графа, изображенного на рис. 1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/>+(л-4 )=2; P-(Xi)

 

=

 

l:

 

 

 

 

 

 

 

 

 

 

Р{хА) =Р+(х4)

+Р-(х4)

= 2 + 1 = 3.

 

 

 

 

 

 

Вершина

х

называется

входом,

если

/>+ (х)

= 0 ,

а

 

Р-(х)¥=0,

и называется выходом,

если Р+(х)Ф0,

Р~(х)

= 6.

 

 

 

 

 

 

 

 

 

 

 

 

Путем

в графе G(X,U)

 

назы­

 

 

 

 

 

 

вается

такая

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

 

 

 

 

 

 

дуг

(«1, и2,...,

 

ип),

в которой

ко­

 

 

 

 

 

 

нец каждой предыдущей дуги сов­

 

 

 

 

 

 

падает

с началом следующей.

 

 

 

 

 

 

 

 

Путь

 

 

называется

простым,

 

 

 

 

 

 

когда

в

 

нем

никакая

 

дуга

не

 

 

 

 

 

 

встречается

дважды,

и

состав­

 

 

 

 

 

 

ным, если какая-либо

 

из

дуг

 

Рис.

1.

Пример графа

 

встречается

более одного

раза.

16

Путь, в котором никакая

вершина не встречается

дважды,—

элементарный путь.

 

 

 

 

 

Длина пути — число

дуг

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

 

Контур — конечный

путь,

начинающийся

и заканчивающийся

в одной и той же вершине. Контур единичной

длины

называется

петлей.

 

 

 

 

 

Так же, как и путь, контур может

быть простым, если в нем ни

одна дуга не встречается дважды,

сложным — в противном слу­

чае; элементарным, если все

его вершины различны (за исключе­

нием начальной и конечной, которые совпадают); гамильтоновым, если контур проходит через все вершины графа, притом только по одному разу (за исключением начальной и конечной вершин); эйлеровым ,если он проходит через все дуги графа и притом толь­

ко по одному разу.

 

 

Графы можно рассматривать с учетом

или без учета

ориента­

ции его дуг. В зависимости от этого различают три вида

графов:

1. Ориентированные графы, в которых

вершины соединяются

стрелками, указывающими направления. Ориентированные линии графа называют дугами.

2.Неориентированные графы, в которых вершины соединяются линиями без указания ориентации. Такие линии называют реб­ рами.

3.Смешанные графы, состоящие из дуг и ребер.

Граф G(X, U), состоящий только из изолированных вершин, называется нуль-графом. Для него справедливо соотношение

P+{Xi)=P-(xt)=0,

где Xi^X.

Если степени всех вершин графа одинаковы, то граф называет­ ся однородным.

Нуль-граф всегда однороден, так как степени всех его вершин равны нулю.

Граф G(X, U), в котором любые две смежные вершины соеди­

нены только

двумя противоположно

ориентированными

дугами,

называется

симметрическим.

 

 

 

 

 

 

Для симметрического графа справедливо условие:

 

 

если и

х2)

то и 2, X\)^U,

т. е. принадлежность

дуги

их2)

к множеству

U влечет

за

собой

принадлежность

к U

и

дуги

2, Xi).

G(X,U)

без петель, в котором каждая пара

смежных вер­

Граф

шин соединена только в одном направлении, называется

антисим­

метрическим. Для него справедливо условие:

 

 

 

если

(х\,

x2)^U,

то

2,

х{)

не

принадлежит U.

 

 

оди­

Граф

G(X, U),

в котором любая

пара вершин соединена

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

мер полного

графа — многоугольник с п

вершинами, у

которого

проведены

все

диагонали.

 

 

Подграфом

графа

G(X, Г) называется

гдяф_(?(71. ГА),

опреде­

ляемый следующим

образом:

[ Н л у ^ ~ ^ ~

-

2. Заказ 4230.

 

 

 

/ R/f;'.'-'"

- H R f l

С О Р

1. Вершинами А

подграфа G

(А,

ГА)

является некоторое

под­

множество вершин

графа

й(Х,Г),

т. е.

АаХ.

Г

(А,

ГА) являет­

2. Отображением

каждой вершины подграфа

ся пересечение отображения той же

вершины в

графе

6(Х,Г)

со

всем подмножеством

вершин А подграфа G (А, ГА),

т. е.

 

 

ГА(х)

= Гх

П А.

 

 

 

 

 

Частичным графом для

G(X,

Г)

называется

 

граф

G(X,

F), в

котором содержатся все вершины и некоторое подмножество дуг исходного графа, т. е. Fat.

Рассмотрим некоторые операции теории графов.

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

М, в которое входят элементы

множества

Мх и недостающие эле­

менты множества М2.

 

 

 

 

 

 

 

Операция

объединения графов записывается в виде:

 

 

 

G(X, J T)=G 1 (X 1 ,A) U

0222),

 

где G i f X ^ )

и G2(X2r2)

— исходные

графы;

 

G(X,

Г)—объединение

 

исходных

графов.

 

Ниже

приводятся правила,

по

которым

определяется

объеди­

нение графов

G(X,

Г):

G(X,

Г)

 

 

 

 

1. Вершинами графа

является

объединение

вершин

исходных

графов

Gx(Xh

Гх)

и

G2(X2T2),

т. е.

 

 

 

 

 

х^Хг

 

и х2

 

 

2. Отображения

для каждой

вершины графа G(X, Г)

получа­

ются путем объединения отображений той же вершины для исход­

ных графов Gl(Xl, Гх)

и G2(X2,

Г2),

т. е.

Гхг

= ГхХ1 U

F2Xi

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

Пересечение графов записывается в виде:

 

 

0(Х,Г)

= 01иГ1)

Л

С222),

 

где Gx(Xh

Гх) и

G2(X2,

Г2)

— исходные графы;

 

G(X,

Г)—пересечение

 

исходных

графов.

G(X,r):

Правила, по которым определяется пересечение графов

1. Вершинами

графа

G(X, Г)

является

пересечение

вершин

исходных

графов

GX(XU

Гх)

и G2(X2,

Г2),

т. е.

 

Х = ХХ [)Х2

Другими словами, вершинами графа G(X, Г) будут только об­ щие вершины исходных графов.

18

2.

Отображения

для каждой

вершины графа G(X, Г) получа­

ются

пересечением

отображений

для

той же вершины

исходных

графов

GX(XU

Гх)

и G2(X2,

Г2),

т. е.

 

 

 

 

 

 

 

 

 

 

ГXi = TxXi

П r2Xi

 

 

 

 

 

Другими

словами, отображениями

для

каждой

вершины

ново­

го графа

G(X, Г) являются

отображения,

общие

для тех же

вер­

шин в исходных графах.

 

 

 

 

 

 

 

 

 

Разность

графов.

При

определении

данной операции

использу­

ется

понятие

разности из

теории

множеств,

которое заключается

в следующем: если даны два

множества

М\

я М2,

то

разностью

этих множеств является новое множество М, содержащее элемен­

ты первого множества Ми

за исключением

 

тех элементов,

которые

являются общими для множеств Mi и М2.

 

 

 

 

Разность

графов записывается в виде:

 

 

 

 

 

 

 

G(X,r)=Gl(Xur1)/G2(X2,r2),

 

 

 

 

 

 

где Gl(Xu

Г})

и G2(X2,

Г2)—исходные

графы;

 

-*

 

G(X, Г)— разность исходных графов.

G(X,

Г)

 

 

 

Правила

определения

разности

графов

 

заключаются

в

следующем:

G(X,

Г)

 

 

 

 

 

 

 

1. Вершинами графа

являются

вершины

графа

G\(XU

Г\),

за

исключением вершин,

общих

для

исходных

графов,

т.

е.

 

 

 

X = XJX2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.

Отображением для

каждой

вершины

 

графа

G(X,

Г)

являет­

ся разность между всем множеством вершин этого графа и отобра­

жением рассматриваемой

вершины в графе Gx(Xb

Гх),

т. е.

 

 

 

 

 

 

Гх% = Х/Г\Xi

 

 

 

 

 

Произведение

графов.

 

Произведение

 

графов

записывается в

виде

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

G(X,r)

= Gi{Xurl)xG2(X2,

 

Г2),

 

 

 

где

G\(Xh

Л ) и

G2(X2,

Г2)

— исходные

графы;

 

 

 

 

G(X,

Г)—произведение

 

графов.

 

 

G(X, Г)

 

Правила определения

произведения

графов

состоят

в следующем:

 

 

G(X, Г)

 

 

 

 

 

 

 

1. Вершинами

графа

 

является

объединение

вершин

исходных графов

Gi(Xu

Гх)

и G2(X2,

Г2),

т. е.

 

 

 

 

 

 

 

 

 

Х=ХХ

и Х2

 

 

 

 

 

2. Отображения для каждой вершины

графа G(X,

Г)

определя­

ются

как

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Г.гг = Г2 {Г1^},

 

 

 

 

 

где

Гхг — отображение вершины Xi графа

G(X,

Г);

 

 

F\Xi~отображение

вершины

xt

графа

Gi(Xu

Г,);

 

Г2{Л*;}

отображение вершины графа

G2 для Л*<.

 

2*

19

 

Соседние файлы в папке книги из ГПНТБ