1 Тема2
Тема 2 .Основы теории графов
Теория графов предоставляет в распоряжение инженера исключительно удобный аппарат для моделирования структурных свойств систем и отношений между объектами самой разнообразной природы. Благодаря наглядности и простоте этот аппарат в последнее время завоевал широкое признание и используется в самых различных областях знаний.
Многие задачи сводятся к рассмотрению совокупности объектов, существенные свойства которых описываются связями между ними. Например, рассматривая карту автомобильных дорог, можно интересоваться только тем, имеются ли связи между некоторыми населенными пунктами, отвлекаясь от конфигурации и качества дорог, расстояний и других подробностей. Интерес могут представлять различные связи и отношения между людьми, событиями, состояниями и вообще между любыми объектами.
В таких случаях рассматриваемые объекты удобно изображать как некоторое множество точек плоскости Х, называемых вершинами, а связи между ними - линиями (произвольной конфигурации), т.е. множеством отрезков U, соединяющих все или некоторые из вершин. Такие линии связей называет ребрами.
Множество
вершин Х, связи между которыми определены
множеством
ребер U,
называют графом G
и обозначают как отображение, заданное
парой множеств
.
Первая работа по графам была опубликована в 1736 г. двадцатилетним Л. Эйлером. Она содержала решение задачи о кенигсбергских мостах: можно ли совершить прогулку таким образом, чтобы выйдя из любого места города, вернуться в него, пройдя в точности один раз по каждому мосту? По условию задачи не имеет значения, как проходит путь по частям суши a, b, c, d, поэтому их можно представить вершинами. А так как связи между этими частями осуществляются только через семь мостов, то каждый из них изображается ребром, соединяющим соответствующие вершины. Граф изображен на рис. 2.1. Эйлер дал отрицательный ответ на поставленный вопрос. Более того, он доказал, что подобный маршрут имеется только для такого графа, каждая вершина которого связана с четным числом ребер.
В середине 19 века Кирхгоф применил графы для анализа электрических цепей, а Кэли - для выявления и перечисления изомеров насыщенных углеводородов. Однако как математическая дисциплина теория графов сформировалась только к середине 30-х годов 20 столетия благодаря работам
Д. Кенига, Л. С. Понтрягина, А. А. Зыкова, Б.Г. Визинга и др. Теория графов располагает мощным аппаратом решения прикладных задач из самых различных областей науки и техники [5]. Она тесно связана с такими разделами математики, как теория множеств, теория матриц, математическая логика и теория вероятностей. Графом являются любые блок-схемы программ, имеющие несколько типов вершин. Дуги здесь моделируют процесс передачи управления.
Рис.
2.1. К задаче о кенигсберских мостах
