Предыдущая страница реферата | 1  2  3  4  5  6  7  8 | Следующая страница реферата

§2. Матрицы смежности и инцидентности.

В §1 мы определили ребро Е (1.2) графа G (1.1) как элемент или точку
(a, b) в произведении V(V. Как обычно, элементы этого произведения можно представить в виде клеток квадратной таблицы М с элементами множества V в качестве координат по двум осям (рис 2.1).

В точку с координатами (a, b) поместим числа 1 или 0 в зависимости от того, существует или не существует в G соответствующее ребро. Таким образом, мы получили конечную или бесконечную матрицу смежности (вершин)
М(G), которая полностью описывает G, если имеет однократные ребра. Обычно обозначения выбираются так, чтобы элементы (а, а), соответствующие петлям, располагались на главной диагонали матрицы М. Если G–неориентированный граф, то ребра (a, b) и (b, a) существуют одновременно, таким образом, неориентированным графам соответствуют симметрические матрицы смежности.

Если G имеет кратные ребра, то числа 0 и 1 в клетках (a, b) можно заменить кратностями ((a, b) ребер, соединяющих а и b. Это дает описание графа G матрицей с целыми неориентированными элементами. Обратно, любая такая матрица может быть интерпретирована как граф, так что любые результаты для графов могут быть сформулированы как свойства таких матриц.

Сказанное приводит к дальнейшему расширению понятия графа, использующему уже все конечные или бесконечные матрицы, элементами которых являются вещественные неотрицательные числа. Такие матрицы встречаются в различных областях математики. Например, стохастические матрицы – в теории вероятностей и в теоретической физике. Где рассматриваемая система имеет некоторое множество V возможных состояний, и любая пара состояний (a , b) связывается некоторой вероятностью перехода ((a, b). Другим примером является граф, представляющий схему дорог, в котором ((a, b) означает соответствующее расстояние между а и b.

Графы могут быть также описаны матрицами другого вида. Всякий граф состоит из объектов двух типов–вершин и ребер. Можно построить матицу
M1(G), строки которой соответствуют вершинам, а столбцы–ребрам. На месте
(а, Е) в этой матрице поместим значение [pic](=1, если а–начальная вершина ребра Е, значение (=-1, если а–конечная вершина, и (=0, если а не инцидентно Е. Если G–неориентированный граф, то можно использовать только значения (=1 и (=0. Эта матрица M1(G) называется матрицей инцидентности графа G.

Введем, наконец, матрицу смежности ребер I(G), в которой и строки и столбцы отвечают ребрам G. Для простоты предположим. Что G не имеет петель, а ребра неориентированные и однократные. На месте (E, E’) в I(G) поместим
(=1, если Е и Е’–различные ребра с общим концом, и (=0, если Е=Е’ или если они не имеют общего конца. Таким образом, I(G)–квадратная матрица, определяемая графом G.

Можно встать и на другую точку зрения и рассматривать I(G) как матрицу смежности вершин для нового графа, также обозначаемого через I(G), вершинами которого являются ребра Е графа G, а ребрами–пары (E, E’) с (=1.
Назовем I(G) графом смежности ребер или смежности графом для G.
Существование такого графа, в котором бывшие ребра становятся вершинами и наоборот, объясняет двойственность между вершинами и ребрами, встречающуюся в некоторых вопросах теории графов.

Фактическое построение смежности графа I(G) по чертежу графа G просто.
На каждом ребре Е выбираем фиксированную точку еЕ, например середину Е.
Пару таких вершин (е, е’) соединяем новым ребром, принадлежащим I(G), тогда и только тогда, когда соответствующие ребра Е и Е’ имеют общую вершину в G.

[pic]
Рис. 2.2 дает это построение для графа тетраэдра; смежностным графом для него является граф октаэдра.

Предположим, то в вершине е сходится ((е) ребер Е=(е, е’) из G. Тогда в I(G) середина eE ребра Е соединяется ребрами с ((е)–1 серединами остальных ребер из G, имеющих конец в е. Таким образом, в I(G) эти новые ребра образуют новый граф U(e) с ((е) вершинами. В I(G) вершина eE соединяется ребрами также с ((е’)–1 серединами остальных ребер из G, из имеющих конец в e’, и эти новые ребра образуют другой полный граф U(e’).
Два графа U(e) и U(e’) имеют ровно одну общую вершину, именно вершину eE, определяемую единственным ребром Е, соединяющим e и e’. Таким образом, I(G) имеет такое непересекающееся по ребрам разложение

I(G)=[pic] 2.1
На полные графы U(e) с ((е) вершинами, что U(e) имеет единственную общую вершину с каждым из ((е) других полных графов U(e’). Исключение составляет случай, когда (e, e’)–единственное ребро в e’, т.е. ((е’)=1. Тогда не существует графа. U(e’).
Предположим, что, наоборот, для графа G1 существует такое разложение (2.1) на полные графы, что пара (U(e), U(e’)) имеет не более одной общей вершины.
Тогда G1 можно рассматривать как смежностный граф G1=I(G) некоторого графа
G, считая, что каждое U(e) имеет (1[pic]((е) общих вершин с другими U(e’).
Каждому U(e) поставим в соответствие одну вершину e и соединим e и e’ ребром в G тогда и только тогда, когда U(e) и U(e’) имеют общую вершину. К этим ребрам добавим ((е)– (1 ребер (e, e’’), идущих к новым вершинам e’’, в которых существует только одно это ребро.

[pic] §3 Деревья

[pic]

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

Существует несколько вариантов определения дерева; некоторые из них отражены в следующей теореме.
Теорема 3.1 Для графа следующие утверждения эквивалентны:

1) G – дерево;

2) G – связный граф и m=n-1;

3) G – ациклический граф и m=n-1;

4) любые две несовпадающие вершины графа соединяет единственная простая цепь;

5) G – ациклический граф, обладающий тем свойством, что если каку–либо пару его несмежных вершин соединить ребром, то полученный граф будет содержать ровно один цикл.

1)[pic]2) Воспользуемся индукцией по n. При n=1 утверждение трививально.

Пусть n>1, е[pic]EG. В дереве G нет циклов, следовательно, согласно лемме

4.1, граф G – е имеет ровно две компоненты Т1 и Т2,

[pic] каждая из которых есть дерево. Пусть дерево Ti является (ni, mi) – графом, i=1, 2. По индуктивному предположению верно равенство mi=ni-1. (1)

Рекомендуем скачать другие рефераты по теме: реферат сила, скачать контрольную.





Предыдущая страница реферата | 1  2  3  4  5  6  7  8 | Следующая страница реферата