Ориентированная двойственность и бесконтурные орграфы
Орграф D', обратный к данному орграфу D, имеет те же вершины, что и D, a дуга ии принадлежит D' тогда и только тогда, когда дуга ии принадлежит D. Другими словами, орграф, обратный к орграфу D, получается изменением ориентации каждой дуги орграфа D.
Для любой теоремы об орграфах можно сформулировать соответствующую двойственную теорему, заменив каждое понятие на обратное к нему. Бесконтурным орграфом называется орграф, не содержащий контуров. Бесконтурный орграф содержит по крайней мере одну вершину с нулевой полустепенью исхода. В соответствии с обозначением D' орграфа, обратного к D, будем также отмечать штрихами двойственные результаты. Бесконтурный орграф D содержит по крайней мере одну вершину с нулевой полустепенью захода. Ранее было указано, что конденсация любого орграфа есть бесконтурный орграф, а приведенные выше утверждения дают некоторую информацию о бесконтурных орграфах. Дадим теперь несколько характеризаций орграфов. Следующие свойства орграфа D эквивалентны: (1) D — бесконтурный орграф; (2) D* изоморфен D; (3) каждый маршрут орграфа D есть путь; (4) вершины орграфа D можно упорядочить таким образом, что матрица смежностей" A (D) будет верхней треугольной матрицей. Особый интерес представляют два двойственных типа бесконтурных орграфов. Источником в орграфе! Выходящее дерево *)—• это орграф с источником, не имеющий полуконтуров; входящее дерево — двойственный ему орграф. Слабый орграф является выходящим деревом тогда и только тогда, когда точно одна его вершина имеет нулевую полустепень захода, а у всех остальных вершин полустепень захода равна 1. Слабый орграф является входящим деревом тогда и только тогда, когда точно одна его вершина имеет нулевую полустепень исхода, а у всех остальных вершин полустепень исхода равна 1. В функциональном орграфе каждая вершина имеет полустепень исхода, равную 1; двойственный к нему орграф называется контрафункциональным орграфом.
Слабый функциональный орграф
Для слабого орграфаD следующие утверждения эквивалентны: (1) D — функциональный орграф; (2) eD точно один такой контур, что удаление его дуг приводит к орграфу, в котором каждая слабая компонента является входящим деревом; (3) в D точно один такой контур, что удаление любой его дуги приводит к образованию входящего дерева. Минимальный набор вершин, из которого достижимы все вершины орграфа D, называется вершинной базой орграфа. Каждый бесконтурный орграф имеет единственную вершинную базу, состоящую из всех вершин с нулевыми полустепенями захода. Каждый орграф имеет вершинную базу, но не каждый имеет 1-базу. Критерий существования 1-базы у произвольного орграфа еще не найден. Каждый орграф, не содержащий контуров нечетной длины, имеет 1-базу. Каждый бесконтурный орграф имеет 1-базу.
Заключение
Теории графов применяют в различных областях науки и техники:
Информация: двоичные деревья играют весьма важную роль в теории информации. Предположим, что определенное число сообщений требуется закодировать в виде конечных последовательностей различной длины, состоящих из нулей и единиц. Если вероятности кодовых слов заданы, то наилучшим считается код, в котором средняя длина слов минимальна по сравнению с прочими распределениями вероятности. Задачу о построении такого оптимального кода позволяет решить алгоритм Хаффмана.
Двоичные кодовые деревья допускают интерпретацию в рамках теории поиска. Каждой вершине при этом сопоставляется вопрос, ответить на который можно либо "да", либо "нет". Утвердительному и отрицательному ответу соответствуют два ребра, выходящие из вершины. "Опрос" завершается, когда удается установить то, что требовалось.
Таким образом, если кому-то понадобится взять интервью у различных людей, и ответ на очередной вопрос будет зависеть от заранее неизвестного ответа на предыдущий вопрос, то план такого интервью можно представить в виде двоичного дерева.
Химия. Еще А. Кэли рассмотрел задачу о возможных структурах насыщенных (или предельных) углеводородов, молекулы которых задаются формулой: CnH2n+2
Все атомы углеводорода четырехвалентны, все атомы водорода одновалентны. Молекула каждого предельного углеводорода представляет собой дерево. Если удалить все атомы водорода, то оставшиеся атомы углеводорода также будут образовывать дерево, каждая вершина которого имеет степень не выше 4. Следовательно, число возможных структур предельных углеводородов, т. е. число гомологов данного вещества, равно числу деревьев с вершинами степени не больше четырех.
Таким образом, подсчет числа гомологов предельных углеводородов также приводит к задаче о перечислении деревьев определенного типа. Эту задачу и ее обобщения рассмотрел Д. Пойа.
Электротехника. Еще недавно одной из наиболее сложных и утомительных задач для радиолюбителей было конструирование печатных схем.
Печатной схемой называют пластинку из какого-либо диэлектрика (изолирующего материала), на которой в виде металлических полосок вытравлены дорожки. Пересекаться дорожки могут только в определенных точках, куда устанавливаются необходимые элементы (диоды, триоды, резисторы и другие), их пересечение в других местах вызовет замыкание электрической цепи.
Список исследуемой литературы
1. Харари Ф. Теория графов. — М.: УРСС, 2003. — 300 с.
2. О. Ойстин Теория графов. — М.: УРСС, 2008. — 352 с. Альфред В. Ахо.
3. Моника С. Лам, Рави Сети, Джеффри Д. Ульман Компиляторы: принципы, технологии и инструменты, 2 издание. — 2 изд. — М.: «Вильямс», 2008.
4. http://ru.wikipedia.org/wiki/Орграф
5. http://dic.academic.ru