- •Элементы математической логики
- •Составные высказывания
- •Простейшие связки
- •Логические отношения
- •Варианты импликации
- •Элементы математической логики
- •Эти утверждения называются теоремой о функциональной полноте.
- •Подмножества
- •Множества и отображения
- •Способы задания множеств
- •Операции над множествами
- •Соотношение между множествами и составными высказываниями
- •Множества и отображения
- •Соотношения между высказываниями и соответствующими им множествами истинности
- •Законы для объединения и пересечения:
- •Множества и отображения
- •Кортежи и декартово произведение множеств
- •Бинарные отношения
- •Отображение множеств
- •Функции
- •Элементы комбинаторного анализа
- •Основные правила комбинаторики
- •Перечислительная комбинаторика или теория перечислений
- •Логика предикатов или логика первого порядка
- •Предикаты
- •Применение предикатов в алгебре
- •Булева алгебра предикатов
- •Кванторы
- •Формулы логики предикатов
- •Логика предикатов или логика первого порядка
- •Равносильные формулы логики предикатов
- •Элементы теории графов
- •Степень вершины
- •Изоморфизм графов
- •Элементы теории графов
- •Способы задания графов
- •Аналитический способ задания графов
- •Эйлеровы графы
- •Гамильтоновы графы
- •Элементы теории автоматов
- •Способы задания конечного автомата
- •Табличное задание автомата
- •Задание автомата диаграммой Мура
- •Задание конечного автомата системой булевых функций
- •Элементы теории автоматов
- •Примеры конечных автоматов
- •Канонические уравнения автомата
- •Пример 1:
Эйлеровы графы
К задачам на эйлеровы графы относятся головоломки, в которых требуется вычертить на плоскости одним росчерком замкнутые кривые, обводя каждый участок в точности один раз. Введем следующие понятия.
Эйлеровым путем в графе называется путь, содержащий все ребра графа.
Эйлеровым циклом или эйлеровой цепью называется цикл, содержащий все ребра графа и притом по одному разу.
Граф, обладающий эйлеровым циклом, называется эйлеровым графом.
Замкнутую линию, если ее можно начертить, не отрывая карандаша от бумаги, проходя при этом каждый участок в точности один раз, принято называть уникурсальной.
Рисунок графа, обладающего эйлеровым путем или эйлеровым циклом, является уникурсальной линией.
Докажем следующие две теоремы.
Теорема 1. Если граф G(V, Е) обладает эйлеровым циклом, то он связный и все его вершины четные.
Доказательство. Связность графа следует из определения эйлерова цикла. Эйлеров цикл содержит каждое ребро и притом только один раз, поэтому, сколько раз эйлеров путь приведет конец карандаша в вершину, столько и выведет, причем уже по другому ребру. Следовательно, степень каждой вершины графа должна состоять из двух одинаковых слагаемых: одно — результат подсчета входов в вершину, другое — выходов.
Д
Теорема 2. Если граф G(V,E) связный и все его вершины четные, то он обладает эйлеровым циклом.
оказательство. Если начать путь из произвольной вершины графа G(V, Е), то найдется цикл, содержащий все ребра графа. Пусть гг — произвольная вершина. Из к, начнем путь по I по одному из ребер и продолжим его, проходя каждый раз по новому ребру. Все вершины графа имеют четные степени, поэтому если I есть «выход» из к,, то должен быть и «вход» в Vi, также как и для любой другой вершины. И если есть «вход» в вершину, то должен быть и «выход». Так как число ребер конечно, то этот путь
должен окончиться, причем в вершине Vj. Если путь, замкнувшийся в щ, проходит через все ребра графа, то мы получим искомый эйлеров цикл.
Для построения эйлерова цикла в связном графе со всеми вершинами четной степени применяется следующий алгоритм:
Выйти из произвольной вершины о, . Каждое пройденное ребро зачеркнуть. Если путь /] замыкается в v, и проходит через все ребра графа, то получим искомый эйлеров цикл.
Если остались непройденные ребра, то должна существовать вершина г>2, принадлежащая 1\ и ребру, не вошедшему в 1\.
Так как г>2 — четная, то число ребер, которым принадлежит г>2 и которые не вошли в путь 1\, тоже четно. Начнем новый путь /2 из г>2 и используем только ребра, не принадлежащие 1\. Этот путь кончится в (;2-
Объединим теперь оба цикла: из о, пройдем по пути 1\ к иг, затем по I2 и, вернувшись в V2, пройдем по оставшейся части 1\ обратно в Vt.
Если снова найдутся ребра, которые не вошли в путь, то найдем новые циклы. Так как число ребер и вершин конечно, то процесс закончится.
Таким образом, замкнутую фигуру, в которой все вершины четные, можно начертить одним росчерком без повторений и начиная с любой точки.
На практике эйлеровым графом может быть план выставки; это позволяет расставить указатели маршрута, чтобы посетитель смог пройти по каждому залу в точности по одному разу.
