Учебная работа № 1584. Задача остовных деревьев в k–связном графе

Учебная работа № 1584. Задача остовных деревьев в k–связном графе

Министерство Науки и Образования

Республики Молдова

Молдавский Государственный Университет

Кафедра Информатики и Дискретной Оптимизации

Дипломная работа:

«Задача остовных деревьев в k–связном графе»

работу выполнил

ст. V курса гр.52MI

Жуков В.

Работу приняла:

Dr.физ–мат. наук

Присэкару В.К.

Кишинев–2002

Содержание:

………………………………………………………………………….2

Глава I Основные определения………………………………………………….4

§1 Основные определения теории графов………………………………………4

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

§3 Деревья………………………………………………………………………..13

Глава II Связность ………………………………………………………………18

§4 Вершинная связность и реберная вязность…………………………………18

§5 Двусвязные графы…………………………………………………………….22

§6 Теорема Менгера………………………………………………………….….32

Глава III Выделение k непересекающихся остовных деревьев

2k–реберно связном графе………………………………………………………36

§7 Построение k непересекающихся остовных деревьев………………………37

§8 Необходимость условия (G)2k ……………………………………..….40

§9 Текст программы……….………………………………………………….…42

Вывод……………………………………………………………………………..51

Начало теории графов как математической дисциплины было положено Эйлером в его знаменитом рассуждение о Кенигсбергских мостах. Однако эта статья Эйлера 1736 года была единственной в течение почти ста лет. Интерес к проблемам теории графов возродился около середины прошлого столетия и был сосредоточен главным образом в Англии. Имелось много причин для такого оживления изучения графов. Естественные науки оказали свое влияние на это благодаря исследованиям электрических цепей, моделей кристаллов и структур молекул. Развитие формальной логики привело к изучению бинарных отношений в форме графов. Большое число популярных головоломок подавалось формулировкам непосредственно в терминах графов, и это приводило к пониманию, что многие задачи такого рода содержат некоторое математическое ядро, важность которого выходит за рамки конкретного вопроса. Наиболее знаменитая среди этих задач–проблема четырех красок, впервые поставленная перед математиками Де Морганом около 1850 года. Никакая проблема не вызывала столь многочисленных и остроумных работ в области теории графов. Благодаря своей простой формулировке и раздражающей неуловимости она до сих пор остается мощным стимулом исследований различных свойств графов.

Настоящее столетие было свидетелем неуклонного развития теории графов, которая за последние десять – двадцать лет вступила в новый период интенсивных разработок. В этом процессе явно заметно влияние запросов новых областей: теории игр и программирования, теории передачи сообщений, электрических сетей и контактных цепей, а также проблем психологии и биологии.

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

По теории графов имеется очень мало книг; основной была книга Д. Кёнига (1936), которая для своего времени давала превосходнейшее введение в предмет. Довольно странно, что таких книг на английском языке до сих пор не было, несмотря на то, что многие важнейшие результаты были получены американскими и английскими авторами.

Глава I

Основные понятия

§1 Определения.

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

Это приводит к определению графа как абстрактного математического понятия. Рассматривая множество V , состоящее из соединенных некоторым образом точек. Назовем V множеством вершин и элементы vV –вершинами . Граф

G = G ( V ) (1.1)

c множеством вершин V есть некоторое семейство сочетаний, или пар вида

E=(a, b), a,bV (1.2)

указывающие, какие вершины являются соседними. В соответствии с геометрическим представлением графа каждая конкретная пара (1.2) называется ребром графа; вершины a и b называются концевыми точками , или концами ребра.

Можно использовать и другой подход. Если даны два множества V ₁ и V ₂ то можно образовать множество всех пар

(v₁ ,v₂ ), v₁ V₁ , v₂ V₂ .

Это множество пар называется произведением и обозначается через V ₁ ´ V ₂ . В нашем случае каждая пара вершин ( a , b ) есть элемент произведения V ´ V . Таким образом можно сказать, что граф G из (1.1) с данными ребрами (1.2) есть некоторое подмножество произведения V ´ V .

Это определение графа должно быть дополнено в одном важном отношении. В определении ребра (1.2) можно принимать или не принимать во внимание порядок расположения двух его концов. Если этот порядок несуществен, т.е. если

E=(a, b)=(b, a),

то говорят, что Е есть неориентированное ребро ; если же этот порядок существен, то Е называется ориентированным ребром . В последнем случае а называется также начальной вершиной , а b –конечной вершиной ребра Е . Можно также говорить, что Е есть ребро, выходящее из вершины а (отходящее от вершины а , исходящее из вершины а ) и входящее в вершину b (подходящее к вершине b , заходящее в вершину b ). Как в случае ориентированного, так и в случае неориентированного ребра говорят, что ребро Е из (1.2) инцидентно вершинам a и b , а также что а и b инцидентны Е .

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

Граф называется неориентированным , если каждое его ребро не ориентированно, и ориентированным , если ориентированны все его ребра.

На рис.1.2 приведены примеры неориентированных графов. На рис 1.3 изображены ориентированны графы.

В ряде случаев естественно рассматривать смешанные графы , имеющие как ориентированные, так неориентированные ребра. Например, план города

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

Мы уже отмечали, что при фактическом изображении графа имеется большая свобода в размещении вершин и в выборе формы соединяющих их дуг. Поэтому может оказаться, что один и тот же граф представляется совсем различными чертежами. Будем говорить, что два графа G и G ‘ изоморфны , если существует такое взаимно однозначное соответствие между множествами их вершин V и V ’ , что вершины соединены ребрами в одном из графов в том и только том случае, когда соответствующие им вершины соединены в другом графе. Если ребра ориентированы, то их направления также должны соответствовать друг другу. На рис 1.2 приведены примеры изоморфных графов, образованных ребрами и вершинами правильных многогранников.

Вершина не инцидентна никакому ребру, называется изолированной . При определение множества вершин V данного графа часто имеет смысл

учитывать только неизолированные вершины. Граф, состоящий только из изолированных вершин, называется нуль–графом и может быть обозначен через 0. другим важным случаем является (неориентированный) полный граф

U=U(V) , (1.3)

ребрами которого являются всевозможные пары (1.2) для двух различных вершин a и b из V . На рис. 1.4 даны схемы полных графов для множеств вершин из четырех и из пяти элементов.

В ориентированном полном графе U ^{( d )} имеются пары ребер, по одному в каждом направлении. Соединяющие любые две различные вершины a и b .

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

Во–первых, можно получить ребра, у которых обе концевые точки совпадают:

L=(a, a). (1.4)

Такое ребро (1.4) будет называться петлей . При изображении графа петля будет представляться замкнутой дугой, возвращающейся в вершину а и не проходящей через другие вершины (рис 1.5). Петля обычно считается неориентированной. Можно расширить полный граф U в (1.3) до полного графа с петлями U ₀ , добавляя

петлю в каждой вершине, так что ребрами U ₀ являются все пары (1.2), где допускается и a = b .

Во–вторых, можно расширить понятие графа, допуская, чтобы пара вершин соединялась несколькими различными ребрами

E_i =(a, b)_i , (1.5)

как это изображено на рис. 1.6. Для ориентированного графа две вершины a и b могут соединяться несколькими ребрами в каждом из направлений:

E_i =(a, b)_i , =(a, b)_j ,

(рис. 1.7).

Чтобы проиллюстрировать случай, для которого эти понятия оказываются естественными, рассмотрим какое–либо командное соревнование, например турнирную таблицу лиги бейсбола. Вершинами соответствующего графа

являются команды. Пара команд А и В связывается ребром каждый раз, когда они сыграли. Если А выиграла у В , то это ребро будем ориентировать от А к В . а если В выиграла у А , то противоположном направлении; в случае ничьей ребро будет неориентированным.

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

каждого ориентированного графа существует также соотнесенный неориентированный граф G_u , ребрами которого являются ребра G , но уже без ориентаций. Иногда удобно превратить неориентированный граф G в ориентированный граф G_d при помощи процесса удвоения , состоящего в замене каждого ребра G парой с теми же концами и приписывании им противоположных ориентаций.

Граф называется плоским , если он может быть изображен на плоскости так что все пересечения ребер являются вершинами G . Граф на рис 1.8а плоский, а на рис 1.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 ) можно заменить кратностями r ( a , b ) ребер, соединяющих а и b . Это дает описание графа G матрицей с целыми неориентированными элементами. Обратно, любая такая матрица может быть интерпретирована как граф, так что любые результаты для графов могут быть сформулированы как свойства таких матриц.

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

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

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

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

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

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

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

I ( G )= 2.1

На полные графы U ( e ) с r (е) вершинами, что U ( e ) имеет единственную общую вершину с каждым из r (е) других полных графов U ( e ’). Исключение составляет случай, когда ( e , e ’)– единственное ребро в e ’ , т.е.r (е’)=1. Тогда не существует графа. U ( e ’).

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

§3 Деревья

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

Существует несколько вариантов определения дерева; некоторые из них отражены в следующей теореме.

Теорема 3.1 Для графа следующие утверждения эквивалентны:

1) G – дерево;

Учебная работа № 1584. Задача остовных деревьев в k–связном графе