русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Способы задания псевдографов. Степени вершин


Дата добавления: 2015-07-23; просмотров: 2094; Нарушение авторских прав


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

1. Матрица инцидентности

Пусть v1,v2,...,vn - вершины псевдографа F; e1,e2,...,em - его рёбра. Отношение инцидентности можно определить матрицей инцидентности Bm´n , n столбцов которой соответствуют вершинам псевдографа, а m строк - его рёбрам. Для неориентированного графа: bij =1, если ребро ei инцидентно вершине vj, в противном случае bij =0.

В матрице инцидентности ориентированного псевдографа, если вершина vj - начало ребра ei , то bij = -1, если vj - конец ei, то bij =1, если ei - петля, а vj - инцидентная ей вершина, то bij =a (где a - любое число, отличное от 1, 0, -1), в остальных случаях bij =0.

В каждой строке матрицы инцидентности для неориентированного или ориентированного псевдографа только два элемента отличны от нуля (или один, если ребро является петлёй), поэтому такой способ задания графа оказывается недостаточно экономным.

 

2. Список рёбер

Отношение инцидентности можно задать ещё списком рёбер. Каждая строка этого списка соответствует одному ребру; в ней записаны номера вершин, инцидентных ему. Для неориентированного псевдографа порядок вершин в строке произволен, для ориентированного псевдографа сначала указывается начальная вершина, а затем - конечная.

 

3. Матрица смежности

Матрицей смежности псевдографа является квадратная матрица C n´n, столбцам и строкам которой соответствуют вершины. Для неориентированного псевдографа элемент матрицы смежности cij равен количеству рёбер, инцидентных i-й и j-й вершинам; для ориентированного псевдографа этот элемент равен количеству рёбер с началом в i-й вершине и концом в j-й вершине.



Таким образом, матрица смежности неориентированного псевдографа симметрична (cij=cji) относительно главной диагонали. Для ориентированного псевдографа она будет симметрична только в том случае, если для каждого ребра имеется ребро, соединяющее те же вершины, но идущее в противоположном направлении.

 

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

Рассмотрим теперь два графа F и F* c n вершинами , которые различаются только нумерацией вершин, т.е. являются изоморфными. По определению изоморфных графов (см.§ 2) существует взаимно однозначное соответствие s между множествами их вершин V и V*, при котором вершины u и w соединены в одном из графов тогда и только тогда, когда соответствующие им вершины s(us(w) соединены в другом графе.

Обозначив матрицы смежности этих графов соответственно C и C*, получим

C*S(i)S(j) = Cij, i = 1, 2,..., n, j = 1, 2,..., n.

Тем самым доказана

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

 

Для неориентированного псевдографа F количество r (v) рёбер, инцидентных вершине vÎF, называется локальной степенью или просто степенью этой вершины.

Зная матрицу смежности или матрицу инцидентности графа, случаях степень вершины vj можно найти путём суммирования элементов j-го столбца матрицы инцидентности или матрицы смежности: r (vj)=r (vj)=.

При подсчёте степеней вершин по этим формулам каждая петля вносит в степень инцидентной ей вершины вклад 1. Однако при изображении петли на схеме к этой вершине примыкают два конца петли, т.е. петля вносит в эту степень вклад 2. Учёт вклада петель несколько усложняет формулы:

r *(vj)= .

Когда i-е ребро обычное, =2, и r *(vj)=r (vj).

Если речь идёт о петле, то =1, и слагаемое внешней суммы удваивается.

Соответствующая ф-ла при заданной матрице смежности выглядит следующим образом:

r *(vj)= .

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

Рассмотрим сумму степеней всех вершин графа: . Каждое ребро имеет два конца и, следовательно, вносит вклад 2 в эту сумму; поэтому справедлива следующая лемма.

Лемма 3.1 (о рукопожатиях). Сумма степеней всех вершин графа - чётное число, равное удвоенному числу рёбер.

Возможная интерпретация этой леммы такова: поскольку в каждом рукопожатии участвуют две руки, то при любом числе рукопожатий общее число пожатых рук чётно (при этом каждая рука учитывается столько раз, во скольких рукопожатиях она участвовала).

Следствие. В любом графе число вершин нечётной степени чётно.

Неориентированный граф называется однородным степени k (регулярным), если степени всех его вершин равны между собой и равны k. Если однородный граф степени k имеет n вершин и m рёбер, то справедливо соотношение

.

Регулярный граф степени 3 называется кубическим. Из леммы 3.1 следует, что каждый кубический граф имеет четное число вершин.

На рисунке 3.7, а изображен кубический граф с 6 вершинами.

Теорема 3.2. Во всяком неориентированном графе без петель и кратных рёбер с n вершинами, где n ³ 2, всегда найдутся, по меньшей мере, две вершины с одинаковыми степенями.

ÿ Предположим, что существует отвечающий условиям теоремы граф F, все вершины которого имеют разную степень, т.е. 0, 1, 2, ... , n-1. Это означает, что одна из вершин графа F - изолированная (степени 0), а другая (степени n-1) соединена рёбрами со всеми остальными вершинами. ÿ

Рис. 3.7.

Для вершин ориентированного графа определяются две локальные степени:

r1(v) - число рёбер с началом в вершине v (количество выходящих из v рёбер) и

r2(v) - количество заходящих в v рёбер (тех, для которых эта вершина является концом).

Первую из этих степеней легко определить, суммируя элементы i-й строки матрицы смежности, а вторую - суммируя элементы i-го столбца:

r1(v) =; r2(v)= .

Пример. Для графа, изображённого на рис. 3.1, б, степени вершин следующие:

r1(3)=3; r1(8)=2; r1(24)=1; r2(3)=1; r2(8)=2; r2(24)=3.

Петля даёт вклад 1 в обе эти степени. Очевидно, что общее количество всех выходящих рёбер равно общему количеству всех входящих рёбер и равно количеству рёбер этого графа:

 

m = = .

Ориентированный граф называется однородным степени k, если для каждой его вершины r1(v)=r2(v)= k (рис. 3.7, б). Если однородный граф степени k имеет n вершин и m рёбер, то справедливо соотношение

.

Пример. На рисунке рис. 3.7, б изображен однородный орграф степени 1.

 



<== предыдущая лекция | следующая лекция ==>
Операции над графами | Отношение связности для вершин неориентированного графа


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.475 сек.