Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Доказательство. Достаточность

Пример 2.5 | Пример 2.6 | Пример 2.7 | Пример 2.8 | Пример 2.10 | Пример 2.12 | Пример 2.13 | Операции редуцирования | Пример 2.14 | Доказательство |


Читайте также:
  1. Доказательство
  2. Доказательство
  3. Доказательство и его структура
  4. Доказательство и опровержение
  5. ДОКАЗАТЕЛЬСТВО И ОПРОВЕРЖЕНИЕ. ЛОГИКА СПОРА
  6. Доказательство на стр. 39 в учебнике.

Достаточность. Пусть K ={ kij }, и для некоторого i выполняется условие: kii > 0. Так как kii есть сумма положительных или равных нулю чисел (элементов матриц степеней A), то для некоторого s = 1, 2, …, n справедливо неравенство: > 0, следовательно, согласно утверждению 3.2 в D найдется хотя бы один путь из вершины vi в вершину vi, точнее замкнутый путь, то есть контур.

Необходимость. Пусть в ориентированном графе D имеется некоторый контур. Так как из всякого контура может быть выделен простой контур длины 1 £ s £ n, то для i, для которого вершина vi принадлежит указанному контуру, согласно утверждению

.2 выполняется неравенство: > 0. Тогда матрица K имеет ненулевой диагональный элемент.

Замечание. Если ориентированный граф D не имеет петель, то матрица K, используемая в утверждении равна A2 + …+ An.

Связность в ориентированном графе

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

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

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

Ориентированный граф называется слабо связным, если связным является ассоциированный с ним неориентированный граф.

Ориентированный граф называется несвязным, если он не является слабо связным.

Напомним (см. раздел 2.1.), простой граф G = (V, E) ассоциирован сориентированным графом D = (V, X), если множество ребер E получено из X заменой всех упорядоченных пар (дуг) vw (v, w) или (v, w) на неупорядоченную пару (ребро) { v, w }.

Пусть = {< vi , vj >| vi , vj Î D и вершина vj достижима из вершины vi } – отношение односторонней связности в ориентированном графе D. Пусть -1 – отношение, обратное к отношению , тогда C с = Ç -1 – отношение сильной (двусторонней) связности. Нетрудно показать, что C с – отношение эквивалентности на множестве вершин V ориентированного графа D, которое разбивает его на классы эквивалентности V1 , V2 , …, Vp , каждый из которых, например Vi, порождает часть ориентированного графа, являющуюся компонентой сильной связности: Di = (Vi, Xi). Заметим, что , так как дуги, принадлежащие отношению + -1, будут утеряны. Иначе говоря, справедливо следующее утверждение.

Утверждение 3.4. Пусть D = (V, X) – ориентированный граф с p компонентами сильной связности: Di = (Vi, Xi), i = 1, 2, …, p. Тогда

1) V = V1 È V2 È È Vp, X1 È X2 È È Xp Í X;

2) Vi Ç Vj = Æ, Xi Ç Xj = Æ при i ¹ j;

3) n (D1) + n (D2) +…+ n (Dp) = n (D); m (D1) + m (D2) +…+ m (Dp) £ M(D).

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

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

Матрицей достижимости ориентированного графаD называется квадратная матрица T (D) ={ tij } порядка n, у которой

Матрицей сильной связностиориентированного графаD называется квадратная матрица C (D) = { cij } порядка n, у которой

Ориентированное дерево

Конечным ориентированным деревом (ордеревом) называется ориентированный граф T (V, X), обладающий следующими свойствами:

· существует одна и только одна вершина s Î V, называемая корнем ордерева, такая, что ее полустепень захода равна: r (s) = 0;

· существуют вершины v Î V, называемые листьями дерева T, полустепень исхода которых равна: r + (v) = 0;

· для любой вершины v Î V \{ s } полустепень захода равна: r (s) = 1;

· любая вершина v Î V ордерева T достижима из корня s.

Ордерево T с корнем s обозначают через (T, s).


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


<== предыдущая страница | следующая страница ==>
Пример 2.15| Пример 3.1

mybiblioteka.su - 2015-2024 год. (0.007 сек.)