Реферат: Теория графов. Методические указания по подготовке к контрольным работам по дисциплине «Дискретная математика»

Министерство образования Российской Федерации

УФИМСКИЙ ГОСУДАРСТВЕННЫЙ АВИАЦИОННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ

Теория графов

МЕТОДИЧЕСКИЕ УКАЗАНИЯ

по подготовке к контрольным работам по дисциплине

«Дискретная математика»

Уфа  2005

<span Times New Roman",«serif»;mso-fareast-font-family: «Times New Roman»;mso-ansi-language:RU;mso-fareast-language:RU;mso-bidi-language: AR-SA">

Министерствообразования Российской Федерации

УФИМСКИЙГОСУДАРСТВЕННЫЙ АВИАЦИОННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ

Кафедрапроектирования средств информатики

ТЕОРИЯГРАФОВ

МЕТОДИЧЕСКИЕУКАЗАНИЯ

по подготовке к контрольным работам по дисциплине

«Дискретная математика»

Уфа  2005

<span Times New Roman",«serif»;mso-fareast-font-family: «Times New Roman»;mso-ansi-language:RU;mso-fareast-language:RU;mso-bidi-language: AR-SA">
Составители: Н.И. Житникова,Г.И. Федорова, А.К. Галимов

УДК 519.6 (07)

ББК 22.193 (я7)

Теория графов. Методическиеуказания по подготовке к контрольным работам по дисциплине «Дискретнаяматематика». /Уфимск. гос. авиац. техн. ун-т.; Сост.: Н.И. Житникова,Г.И. Федорова, А.К. Галимов. — Уфа, 2005 -37 с.

Предназначены для студентов 1курса направления 654600: Информатика и вычислительная техника,       : Защита информациидля подготовки к контрольным работам по курсу «Дискретная математика».

Табл. 2. Ил. 14.Библиогр.: 9 назв.

Рецензенты:        Газизов Р.К.

                              ВасильевВ.И.

© Уфимский государственный

авиационный технический университет, 2005

<span Times New Roman",«serif»;mso-fareast-font-family: «Times New Roman»;mso-ansi-language:RU;mso-fareast-language:RU;mso-bidi-language: AR-SA">

                                                    Содержание

Краткийперечень основных понятий теории графов ………………..    4

Понятия смежности,инцидентности, степени………………………..     7

Маршрутыи пути ……………………………………………………….   7

Матрицы смежности и инцидентности…..…………………………….     7

Связность. Компоненты связности ……………………………………..   8

Матрицы достижимости и связности………….……………………….   9

Расстояния в графе…………………………..…………….…………….   9

Образи прообраз вершины и множества вершин …………..………..   10

Нагруженныеграфы ………………..…………………………………..  11

Деревьяи циклы …………………………………….………….………   12

Решение контрольных задач по теме «Теория графов»……………………………………………...…………………...  13

Задание 1. Компоненты сильной связностиориентированного графа.…………………………………………………………………….   13

Задание2. Расстояния в ориентированном графе ..………………......   16

Задание3. Минимальный путь в нагруженном ориентированном графе ...……...…………………………………………………………...              20

Задание4. Эйлеровы циклы и цепи ……..………………………….…   23

Задание5. Минимальное остовное дерево...………...…………...……  25

Задание6. Задача о коммивояжёре...………...…………...……………   27

Заданиядля самостоятельного решения ………….………......………   34

Списоклитературы…………………………………………………..….  37

<span Times New Roman",«serif»;mso-fareast-font-family: «Times New Roman»;mso-ansi-language:RU;mso-fareast-language:RU;mso-bidi-language: AR-SA">

Краткий перечень основных понятий теорииграфов.

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

<img src="/cache/referats/19821/image001.gif" v:shapes="_x0000_i1025">

Рис. 1.

Формальное определение графа таково. Пусть заданоконечное множество V, состоящее из nэлементов,называемых вершинами графа, и подмножество Xдекартова произведения V×V, то есть <img src="/cache/referats/19821/image003.gif" v:shapes="_x0000_i1026">ориентированным графом Dназываетсясовокупность (V,X). Неориентированнымграфом Gназывается совокупность множества Vимножества ребер − неупорядоченных пар элементов, каждый из которыхпринадлежит множеству V.

Одинаковыепары — параллельные или кратные ребра;

Кратностью реберназывают количество одинаковых пар.

<img src="/cache/referats/19821/image005.jpg" v:shapes="_x0000_i1027">

Рис.2.

Например,кратность ребра {v1, v2} вграфе, изображенном на рис. 2, равна двум, кратность ребра {v3, v4} −трем.

Псевдограф− граф, в котором есть петли и/или кратные ребра.

Мультиграф− псевдограф без петель.

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

Графназывается ориентированным, если пары(v,w) являются упорядоченными.

Ребраориентированного графа называются дугами.

Итак, используемыедалее обозначения:

V– множество вершин;

X– множество ребер или дуг;

v(илиvi)– вершина или номер вершины;

G, G0 — неориентированный граф;

D, D0–ориентированный;

{v,w} − ребра неориентированного графа;

{v,v} – обозначение петли;

(v,w) − дуги в ориентированном графе;

v,w — вершины, x,y,z– дуги и ребра;

n(G), n(D) количество вершин графа;

m(G) — количество ребер, m(D) — количество дуг.

Примеры

1) Ориентированный граф D=(V, X), V={v1, v2, v3, v4},

X={x1=(v1,v2), x2=(v1,v2), x3=(v2,v2), x4=(v2,v3)}.

<img src="/cache/referats/19821/image007.jpg" v:shapes="_x0000_i1028">

Рис. 3.

2) Неориентированныйграф G=(V, X), V={v1, v2, v3, v4, v5},

X={x1={v1,v2}, x2={v2,v3}, x3={v2,v4}, x4={v3,v4}}.

<img src="/cache/referats/19821/image009.jpg" v:shapes="_x0000_i1029">

Рис. 4.

Понятия смежности, инцидентности,степени

Если x={v,w} — ребро,то vи w−концы ребра x.

Если x=(v,w) — дуга ориентированногографа, то v− начало, w– конец дуги.

Вершина vи ребро xнеориентированного графа (дуга xориентированного графа) называются инцидентными, если vявляется концом ребра x(началом или концом дуги x).

Вершины v, wназываютсясмежными, если {v,w}<span Times New Roman"; mso-hansi-font-family:«Times New Roman»;mso-char-type:symbol;mso-symbol-font-family: Symbol">Î

X.

Степеньювершины vграфа Gназывается число <span Times New Roman";mso-hansi-font-family: «Times New Roman»;mso-char-type:symbol;mso-symbol-font-family:Symbol">d

(v) ребер графа G, инцидентных вершине v.

Вершинаграфа, имеющая степень 0 называется изолированной,а степень 1 – висячей.

Полустепеньюисхода(захода) вершины vориентированного графа Dназывается число <span Times New Roman";mso-hansi-font-family: «Times New Roman»;mso-char-type:symbol;mso-symbol-font-family:Symbol">d

+(v) (<span Times New Roman"; mso-hansi-font-family:«Times New Roman»;mso-char-type:symbol;mso-symbol-font-family: Symbol">d<span Times New Roman"; mso-hansi-font-family:«Times New Roman»;mso-char-type:symbol;mso-symbol-font-family: Symbol">-(v)) дуг ориентированного графа D, исходящихиз v(заходящих в v).

Следуетзаметить, что в случае ориентированного псевдографа вклад каждой петлиинцидентной вершине vравен 1 как в <span Times New Roman"; mso-hansi-font-family:«Times New Roman»;mso-char-type:symbol;mso-symbol-font-family: Symbol">d

+(v), так и в <span Times New Roman";mso-hansi-font-family: «Times New Roman»;mso-char-type:symbol;mso-symbol-font-family:Symbol">d<span Times New Roman"; mso-hansi-font-family:«Times New Roman»;mso-char-type:symbol;mso-symbol-font-family: Symbol">-(v).

Маршруты и пути

Последовательность v1x1v2x2v3...xkvk+1, (где k<span Times New Roman";mso-hansi-font-family: «Times New Roman»;mso-ansi-language:EN-US;mso-char-type:symbol;mso-symbol-font-family: Symbol">³

1, vi<span Times New Roman";mso-hansi-font-family:«Times New Roman»;mso-ansi-language: EN-US;mso-char-type:symbol;mso-symbol-font-family:Symbol">ÎV, i=1,...,k+1, xi<span Times New Roman"; mso-hansi-font-family:«Times New Roman»;mso-ansi-language:EN-US;mso-char-type: symbol;mso-symbol-font-family:Symbol">ÎX, j=1,...,k), в которой чередуются вершины и ребра (дуги) и длякаждого j=1,...,kребро (дуга) xjимеет вид {vj,vj+1} (дляориентированного графа (vj,vj+1)),называется маршрутом, соединяющимвершины v1и vk+1(путем из v1в vk+1).

Пример

Вграфе, изображенном на рис.4, v1x1v2x2v3x4v4x3v2 — маршрут, v2x2v3x4v4–подмаршрут;

маршрутможно восстановить и по такой записи x1x2x4x3;

есликратности ребер (дуг) равны 1, можно записать и так v1v2v3v4v2.

Цепь− незамкнутый маршрут (путь), в котором всеребра (дуги) попарно различны.

Цикл− замкнутая цепь (в неориентированном графе).

Контур− замкнутый путь (в ориентированном графе).

Простой путь (цепь)− путь (цепь, цикл, контур), в котором ни одна дуга/ребро не встречаетсядважды.

Простой цикл (контур)− цикл (контур), в котором все вершины попарно различны.

Гамильтоновацепь (путь, цикл, контур) − простая цепь (путь, цикл, контур),проходящая через все вершины.

Эйлерова цепь(путь,цикл, контур) − цепь (путь, цикл, контур), содержащая все ребра(дуги) графа по одному разу.

Длинамаршрута (пути) − число ребер в маршруте (дуг в пути).

Утверждение 1.Для тогочтобы связный псевдограф Gобладал Эйлеровым циклом, необходимо и достаточно,чтобы степени всех его вершин были четными.

Утверждение 2. Для тогочтобы связный псевдограф Gобладал Эйлеровой цепью, необходимо и достаточно,чтобы он имел ровно 2 вершины нечетной степени.

Матрицы смежности и инцидентности

Пусть D=(V,X) ориентированный граф, V={v1,...,vn},X={x1,...,xm}.

Матрицасмежностиориентированного графа D−квадратная матрица

A(D)=[aij] порядка n, где

                                              <img src="/cache/referats/19821/image011.gif" v:shapes="_x0000_i1030">

Матрицаинцидентности− матрица B(D)=[bij]порядка n<span Times New Roman"; mso-hansi-font-family:«Times New Roman»;mso-ansi-language:EN-US;mso-char-type: symbol;mso-symbol-font-family:Symbol">´

m, где

                                   <img src="/cache/referats/19821/image013.gif" v:shapes="_x0000_i1031">

Матрицейсмежностинеориентированного графа G=(V,X)называется квадратная симметричная матрица A(G)=[aij] порядка n, где

                                             <img src="/cache/referats/19821/image015.gif" v:shapes="_x0000_i1032">

Матрицаинцидентностиграфа Gназываетсяматрица B(G)=[bij] порядка n<span Times New Roman";mso-hansi-font-family:«Times New Roman»;mso-ansi-language: EN-US;mso-char-type:symbol;mso-symbol-font-family:Symbol">´

m, где

                                <img src="/cache/referats/19821/image017.gif" v:shapes="_x0000_i1033">

Связность. Компоненты связности

Подграфомграфа G(ориентированного графа D) называется граф, все вершины и ребра которогосодержатся среди вершин и ребер графа G(D).

Подграф называется собственным,если он отличен от самого графа.

Говорят, что вершинаwориентированногографа D(графа G) достижима из вершины v, если либо w=v, либо существует путь (маршрут) из vв w.

Граф (ориентированный граф) называется связным (сильно связным), если для любых двух его вершин v, wсуществуетмаршрут (путь), соединяющий vи w.

Компонентойсвязностиграфа G(сильной связности ориентированного графаD)называется его связный (сильно связный) подграф, не являющийся собственнымподграфом никакого другого связного (сильно связного) подграфа графа G(ориентированногографа D).

Матрицы достижимости и связности

Пусть A(D) – матрица смежности ориентированного псевдографа D=(V,X) (илипсевдографа G=(V,X)), где V={v1,…, vn}.Обозначим через Ak=[a(k)ij] k-ю степень матрицы смежности A(D).

Элемент a(k)ijматрицы Akориентированного псевдографа D=(V,X) (псевдографаG=(V,X)) равенчислу всех путей (маршрутов) длины kиз viв vj.

Матрицадостижимостиориентированного графа D− квадратная матрица T(D)=[tij]порядка n, элементы которой равны

                                  <img src="/cache/referats/19821/image019.gif" v:shapes="_x0000_i1034">

Матрицасильной связностиориентированногографа D− квадратнаяматрица S(D)=[sij] порядка n, элементы которой равны

               <img src="/cache/referats/19821/image021.gif" v:shapes="_x0000_i1035">

Матрицасвязностиграфа G− квадратная матрица S(G)=[sij]порядка n, элементы которой равны

                    <img src="/cache/referats/19821/image023.gif" v:shapes="_x0000_i1036">

Пусть G=(V,X) – граф, V={v1,…, vn},A(G)– его матрица смежности. Тогда

S(G)=sign[E+A+A2+A3+… An-1](E- единичнаяматрицапорядкаn).

Утверждение3. Пусть D=(V,X) – ориентированный граф, V={v1,…, vn},A(D) – его матрица смежности. Тогда

1)<span Times New Roman"">  

T(D)=sign[E+A+A2+A3+…An-1],

2)<span Times New Roman"">  

S(D)=T(D)<span Times New Roman";mso-hansi-font-family:«Times New Roman»;mso-ansi-language: EN-US;mso-char-type:symbol;mso-symbol-font-family:Symbol">&TT(D) (TT-транспонированнаяматрица, <span Times New Roman";mso-hansi-font-family:«Times New Roman»; mso-ansi-language:EN-US;mso-char-type:symbol;mso-symbol-font-family:Symbol">& — поэлементное умножение).

Расстояния в графе

Пусть <img src="/cache/referats/19821/image025.gif" v:shapes="_x0000_i1037"><img src="/cache/referats/19821/image027.gif" v:shapes="_x0000_i1038"> называется минимальнаядлина пути между ними, при этом <img src="/cache/referats/19821/image029.gif" v:shapes="_x0000_i1039"><img src="/cache/referats/19821/image031.gif" v:shapes="_x0000_i1040"><img src="/cache/referats/19821/image033.gif" v:shapes="_x0000_i1041"> пути.

Расстояние в графе удовлетворяют аксиомам метрики

1)   <img src="/cache/referats/19821/image035.gif" v:shapes="_x0000_i1042"><img src="/cache/referats/19821/image037.gif" v:shapes="_x0000_i1043">

2)   <img src="/cache/referats/19821/image039.gif" v:shapes="_x0000_i1044"> (не в ориентированномграфе)

3)   <img src="/cache/referats/19821/image041.gif" v:shapes="_x0000_i1045">

4)   <img src="/cache/referats/19821/image043.gif" v:shapes="_x0000_i1046"> в связном графе (не вориентированном графе).

Пусть <img src="/cache/referats/19821/image045.gif" v:shapes="_x0000_i1047"> связный граф (илипсевдограф).

Диаметромграфа Gназывается величина <img src="/cache/referats/19821/image047.gif" v:shapes="_x0000_i1048">

Пусть <img src="/cache/referats/19821/image049.gif" v:shapes="_x0000_i1049">

Максимальнымудалением (эксцентриситетом)в графе Gот вершины<img src="/cache/referats/19821/image051.gif" v:shapes="_x0000_i1050"> называется величина <img src="/cache/referats/19821/image053.gif" v:shapes="_x0000_i1051">

Радиусом графа Gназывается величина <img src="/cache/referats/19821/image055.gif" v:shapes="_x0000_i1052">

Центром графаGназывается любая вершина <img src="/cache/referats/19821/image057.gif" v:shapes="_x0000_i1053"> такая, что <img src="/cache/referats/19821/image059.gif" v:shapes="_x0000_i1054">

Образ ипрообраз вершины и множества вершин

Пусть <img src="/cache/referats/19821/image061.gif" v:shapes="_x0000_i1055"> ориентированный граф <img src="/cache/referats/19821/image063.gif" v:shapes="_x0000_i1056"><img src="/cache/referats/19821/image065.gif" v:shapes="_x0000_i1057">

Обозначим <img src="/cache/referats/19821/image067.gif" v:shapes="_x0000_i1058"><img src="/cache/referats/19821/image051.gif" v:shapes="_x0000_i1059">

<img src="/cache/referats/19821/image069.gif" v:shapes="_x0000_i1060"><img src="/cache/referats/19821/image051.gif" v:shapes="_x0000_i1061">

<img src="/cache/referats/19821/image072.gif" v:shapes="_x0000_i1062">V1;

<img src="/cache/referats/19821/image074.gif" v:shapes="_x0000_i1063">V1.

Нагруженные графы

Нагруженный граф− ориентированный граф D=(V,X), намножестве дуг которого определена не которая функция <img src="/cache/referats/19821/image076.gif" v:shapes="_x0000_i1064">

Цифранад дугой (см. рис. 5)− вес дуги (цена дуги).

<img src="/cache/referats/19821/image077.gif" v:shapes="_x0000_i1065">

Рис. 5.

Обозначения:для любого пути П нагруженного ориентированного графа Dчерез l(П) сумму длин дуг, входящих в путь П. (Каждая дугасчитается столько раз, сколько она входит в путь П).

Величинаlназывается длинойпути.

Есливыбрать веса равными 1, то придем к ненагруженному графу.

Путьв нагруженном ориентированном графе из вершины vв вершину w, где v<span Times New Roman";mso-hansi-font-family: «Times New Roman»;mso-ansi-language:EN-US;mso-char-type:symbol;mso-symbol-font-family: Symbol">¹

w,называется минимальным, если он имеетнаименьшую длину.

Аналогично определяется минимальный маршрут в нагруженном графе.

Введемматрицу длин дуг C(D)=[cij] порядка n, причем

                                        <img src="/cache/referats/19821/image079.gif" v:shapes="_x0000_i1066">

Свойства минимальныхпутей в нагруженном ориентированном графе

1)Если для <span Times New Roman";mso-hansi-font-family:«Times New Roman»;mso-char-type:symbol; mso-symbol-font-family:Symbol">"

дуги <img src="/cache/referats/19821/image081.gif" v:shapes="_x0000_i1067"> <img src="/cache/referats/19821/image083.gif" v:shapes="_x0000_i1068"><span Times New Roman";mso-hansi-font-family:«Times New Roman»; mso-char-type:symbol;mso-symbol-font-family:Symbol">"минимальный путь (маршрут) является простой цепью;

2)если <img src="/cache/referats/19821/image085.gif" v:shapes="_x0000_i1069"> минимальный путь(маршрут) то для <span Times New Roman";mso-hansi-font-family:«Times New Roman»; mso-char-type:symbol;mso-symbol-font-family:Symbol">"

i,j: <img src="/cache/referats/19821/image087.gif" v:shapes="_x0000_i1070"> путь (маршрут) <img src="/cache/referats/19821/image089.gif" v:shapes="_x0000_i1071"> тоже являетсяминимальным;

3)если <img src="/cache/referats/19821/image091.gif" v:shapes="_x0000_i1072"> − минимальный путь(маршрут) среди путей (маршрутов) из vв w, содержащих не более k+1 дуг (ребер), то <img src="/cache/referats/19821/image093.gif" v:shapes="_x0000_i1073"> − минимальныйпуть (маршрут) из vв uсреди путей (маршрутов), содержащих не более kдуг(ребер).

Деревья и циклы

Граф Gназывается деревомесли он является связным и не имеет циклов.

Граф Gназывается лесомесли все его компоненты связности — деревья.

Свойствадеревьев:

Следующие утверждения эквивалентны:

1)     Граф Gесть дерево.

2)     Граф Gявляется связным и не имеет простых циклов.

3)     Граф Gявляется связным и число его ребер ровно на 1 меньшечисла вершин.

4)     <span Times New Roman";mso-hansi-font-family: «Times New Roman»;mso-char-type:symbol;mso-symbol-font-family:Symbol">"

две различные вершины графа Gможносоединить единственной (и при этом простой) цепью.

5)     Граф Gне содержит циклов, но, добавляя к нему любое новоеребро, получаем ровно один и притом простой цикл

Утверждение4. Если у дерева Gимеется,по крайней мере, 1 ребро, то у него найдется висячая вершина.

Утверждение5.Пусть Gсвязный граф, а <img src="/cache/referats/19821/image051.gif" v:shapes="_x0000_i1074"> − висячаявершина в G, граф <img src="/cache/referats/19821/image095.gif" v:shapes="_x0000_i1075"> получается из Gврезультате удаления вершины <img src="/cache/referats/19821/image051.gif" v:shapes="_x0000_i1076"> и инцидентного ейребра. Тогда <img src="/cache/referats/19821/image095.gif" v:shapes="_x0000_i1077"> тоже является связным.

Утверждение6.Пусть G — дерево с n(G) вершинами и m(G) ребрами. Тогда m(G)=n(G)-1.

Утверждение7.Пусть G– дерево. Тогда любая цепь в Gбудет простой.

Остовнымдеревом связного графа Gназываетсялюбой его подграф, содержащий все вершины графа Gи являющийся деревом.

Пусть G– связный граф. Тогда остовное дерево графа Gдолжносодержать n(G)-1 ребер. Значит, для получения остовного дерева изграфа Gнужно удалить <img src="/cache/referats/19821/image098.gif" v:shapes="_x0000_i1078"> ребер.

Число <img src="/cache/referats/19821/image100.gif" v:shapes="_x0000_i1079"> − цикломатическое число графа G.

Решениеконтрольных задач по теме «Теория графов».

Задание1. Компоненты сильной связности ориентированного графа.

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

Cоставляемматрицу смежности A(D) размерности <img src="/cache/referats/19821/image102.gif" v:shapes="_x0000_i1080"> (n−количество вершин) для данного ориентированного графа: она состоит из нулей иединиц, номера строк – индексы вершин, из которых исходят дуги, номерастолбцов – индексы вершин, в которые дуги входят (если есть дуга, исходящая извершины viи входящая в vj, то элемент матрицы смежности, стоящий на пересеченииi-тойстроки и j-того столбца равен 1, иначе – 0.).

Для того, чтобы выделить компоненты сильной связности,необходимо сначала найти матрицу достижимости T(D) ориентированного графа по первой формуле утверждения3, затем находим матрицу сильной связности S(D) ориентированного графа (она должна бытьсимметрической) по второй формуле из того же утверждения.

Алгоритм выделения компонент сильнойсвязности

1. Присваиваем p=1 (p−количество компонент связности), <img src="/cache/referats/19821/image104.gif" v:shapes="_x0000_i1081">

2. Включаем в множество вершин Vpкомпоненты сильной связности Dpвершины, соответствующие единицам первой строки матрицы Sp.В качестве матрицы A(Dp) возьмем подматрицу матрицы A(D),состоящую из элементов матрицы A, находящихся на пересечении строк и столбцов,соответствующих вершинам из Vp.

3. Вычеркиваем из Spстроки и столбцы, соответствующие вершинам из Vp.Если не остается ни одной строки (и столбца), то p — количество компонент сильной связности. В противномслучае обозначим оставшуюся после вычеркивания срок и столбцов матрицу как Sp+1, присваиваем p=p+1 ипереходим к п. 2.

Пример

Выделим компоненты связности ориентированного графа,изображенного на рис. 6. В данной задаче количество вершин n=5.

<img src="/cache/referats/19821/image106.jpg" v:shapes="_x0000_i1082">

Рис. 6.

Значит, для данного ориентированного графаматрица смежности будет иметь размерность 5×5 и будет выглядеть следующимобразом

                                          <img src="/cache/referats/19821/image108.gif" v:shapes="_x0000_i1083">

Найдем матрицу достижимости для данногоориентированного графа по формуле 1) из утверждения 3:

            <img src="/cache/referats/19821/image110.gif" v:shapes="_x0000_i1084"><img src="/cache/referats/19821/image112.gif" v:shapes="_x0000_i1085">

                                     <img src="/cache/referats/19821/image114.gif" v:shapes="_x0000_i1086">

Следовательно,

<img src="/cache/referats/19821/image116.gif" v:shapes="_x0000_i1087">

         <img src="/cache/referats/19821/image118.gif" v:shapes="_x0000_i1088">

Такимобразом, матрица сильной связности, полученная по формуле 2) утверждения 3,будет следующей:

      <img src="/cache/referats/19821/image120.gif" v:shapes="_x0000_i1089">

Присваиваем p=1 <img src="/cache/referats/19821/image104.gif" v:shapes="_x0000_i1090"> и составляем множествовершин первой компоненты сильной связности D1: это тевершины, которым соответствуют единицы в первой строке матрицы S(D). Такимобразом, первая компонента сильной связности состоит из одной вершины <img src="/cache/referats/19821/image122.gif" v:shapes="_x0000_i1091">

Вычеркиваем из матрицы S1(D) строку истолбец, соответствующие вершине v1, чтобыполучить матрицу S2(D):

                                     <img src="/cache/referats/19821/image124.gif" v:shapes="_x0000_i1092">

Присваиваем p=2. Множество вершин второй компоненты связностисоставят те вершины, которым соответствуют единицы в первой строке матрицы S2(D), то есть <img src="/cache/referats/19821/image126.gif" v:shapes="_x0000_i1093"><img src="/cache/referats/19821/image128.gif" v:shapes="_x0000_i1094"> исходного графа D−в ее качестве возьмем подматрицу матрицы A(D), состоящую из элементов матрицы A,находящихся на пересечении строк и столбцов, соответствующих вершинам из V2:

                                               <img src="/cache/referats/19821/image130.gif" v:shapes="_x0000_i1095">

Вычеркиваем из матрицы S2(D) строки истолбцы, соответствующие вершинам из V2, чтобыполучить матрицу S3(D), котораясостоит из одного элемента:

                                                      <img src="/cache/referats/19821/image132.gif" v:shapes="_x0000_i1096">

иприсваиваем p=3. Таким образом, третья компонента сильной связностиисходного графа, как и первая, состоит из одной вершины <img src="/cache/referats/19821/image134.gif" v:shapes="_x0000_i1097">

Таким образом, выделены 3 компоненты сильной связностиориентированного графа D:

       D1:

<img src="/cache/referats/19821/image135.gif" v:shapes="_x0000_i1098">

D2:

<img src="/cache/referats/19821/image136.gif" v:shapes="_x0000_i1099">

       D3:

<img src="/cache/referats/19821/image137.gif" v:shapes="_x0000_i1100">

Задание 2.Расстояния в ориентированном графе

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

Пусть <img src="/cache/referats/19821/image061.gif" v:shapes="_x0000_i1101"> ориентированный граф сn<span Times New Roman";mso-hansi-font-family:«Times New Roman»;mso-ansi-language: EN-US;mso-char-type:symbol;mso-symbol-font-family:Symbol">³

2 вершинами и v,w(v<span Times New Roman";mso-hansi-font-family:«Times New Roman»;mso-ansi-language: EN-US;mso-char-type:symbol;mso-symbol-font-family:Symbol">¹w) –заданные вершины из V.

Алгоритмпоиска минимального пути из <img src="/cache/referats/19821/image051.gif" v:shapes="_x0000_i1102"> в <img src="/cache/referats/19821/image140.gif" v:shapes="_x0000_i1103"> в ориентированном графе

(алгоритм фронта волны).

1)<span Times New Roman"">        

Помечаем вершину <img src="/cache/referats/19821/image142.gif" v:shapes="_x0000_i1104"> индексом 0, затемпомечаем вершины <span Times New Roman";mso-hansi-font-family:«Times New Roman»; mso-char-type:symbol;mso-symbol-font-family:Symbol">Îобразу вершины <img src="/cache/referats/19821/image051.gif" v:shapes="_x0000_i1105"> индексом 1. Обозначаемих FW1(v). Полагаемk=1.

2)<span Times New Roman"">              

Если <img src="/cache/referats/19821/image145.gif" v:shapes="_x0000_i1106"> или k=n-1, иодновременно<img src="/cache/referats/19821/image147.gif" v:shapes="_x0000_i1107"> то вершина <img src="/cache/referats/19821/image140.gif" v:shapes="_x0000_i1108"> не достижима из <img src="/cache/referats/19821/image051.gif" v:shapes="_
еще рефераты
Еще работы по математике