Курсовая работа на тему: Задание: дано два графа, построить их матрицы смежности и инцидентности, определить их метрические

Введение

Пусть V - непустое множество, V(2) - множество всех его двухэлементных подмножеств. Пара (V,Е), где Е - произвольное подмножество множества V(2), называется графом (неориентированным графом). Элементы множества V называются вершинами графа, а элементы множества Е - ребрами. Итак, граф - это конечное множество V вершин и множество Е ребер, Е⊂V(2).

Термин "граф" впервые появился в книге выдающегося венгерского математика Д. Кёнига в 1936 г., хотя начальные задачи теории графов восходят еще к Эйлеру (XVIII в.).

Множества вершин и ребер графа G обозначается соответственно VG и ЕG. Вершины и ребра графа называются его элементами. Число |VG| вершин графа G называется его порядком и обозначается |G|.

Если |G|=n,|ЕG|=m, то граф называют (n, m)-графом.

Говорят, что две вершины u и v графа смежны, если множество {u, v} является ребром, и не смежны в противном случае. Если е={u, v}- ребро, то вершины u и v называют его концами. В этой ситуации говорят также, что ребро е соединяет вершины u и v.

Два ребра называются смежными, если они имеют общий конец.

Вершина v и ребро е называются инцидентными, если v является одним из концов ребра е, и не инцидентными в противном случае.

Заметим, что смежность есть отношение между однородными элементами графа, тогда как инцидентность является отношением между разнородными элементами.

Множество всех вершин графа G, смежных с некоторой вершиной v, называется окружением вершины v и обозначается NG(v) или просто N(v).

Графы удобно изображать в виде рисунков (геометрических графов). Геометрический граф в пространстве n-мерном евклидовом пространстве εn есть множество точек пространства εn и множество Е простых кривых, таких: 1) что каждая замкнутая кривая в Е содержит только одну точку v множества V; 2) каждая незамкнутая кривая в Е содержит ровно две точки множества V, которые являются ее граничными точками; 3) кривые в Е не имеют общих точек кроме точек из множества V. При этом точки множества V соответствуют вершинам графа, а соединяющие пары точек линии - ребрам.

Граф G называется полным, если любые две его вершины смежны. Полный граф порядка n обозначается Кn.

Граф называется вырожденным (пустым), если любые две его вершины не смежны (т.е. у него нет ребер).

Пусть G и Н графы, а ϕ: VG→VН - биекция. Если для любых вершин u и v их образы ϕ(u) и ϕ(v) смежны в Н тогда и только тогда, когда u и v смежны в G, то эта биекция называется изоморфизмом графов G и Н, асами графы G и Н - изоморфными. Изоморфные графы будем обозначать G≅Н (атакже НG).

Если граф G изоморфен геометрическому графу G', то G' называется геометрической реализацией графа G.

Очевидно, что отношение изоморфизма графов является эквивалентностью. Следовательно, множество всех графов разбивается на классы так, что графы из одного класса попарно изоморфны, а графы из разных классов не изоморфны. Изоморфные графы естественно отождествлять, т.е. считать совпадающими (их можно изобразить одним рисунком). Они могли бы различаться конкретной природой элементов, но именно это игнорируется при введении понятия "граф".

В некоторых ситуациях все же приходится различать изоморфные графы, и тогда полезно понятие "помеченного графа". Граф порядка n называется помеченным, если его вершинам присвоены некоторые метки, например 1, 2, ..., n. Отождествив каждую из вершин графа с ее номером (и, следовательно, множество вершин - с множеством чисел {1, 2, ..., n }), определим равенство помеченных графов G и Н одного и того же порядка: G=Н тогда и только тогда, когда ЕG =ЕН.

При необходимости подчеркнуть, что рассматриваемые графы различаются лишь с точностью до изоморфизма, говорят:"абстрактный граф".

Иногда рассмотренное выше понятие "граф" оказывается недостаточным и приходится рассматривать более общие объекты, в которых две вершины могут соединяться более чем одним ребром. Так возникает понятие "мультиграф". Мультиграф - это пара (V, Е), где V- непустое множество (вершин), а Е- семейство подмножеств множества V(2) (ребер). Употребление термина "семейство" вместо "множество" означает, что элементы множества V(2) могут в Е повторяться, т.е. допускаются кратные ребра.

Дальнейшее обобщение состоит в том, что кроме кратных ребер допускаются еще петли, т.е. ребра, соединяющую вершину саму с собой. Псевдограф - это пара (V, Е), где V- непустое множество (вершин), а Е- некоторое семейство неупорядоченных пар (ребер), не обязательно различных.

Изучаются также ориентированные графы. Тогда множество V(2) заменяется декартовым квадратом V2, состоящим из упорядоченных пар элементов множества V. Ориентированный граф (или орграф)- это пара (V, А), где V- множество вершин, А- множество ориентированных ребер, которые называются дугами, AV2.

Если а=(v1, v2) - дуга, то вершины v1 и v2 называются ее началом и концом соответственно.

Аналогично неориентированному определяется ориентированный мультиграф. Рассматриваются также смешанные графы, у которых есть и дуги, инеориентированные ребра. Заменяя каждую пару (u, v) из множества Е, ориентированного (или смешанного) графа G неупорядоченной парой {u, v}, состоящей из тех же элементов uи v, получаем ассоциированный с G=(V, Е) графом псевдограф Н=(V, Е0). Также говорят, что граф Н есть основание графа G.

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

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

Рис.3. Граф Петерсена

Пусть G - граф, w: ЕG→R+ вещественнозначная функция, ставящая в соответствие каждому ребру е неотрицательное число w(е)- вес ребра е. Пару (G, w) назовем взвешенным графом. Под весом любого подграфа (возможно, несобственного) взвешенного графа будем понимать сумму весов его ребер.

Оглавление

- Понятие граф

- Матричное представление графов

- Операции над графами

- Маршруты, цепи, циклы

- Метрические характеристики графа

- Приложение теории графов в различных областях науки и техники

- Практическая часть

- Листинг программы