Матрицы графов
Теоретико-множественная и геометрическая форма определения графов. Матрица смежностей вершин неориентированного и ориентированного графа. Элементы матрицы и их сумма. Свойства матрицы инцидентности и зависимость между ними. Подмножество столбцов.
Рубрика | Математика |
Вид | реферат |
Язык | русский |
Дата добавления | 23.11.2008 |
Размер файла | 81,0 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАТИКИ И РАДИОЭЛЕКТРОНИКИ
Кафедра информатики
РЕФЕРАТ
На тему:
«Матрицы графов»
МИНСК, 2008
В теоретико-множественной и геометрической форм определения (задания) графов, часто используется матричная форма их представления. Существуют различные виды матриц графов, однако все они, как правило, полностью передают основные свойства графов. Матричная форма задания графов обладает достаточной наглядностью при любой степени сложности графа и, что самое важное, позволяет автоматизировать процесс обработки информации, представленной в терминах теории графов, - любая матрица графа может быть введена в ЭВМ.
При задании графов в матричной форме могут учитываться либо отношения смежностей (вершин или ребер (дуг)), либо отображения инцидентности (вершин и ребер (дуг)). В связи с этим матрицы графов делятся на два основных класса: матрицы смежностей и матрицы инциденций.
Определение.1. Матрицей смежности вершин неориентированного графа G называется квадратная матрица A(G)=aij порядка p=p(G) (p - количество вершин графа), элементы aij которой равны числу ребер, соединяющих вершины xi и xj.
x1 |
x2 |
x3 |
x4 |
x5 |
x6 |
x7 |
x8 |
||||
x1 |
2 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
|||
x2 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
|||
x3 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
|||
A(G) |
= |
x4 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
|
x5 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
|||
x6 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
|||
x7 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
|||
x8 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
На рис. 1 приведен неориентированный граф G(X, E) и справа - соответствующая ему матрица смежностей вершин A(G).
Из определения 1 непосредственно вытекают основные свойства матриц этого вида.
1. Матрица смежностей вершин неориентированного графа A(G) является квадратной и симметричной относительно главной диагонали.
2. Элементами матрицы A(G) являются целые положительные числа и число ноль.
3. Сумма элементов матрицы A(G) по i-й строке (или по i-му столбцу) равна степени соответствующей вершины (xi).
Из определения матрицы смежностей вершин неориентированного графа и ее основных свойств следуют некоторые особенности соответствия между графом G(X, E) и его матрицей A(G). На рис. 1 указана некоторая нумерация вершин графа; расположенная рядом матрица соответствует именно этой нумерации. Если же в графе G(X, E), приведенном на этом рисунке, использовать другую нумерацию вершин (например, сдвинув ее относительно вершин по часовой стрелке), то это приведет к тому, что в матрице A(G) произойдет перестановка отдельных строк и столбцов. Поэтому говорят, что каждый неориентированный граф имеет единственную с точностью до перестановки строк и столбцов матрицу смежностей вершин. И наоборот, каждая квадратная симметричная относительно главной диагонали матрица, элементами которой являются целые положительные числа и число ноль, определяет единственный с точностью до изоморфизма неориентированный граф, матрицей смежностей вершин которого является данная матрица.
Рекомендуется самостоятельно построить матрицу смежностей вершин графа G(X, E), показанного на рис. 1, с использованием другой нумерации вершин и сравнить полученную при этом матрицу с матрицей смежностей вершин приведенного графа.
Определение 2. Матрицей смежности вершин ориентированного графа G называется квадратная матрица A(G)=aij порядка n (n - число вершин графа), элементы которой aij равны числу дуг, исходящих из вершины xi и заходящих в вершину xj.
x1 |
x2 |
x3 |
x4 |
x5 |
x6 |
x7 |
x8 |
||||
x1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|||
x2 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
|||
x3 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
|||
A(G) |
= |
x4 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
x5 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
|||
x6 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
|||
x7 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
|||
x8 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
На рис. 2 показан ориентированный граф G(X, E) и справа - матрица смежностей его вершин. Из определения следует, что сумма элементов i-й строки матрицы A(G) орграфа равна полустепени исхода +(xi), а по i-му столбцу - полустепени захода -(xi). По-прежнему элементы этой матрицы - целые положительные числа и число ноль. Матрица смежностей вершин орграфа может оказаться симметричной относительно главной диагонали лишь в редких частных случаях.
Как и в случае неориентированных графов, каждый орграф имеет единственную с точностью до перестановки строк и столбцов матрицу смежностей вершин. И наоборот, каждая квадратная матрица, элементы которой - целые положительные числа и число ноль, определяет единственный с точностью до изоморфизма ориентированный граф.
Определение 3. Матрицей инцидентности неориентированного графа G называется матрица B(G)=bij размером (p x q) (p и q - количество вершин и ребер графа), элементы bij которой равны единице, если вершина xi инцидентна ребру ej и нулю, если соответствующие вершины и ребра не инцидентны.
Свойства матрицы инцидентности неориентированного графа.
1. Сумма элементов матрицы на i-й строке равна (xi).
2. Сумма элементов матрицы по i-му столбцы равна 2.
Матрица инцидентности графа, изображенного на рис. 1, а имеет вид:
e1 |
E2 |
e3 |
e4 |
e5 |
e6 |
e7 |
e8 |
e9 |
e10 |
||||
x1 |
1 |
1 |
2 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|||
x2 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
|||
x3 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
|||
B(G) |
= |
x4 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
|
x5 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
|||
x6 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
|||
x7 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
|||
x8 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
Следует отметить, что петле ej=(xi, xi) в матрицах этого вида соответствует j-й столбец, состоящий из нулей и одной единицы, расположенной на i-м месте. Ребру ek=xm, xn соответствует в матрице инциденций k-й столбец, состоящий из нулей и двух единиц, расположенных на m-м и n-м местах. Нулевая строка матрицы соответствует изолированной вершине, а нулевой столбец - петле. Следует иметь ввиду, что нулевой столбец матрицы инцидентности лишь указывает на наличие петли, но не содержит информации о том, с какой именно вершиной связана эта петля.
Необходимо отметить, что между строками матрицы инцидентности B(G) существует очевидная зависимость. Так как каждый столбец этой матрицы содержит только два единичных элемента или состоит только из нулей, если столбец соответствует петле, то сумма по модулю 2 всех строк равна нулю. Поэтому без потери информации о графе вместо матрицы B(G) можно рассматривать сокращенную матрицу Bo(G), получаемую из B(G) вычеркиванием любой строки (чаще всего вычеркивается последняя строка). Таким образом, из p строк матрицы B(G) связного графа (см. п. 5) одна строка всегда линейно зависима, т.е. ранг матрицы B(G) не может превышать p-1 (ранг матрицы B(G) в точности равен p-1).
Любое подмножество столбцов матрицы B(G) можно рассматривать как матрицу инцидентности B?(G) некоторого суграфа G?(X, E?), содержащего все вершины исходного графа и соответствующее выделенным столбцам подмножество E?CE его ребер. Все столбцы матрицы B?(G) линейно независимы тогда и только тогда, когда суграф G?(X, E?) не содержит циклов. Действительно, если совокупность ребер образует цикл, то каждая вершина инцидента четному числу ребер этого цикла. Следовательно, сумма по модулю 2 соответствующих столбцов дает нулевой столбец, что означает из зависимость. Если же суграф не содержит циклов, то он имеет по меньшей мере две (вообще, четное число) концевых вершин, каждая из которых инцидентна только одному ребру, являющемуся концевым. Поэтому сумма по модулю 2 соответствующих столбцов будет содержать два (или четное число) единичных элемента и, следовательно, совокупность этих столбцов независима.
В связном графе с p вершинами всегда можно выделить p-1 ребер так, чтобы они образовали суграф без циклов, представляющий собой дерево графа, являющееся каркасом. Поэтому матрица инцидентности содержит не менее p-1 независимых столбцов. В то же время любой суграф, имеющий более p-1 ребер, обязательно содержит цикл, т.е. в матрице инциденций не может быть больше p-1 независимых столбцов. Отсюда следует, что матрица инцидентности связного графа содержит в точности p-1 независимых столбцов, и поэтому ее ранг равен p-1. Число =p-1 и определяет ранг графа.
Определение 4. Матрицей инцидентности орграфа G с p вершинами и q ребрами называется матрица B(G) = [bij] размером (p q), элементы которой определяются следующим образом:
1, если вершина xi является началом дуги ej
bij = -1, если вершина xi является концом дуги ej;
0, если вершина xi не инцидентна дугу ej .
Ниже приведена матрица инцидентности графа, изображенного на рис. 2:
e1 |
e2 |
e3 |
e4 |
e5 |
e6 |
e7 |
e8 |
e9 |
e10 |
e11 |
||||
x1 |
0 |
0 |
0 |
0 |
-1 |
0 |
0 |
0 |
0 |
0 |
-1 |
|||
x2 |
1 |
-1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|||
x3 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|||
B(G) |
= |
x4 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
|
x5 |
0 |
0 |
0 |
-1 |
0 |
1 |
1 |
0 |
0 |
-1 |
0 |
|||
x6 |
-1 |
0 |
0 |
0 |
0 |
0 |
-1 |
1 |
-1 |
0 |
0 |
|||
x7 |
0 |
0 |
-1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
|||
x8 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
-1 |
0 |
1 |
1 |
Матрица инцидентности орграфа G обладает следующими свойствами.
Сумма строк матрицы B(G) является нулевой строкой.
Любая строка матрицы B(G) является линейной комбинацией остальных строк.
Ранг матрицы B(G) равен p-1.
Определение 5. Матрицей смежности ребер неориентированного графа G называется квадратная матрица A*(G) = [a*ij] порядка q, элементы a*ij которой равны единице, если ребра ei и ej смежны, и нулю - в противном случае.
Для графа, изображенного на рис. 1, матрица смежности ребер имеет вид
e1 |
e2 |
e3 |
e4 |
e5 |
e6 |
e7 |
e8 |
e9 |
e10 |
||||
e1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
|||
e2 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
|||
e3 |
1 |
1 |
2 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|||
e4 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
|||
e5 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
|||
A*(G) |
= |
e6 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
|
e7 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
|||
e8 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
|||
e9 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
|||
e10 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
Очевидно, что матрица A*(G) смежности ребер неориентированного графа обладает теми же свойствами, что и матрица A(G) смежности вершин графа G. Таким образом, можно найти граф G*, матрица смежности вершин которого равна матрице A*(G) смежности ребер графа G.
G(X,E) A*(G) A(G*) G*.
Такой граф называется реберным, или сопряженным графом G. На рис. 3 приведен реберный граф (для неориентированного графа, показанного на рис.1).
Матрицы смежности вершин и смежности ребер неориентированного графа могут быть получены из матрицы инцидентности следующим образом.
Обозначим через BT(G) матрицу, полученную транспонированием матрицы инцидентности B(G). Квадратная матрица A = B(G)BT(G) порядка p будет равна матрице смежности вершин графа, а квадратная матрица А* = BT(G)B(G) порядка q - матрице смежности ребер.
По матрице смежности ребер графа (орграфа) всегда можно определить ребра графа (дуги орграфа) как пары инцидентных им вершин, а для графов с параллельными ребрами (дугами), кроме того, и кратности ребер (дуг).
Однако если ребра (дуги) были пронумерованы, то восстановить их номера по матрице смежности невозможно. В этом смысле матрица инцидентности оказывается более информативной, чем матрица смежности, поскольку позволяет получить полную информацию о ребрах (дугах), включая их нумерацию.
Рассмотренные в этом параграфе матрицы графов играют большую роль в теории графов. Существуют и другие матрицы графов, однако их роль менее значительна.
ЛИТЕРАТУРА
1. Белоусов А.И., Ткачев С.Б. Дискретная математика: Учебник для ВУЗов / Под ред. В.С. Зарубина, А.П. Крищенко.- М.: изд-во МГТУ им. Н.Э. Баумана, 2001.- 744 с. (Сер. Математика в техническом университете; Вып XIX).
2. Горбатов В.А. Фундаментальные основы дискретной математики. Информационная математика.- М.: Наука, Физматлит, 2000.- 544 с.- ISBN 5-02-015238-2.
3. Петрова В.Т. Алгебра и геометрия. Учебник для ВУЗов: в 2 ч.- М.: Гуманит. изд. центр ВЛАДОС.- ч. 1 - 312 с., ч. 2 - 344 с. ISBN 5-691-00077-2. ISBN 5-691-00238-4 (I), ISBN 5-691-00239-2 (II).
4. Зарубин В.С. Математическое моделирование в технике: Учеб. для ВУЗов / Под ред. В.С. Зарубина, А.П. Крищенко.- М.: Изд-во МГТУ им. Н.Э. Баумана, 2001.- 496 с. (Сер. Математика в техническом университете; вып. XXI, заключительный).
Подобные документы
Алгоритм перехода к графическому представлению для неориентированного графа. Количество вершин неориентированного графа. Чтение из матрицы смежностей. Связи между вершинами в матрице. Задание координат вершин в зависимости от количества секторов.
лабораторная работа [34,0 K], добавлен 29.04.2011Восстановление графов по заданным матрицам смежности вершин. Построение для каждого графа матрицы смежности ребер, инцидентности, достижимости, контрдостижимости. Поиск композиции графов. Определение локальных степеней вершин графа. Поиск базы графов.
лабораторная работа [85,5 K], добавлен 09.01.2009Теория графов как раздел дискретной математики, исследующий свойства конечных множеств с заданными отношениями между их элементами. Основные понятия теории графов. Матрицы смежности и инцидентности и их практическое применение при анализе решений.
реферат [368,2 K], добавлен 13.06.2011Описание заданного графа множествами вершин V и дуг X, списками смежности, матрицей инцидентности и смежности. Матрица весов соответствующего неориентированного графа. Определение дерева кратчайших путей по алгоритму Дейкстры. Поиск деревьев на графе.
курсовая работа [625,4 K], добавлен 30.09.2014Ориентированные и неориентированные графы: общая характеристика, специальные вершины и ребра, полустепени вершин, матрицы смежности, инцидентности, достижимости, связности. Числовые характеристики каждого графа, обход в глубину и в ширину, базис циклов.
курсовая работа [225,5 K], добавлен 14.05.2012Задача о кенигсбергских мостах, четырех красках, выходе из лабиринта. Матрица инцидентности для неориентированного и (ориентированного) графа. Степень вершины графа. Ориентированное дерево. Линейные диаграммы или графики Ганта. Метод критического пути.
презентация [258,0 K], добавлен 23.06.2013Понятие матрицы, прямоугольная матрица размера m x n - совокупность mn чисел, расположенных в виде прямоугольной таблицы, содержащей m строк и n столбцов. Численная характеристика квадратной матрицы - ее определитель. Действия над матрицами, ранг матрицы.
реферат [87,2 K], добавлен 01.08.2009Понятие матрицы и линейные действия над ними. Свойства операции сложения матриц. Определители второго и третьего порядков. Применение правила Саррюса. Основные методы решения определителей. Элементарные преобразования матрицы. Свойства обратной матрицы.
учебное пособие [223,0 K], добавлен 04.03.2010Общие определения, связанные с понятием матрицы. Действия над матрицами. Определители 2-го и 3-го порядков, порядка n, порядок их вычисления и характерные свойства. Обратные матрицы и их ранг. Понятие и этапы элементарного преобразования матрицы.
лекция [30,2 K], добавлен 14.12.2010Понятие и матричное представление графов. Ориентированные и неориентированные графы. Опеределение матрицы смежности. Маршруты, цепи, циклы и их свойства. Метрические характеристики графа. Применение теории графов в различных областях науки и техники.
курсовая работа [423,7 K], добавлен 21.02.2009