Матричные представления графов.

Графы можно задавать не только аналитическим и графическим способом, но и с помощью матриц.

Определение. Матрицей смежности Ag = {aij) графа G = (X, U) называется квадратная матрица порядка n , элементы которой определяются зависимостью:

Матричные представления графов. - student2.ru
Матричные представления графов. - student2.ru 1, если в G существует дуга (i,j) (xi ,xj смежны)

0, если в G нет дуги (i,j) (xi ,xj не смежны)

Пример

u6
u4
u5
u3
u2
Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru

Матрица смежности полностью определяет структуру графа.

Например, сумма всех элементов строки Xi матрицы Ag дает полустепень исхода Матричные представления графов. - student2.ru вершины Xi, a сумма элементов столбца Хk - дает полустепень захода вершины Хk - Матричные представления графов. - student2.ru .

Матричные представления графов. - student2.ru Определение. Матрица инциденций графа G = (X, U) (обозначается В = (bij) ) является матрица размерности m x n , элементы которой определяются следующим образом:

1, если Хi является начальной вершиной дуги Uj,

bij=
-1, если Xi является конечной вершиной дуги Uj,

0, если Хi не является вершиной дуги Uj,

2, если Uj является петлей.

Матричные представления графов. - student2.ru U1 U2 U3 U4 U5 U6
Bg =
X1

-1
X2 -1
X3 -1 -1
X4 -1 -1

Поскольку каждая дуга инцидента двум различным вершинам за исключением того случая, когда дуга образует петлю, то каждый столбец либо содержит один элемент, равный 1, и один - равный - 1, либо все элементы столбца = 0.

Если G является неориентированным графом, то его матрица инциденций определяется также как и выше за исключением того, что все элементы, равные - 1 заменяется на + 1.

Аналитическое задание графа – перечень всех его вершин и дуг:

Пути и маршруты

Матричные представления графов. - student2.ru (1)   Матричные представления графов. - student2.ru (2) Матричные представления графов. - student2.ru (3) (1)-(3)-пути  
Путем(ориентированным маршрутом) орграфа называется последовательность дуг, в которой конечная вершина всякой дуги, отличной от последней, является начальной вершиной следующей.

Матричные представления графов. - student2.ru

Дуги Uk=(Xi,Xj) и Ul=(Xj,Xr), имеющие общие концевые вершины, называются смежными.

Две вершины Xi и Xj называются смежными, если какая-нибудь из двух дуг (Xi , Хj) и (или) (Xj , Xi) одновременно присутствуют в графе. Например, дуги U1,U10 и U3,U6; вершины Х35, смежны.

Дуги U1,U8 и вершины Х14 не являются смежными.

Орцепьюназывают такой путь, в котором каждая дуга используется не более одного раза. Например, (1) и (2) - орцепь; (3) - не орцень, т.к. U6, - дважды включена в путь.

Простой орцепью (элементарным путем)называют такой путь, в котором каждая вершина используется не более одного раза. (2) - простая орцепь, пути (1) и (3) - не простая орцепь.

Маршрутомназывают последовательность ребер U1, U2…Un, в которой каждое ребро Ui, за исключением первого и последнего ребер, связано с ребрами Ui-1 и Ui+1 своими двумя концевыми вершинами. Различают простые и элементарные маршруты

Маршруты:

Черта над символом означает.

что ориентацией пренебрегают

Матричные представления графов. - student2.ru

Пример 3.1. Записать граф G = (X,U) аналитически, построить матрицы смежности, инциденций, пропускных способностей дуг и достижимостей. Определить экстремальные значения путей и маршрутов.

 
  Матричные представления графов. - student2.ru

Решение.

1. Запишем граф G = (U, X) аналитически X = (Xi, Х2, X3, X4, X5. X6)

U=( U1=(X1,X2);U2=(X2,X3);U3=(X2,X4);U4=(X3,X4);U5=(X5,X4);

U6 =(X4,X6);U7=(X6, X5);U8=(X1, X5);U9=(X5,X5)), где X - множество вершин, a U - множество дуг.

2.Строим матрицу смежности А.g.

    X1 X2 X3 X4 X5 X6      
  X1   Матричные представления графов. - student2.ru 2  
  X2    
A= X3   α+=9
  X4  
  X5    
  X6    
          α-=9

где α- и α+ полустепени исхода и полустепени захода вершин Хj соответственно.

3.Составляем матрицу инциденций В= { bik }. Матрица инциденций В

–это прямоугольная матрица размером m x n , где m – число вершин, n – количество дуг, элементы которой определяются:

 
  Матричные представления графов. - student2.ru

1, если Xi является начальной вершиной дуги Uk

bik =, -1. если Xi является конечной вершиной дуги Uk

0, если Xi не является вершиной дуги Uk

2, если Uk является петлей.

    U1 U2 U3 U4 U5 U6 U7 U8 U9
  X1
  X2 -1
B= X3 -1
  X4 -1 -1 -1
  X5 -1 -1
  X6 -1

3. Составляем матрицу пропускных способностей дуг С={cik}, которая строится на основе матрицы смежности A, заменяя элементы равные 1 соответствующим значением пропускной способности дуги.

4.

    X1 X2 X3 X4 X5 X6
  X1
  X2
C= X3
  X4
  X5
  X6

5. Строим матрицу достижимостей D= {dik}, которая определяется следующим образом:

dik=
1, если вершина Хk достижимы из Xi,

0, в противном случае

    X1 X2 X3 X4 X5 X6
  X1
  X2
D= X3
  X4
  X5
  X6

6. Определяем пути их Х Матричные представления графов. - student2.ru в Х Матричные представления графов. - student2.ru , (без учета петли)

Матричные представления графов. - student2.ru

Матричные представления графов. - student2.ru

Сети

Сеть – конечный граф G(X,V) без циклов и петель, ориентированный в одном направлении от вершин V, являющихся входом графа, к вершинам W, являющихся выходами. При этом для каждой вершины V полустепень захода, а для каждой вершины W полустепень исхода, равна нулю, т.е

P(V)=P(W)=0

Наибольшее распространение среди множества сетей получила транспортная сеть, которая имеет только вход и выход. Каждой дуге такой сети соответствует целое число

C ( ν) ≥ 0, называемое пропускной способностью дуги ν (рис 2.8)

Матричные представления графов. - student2.ru

Рис.2.8

Поток сети - это некоторая функция ϕ (ν), удовлетворяющая условиям:

1)φ(ν) ≥ 0, (ν 󠅳 Матричные представления графов. - student2.ru V);

2)φ(ν) ≤ С (ν);

3)∑ φ (ν) - ∑ φ (ν) = 0

ν Матричные представления графов. - student2.ru V Матричные представления графов. - student2.ru ν Матричные представления графов. - student2.ru V Матричные представления графов. - student2.ru

Это означает, что функция Ф (ν), где поток по дуге ν, есть целочисленное положительное число, которое не превышает пропускной способности данной дуги; сумма потоков, входящих в некоторую вершину Матричные представления графов. - student2.ru (не являющуюся входом или выходом), равна сумме потоков, выходящих из этой вершины.

∑ φ(ν) - ∑ φ (ν) = Ф Матричные представления графов. - student2.ru

ν Матричные представления графов. - student2.ru V Матричные представления графов. - student2.ru ν Матричные представления графов. - student2.ru V Матричные представления графов. - student2.ru

где ϕ Матричные представления графов. - student2.ru - величина суммарного потока через вершину Матричные представления графов. - student2.ru .

Для анализа пропускной способности сети используется понятие разрез сети. Все множества вершин Матричные представления графов. - student2.ru можно разбить на взаимодополнительные подмножества А и В, такие что

1) A ≠B, A Матричные представления графов. - student2.ru x и B Матричные представления графов. - student2.ru x;

2) V Матричные представления графов. - student2.ru A;

3) W Матричные представления графов. - student2.ru B.

Следовательно, в подмножестве А содержится вход сети и некоторые промежуточные вершины. Подмножество В, содержит все остальные вершины и в том числе выход сети W.

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

С ( Матричные представления графов. - student2.ru ) = ∑ C (ν), ν Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru

Например, разрез Ӏ (рис. 2.8) определяется множеством верши

A = { Матричные представления графов. - student2.ru }, B = { Матричные представления графов. - student2.ru }, дуг Матричные представления графов. - student2.ru = {( Матричные представления графов. - student2.ru }

Пропускной способностью

C ( Матричные представления графов. - student2.ru ) = Матричные представления графов. - student2.ru

Поток φ (ν), проходящий по данной дуге не может превышать пропускную способность дуги С(ν), а, следовательно, его максимальная величина является φ (ν) = V(ν). В этом случае дуга называется насыщенной. Из всех разрезов сети можно выделить один, который обладает наименьшей пропускной способностью С ( Матричные представления графов. - student2.ru , т.е. разрез минимальной величины.

Наибольшая величина потока Матричные представления графов. - student2.ru не может быть более минимального разреза сети, т.е.

Матричные представления графов. - student2.ru = С ( Матричные представления графов. - student2.ru .

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

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

Пример 3.2. определить величину максимального потока и указать минимальный разрез Матричные представления графов. - student2.ru для сети (рис. 3.4.)

Матричные представления графов. - student2.ru

Рис. 3.4

Решение.

1. Составим матрицу пропускных способностей дуг для сети Матричные представления графов. - student2.ru (рис.3.4)

    X1 X2 X3 X4 X5 X6
  X1   Матричные представления графов. - student2.ru    
  X2       Матричные представления графов. - student2.ru  
Матричные представления графов. - student2.ru = X3        
  X4          
  X5         Матричные представления графов. - student2.ru
  X6            

Укажем один из путей из вершины Матричные представления графов. - student2.ru в вершину Матричные представления графов. - student2.ru . Например, Матричные представления графов. - student2.ru , отмечаем значения соответствующих пропускных способностей дуг в матрице Матричные представления графов. - student2.ru чертой над числами: Матричные представления графов. - student2.ru . Определим минимальное из них, т.е. Матричные представления графов. - student2.ru Величину Матричные представления графов. - student2.ru вычитаем из чисел {6,5,10} в матрице Матричные представления графов. - student2.ru , получим матрицу Матричные представления графов. - student2.ru .

    Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru
  Матричные представления графов. - student2.ru   Матричные представления графов. - student2.ru    
  Матричные представления графов. - student2.ru       Матричные представления графов. - student2.ru    
Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru        
  Матричные представления графов. - student2.ru           Матричные представления графов. - student2.ru
  Матричные представления графов. - student2.ru        
  Матричные представления графов. - student2.ru            
                 

Рассмотрим второй путь из Матричные представления графов. - student2.ru в Матричные представления графов. - student2.ru , т.е. , отмечаем значения соответствующих пропускных способностей дуг в матрице Матричные представления графов. - student2.ru чертой над числами: Матричные представления графов. - student2.ru . Определим минимальное из них, т.е. Матричные представления графов. - student2.ru = 1. Величину Матричные представления графов. - student2.ru вычитаем из чисел {1, 3, 12} в матрице Матричные представления графов. - student2.ru , получим матрицу Матричные представления графов. - student2.ru .

    Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru
  Матричные представления графов. - student2.ru     Матричные представления графов. - student2.ru    
  Матричные представления графов. - student2.ru          
Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru        
  Матричные представления графов. - student2.ru           Матричные представления графов. - student2.ru
  Матричные представления графов. - student2.ru        
  Матричные представления графов. - student2.ru            

Аналогично получаем остальные матрицы.

Матричные представления графов. - student2.ru

    Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru
  Матричные представления графов. - student2.ru     Матричные представления графов. - student2.ru      
  Матричные представления графов. - student2.ru          
Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru         Матричные представления графов. - student2.ru
  Матричные представления графов. - student2.ru          
  Матричные представления графов. - student2.ru        
  Матричные представления графов. - student2.ru            

Матричные представления графов. - student2.ru

    Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru
  Матричные представления графов. - student2.ru     Матричные представления графов. - student2.ru      
  Матричные представления графов. - student2.ru          
Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru       Матричные представления графов. - student2.ru    
  Матричные представления графов. - student2.ru           Матричные представления графов. - student2.ru
  Матричные представления графов. - student2.ru        
  Матричные представления графов. - student2.ru            
                 

Матричные представления графов. - student2.ru

    Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru
  Матричные представления графов. - student2.ru          
  Матричные представления графов. - student2.ru          
Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru            
  Матричные представления графов. - student2.ru          
  Матричные представления графов. - student2.ru        
  Матричные представления графов. - student2.ru            
    Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru
  Матричные представления графов. - student2.ru      
  Матричные представления графов. - student2.ru        
Матричные представления графов. - student2.ru Матричные представления графов. - student2.ru        
  Матричные представления графов. - student2.ru          
  Матричные представления графов. - student2.ru          
  Матричные представления графов. - student2.ru            

Указать путь из вершин Матричные представления графов. - student2.ru больше нельзя. Составим матрицу Матричные представления графов. - student2.ru , вычитая элементы матрицы Матричные представления графов. - student2.ru из соответствующих элементов матрицы Матричные представления графов. - student2.ru . Строим сеть (рис. 3.5.) на основании матрицы пропускных способностей дуг Матричные представления графов. - student2.ru . величину максимального потока определим из условия:

сеть с максимальным потоком.

Матричные представления графов. - student2.ru Рис. 3.5.

Минимальным разрезом является величина Матричные представления графов. - student2.ru (рис.3.4)

Равновесие узлов Матричные представления графов. - student2.ru проверяем на сети с максимальным потоком:

Матричные представления графов. - student2.ru

Поток входящий в каждый узел равен потоку, выходящему из него (равновесие узлов).

Наши рекомендации