Читайте также: |
|
Рассмотрим метрику графов. Метрика графа основана на понятии расстояния. Расстоянием d (xi, xj), между вершинами xi, xj Î X графа G = (X, U) называется длина кратчайшей цепи, соединяющей эти вершины. Под длиной цепи понимается число входящих в нее ребер. Функция d (xi, xj), определенная на множестве ребер графа G, называется метрикой графа.
Функцию расстояний для графа G удобно задавать матрицей расстояний D = || di , j || n × n или ее списком. Элемент матрицы определяется следующим образом:
di , j = . (16.5)
Например, для графа G (рис. 16.26)
Рис. 16.26. Граф G
матрица расстояний имеет вид
D= | . | ||||||
Список расстояний можно записать в виде множества, состоящего из кортежей длины три:
LD = {<1, 2, 1>, <1, 3, 1>, <1, 4, 2>, <1, 5, 1>, <2, 3, 2>, <2, 4, 1>, <2, 5, 1>, <3, 4, 1>, <3, 5, 1>, <4, 5, 1>}.
Первый элемент в кортеже соответствует вершине xi графа, второй элемент – вершине xj, а третий элемент кортежа – расстоянию di , j.
Если известны расстояния между любой парой вершин графа, то можно определить его диаметр d (G) как максимальное расстояние между его вершинами:
d (G) = max di , j , i, j Î I = {1, 2,..., n}. (16.6)
Кратчайшие простые цепи, связывающие вершины i, j Î X с максимальным расстоянием между ними, называются диаметрально простыми цепями.
Пусть v – произвольная вершина G = (X, U). Максимальным удалением в графе G от вершины v называется величина:
r (v) = max dv,x, v, x Î X. (16.7)
Согласно Ф. Харари эксцентриситет вершины v в связном графе G определяется как max dv,x, v, x Î X по всем вершинам x.
Тогда радиусом графа r (G) называется наименьший из эксцентриситетов вершин. Любая кратчайшая цепь от центра v до максимально удаленной от него вершины x – радиальной цепью.
R(G) = min r (x), x Î X. (16.8)
Вершина v называется центром графа, если среди всех вершин с максимальным удалением от нее выбирается удаление, принимающее минимальное значение.
Центр не обязательно должен быть единственным. Например, в полном графе Kn, радиус равен 1 и любая вершина является центром.
Пусть G – конечный граф G = (X, U), |U| = m. Количество последовательностей ребер этого графа без повторений конечно и равно m!. Тогда конечно и число простых цепей, в которых ребра не повторяются. Протяженностью g (v’, v’’) между вершинами v’, v’’ Î X называется максимальная из длин, связывающих эти вершины.
Если исключить из этих простых цепей циклы, то для любой вершины v Î X, g (v, v) = 0. В этом случае протяженность также удовлетворяет аксиомам метрики.
Пусть L(v’, v’’’) – самая длинная простая цепь, соединяющая вершины v’ – v’’’. Пусть L*(v’’, v’) – некоторая простая цепь, соединяющая вершины v’’ и v’. Пусть (v’’, v 4) – участок последней цепи до первого пересечения с L.
Тогда v4 делит цепь на 2 участка L’, L’’. Участки L’ и составляют простую цепь с началом v’ и концом v’’, а L’’ и – простую цепь, соединяющую v’’ и v’’’, причем сумма их длин не меньше длины цепи L. Значит и сумма максимальных длин путей с теми же началами и концами равная g (v’, v’’) + g (v’’, v’’’) не меньше длины цепи L, которая равна g (v’, v’’’) (рис 16.27).
В графе G существуют диаметральные по протяженности или длиннейшие простые цепи. Их длина l 0 называется диаметром протяженности. Для каждой вершины v существуют самые длинные простые цепи с концами в этой вершине. Их длина g (v) = max g (v, v’), v’ Î v называется числом протяженности для вершины v.
Рис. 16.27. Длины простых цепей
Для логических задач представляет интерес нахождение функции расстояний для графов G r частного вида, называемых координатной решеткой. В графе G r = (X r, U r) множество вершин X r соответствует узлам решетки (сетки), а множество ребер U r горизонтальным и вертикальным отрезкам, соединяющим узлы решетки. Пример графа G r, т.е. координатной решетки, показан на рис. 16.28. Расстояние между двумя смежными вершинами в G r, называемое шагом решетки, будем считать равным единице.
Рис. 16.28. Пример координатной решетки G r
Расстояние di , j между двумя произвольными вершинами в G r можно определить по формуле
di , j = | si – sj | + | ti – tj |, (16.9)
где si, sj и ti, tj — координаты вершин xi, xj Î X. Обычно задаются размеры решетки p × q, где p — число узлов решетки по оси s, а q — по оси t.
Например, для графа G r (рис. 16.28) расстояние
d 6,10 = | s 6 – s 10| + | t 6 – t 10| = |0 – 2| + |1 – 3| = 4,
т.е. из вершины x 6 необходимо пройти четыре ребра G r, чтобы попасть в вершину x 10.
Если произвольный граф G отображается в G r так, что любые вершины G размещаются в узлах решетки, то расстояние между вершинами G определяется как расстояние между соответствующими узлами решетки. Если расстояние di , j определять как длину кратчайшей прямой, соединяющей вершины xi, xj, то
di , j = (16.10)
Заметим, что первый способ определения di , j проще, так как при этом di , j принимает только целочисленные значения. Любой граф G может быть отображен в решетку G r. Для подсчета суммарной длины L(G) ребер графа G = (X, U), отображенного в решетку G r, введем понятие матрицы геометрии D(g).
Матрица геометрии D(g) представляет собой часть матрицы расстояний D, в которой исключены элементы di , j, если вершины xi, xj Î X не смежны в графе G. Для построения матрицы геометрии D(g) графа G необходимо каждый элемент матрицы D умножить на соответствующий элемент матрицы смежности R: D(g) = || ri,j, di , j || n × n.
Например, граф G без учета весов ребер отобразим в решетку G r размера 3×2 (рис. 16.29).
Рис 16.29. Пример графа, отображенного в решетку
Матрицы R и D графа G примут вид:
R = 3 | , D = 3 | . | ||||||||||||
Тогда можно определить матрицу геометрии D(g) = R × D:
r (xi) | ||||||||
. | ||||||||
D(g) = 3 | ||||||||
Сумма элементов матрицы D(g) определяет удвоенную суммарную длину ребер графа G при данном отображении его в решетку G r. Для рассмотренного примера суммарная длина ребер графа L(G) составляет 13 условных единиц. При другом отображении графа в решетку суммарная длина L(G) изменяется, хотя в частном случае может совпадать с предыдущим значением.
Дата добавления: 2015-10-26; просмотров: 203 | Нарушение авторских прав
<== предыдущая страница | | | следующая страница ==> |
Геометрический метод решения | | | ЗАДАНИЯ ДЛЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ |