- •Элементы математической логики
- •Составные высказывания
- •Простейшие связки
- •Логические отношения
- •Варианты импликации
- •Элементы математической логики
- •Эти утверждения называются теоремой о функциональной полноте.
- •Множества и отображения
- •Способы задания множеств
- •Подмножества
- •Операции над множествами
- •Соотношение между множествами и составными высказываниями
- •Множества и отображения
- •Соотношения между высказываниями и соответствующими им множествами истинности
- •Законы для объединения и пересечения:
- •Множества и отображения
- •Кортежи и декартово произведение множеств
- •Бинарные отношения
- •Отображение множеств
- •Функции
- •Элементы комбинаторного анализа
- •Основные правила комбинаторики
- •Перечислительная комбинаторика или теория перечислений
- •Логика предикатов или логика первого порядка
- •Предикаты
- •Применение предикатов в алгебре
- •Булева алгебра предикатов
- •Кванторы
- •Формулы логики предикатов
- •Логика предикатов или логика первого порядка
- •Равносильные формулы логики предикатов
- •Элементы теории графов
- •Степень вершины
- •Изоморфизм графов
- •Элементы теории графов
- •Способы задания графов
- •Аналитический способ задания графов
- •Эйлеровы графы
- •Гамильтоновы графы
- •Элементы теории автоматов
- •Способы задания конечного автомата
- •Табличное задание автомата
- •Задание автомата диаграммой Мура
- •Задание конечного автомата системой булевых функций
- •Элементы теории автоматов
- •Примеры конечных автоматов
- •Канонические уравнения автомата
- •Пример 1:
Способы задания графов
Существует три эквивалентных способа задания графов: аналитический, геометрический и матричный. Рассмотрим каждый из них.
Аналитический способ задания графов
Граф G(V, Е) задан, если задано множество элементов V и отображение Е множества V в V. Отображение Е может быть как однозначным, так и многозначным. В общем случае наУиЕ никаких ограничений не накладывается.
Пусть дано множество V = {щ, о2,v„}, которое имеет мощность \V\ = п. Вместо V = {t>i, v2,..., vn} иногда пишут
P={iVK ie{l,2,...,n}.
Для того чтобы задать отображение Е на V или, что то же самое, отображение V в V, необходимо каждому элементу к, 6 V поставить в соответствие некоторое подмножество множества V, которому соответствует отображение Е. Это подмножество обозначают через EVj. Поэтому EVi С V. Совокупность двух объектов: множества V и отображение £ на V задает некоторый граф.
Другой формой аналитического способа задания является задание графа как совокупности множества элементов V и подмножества множества упорядоченных пар (щ, Vj) Е V х V. Подмножество множества пар (и/, Vj) декартова произведения V х V эквивалентно бинарному отношению R, заданному на множестве V. Поэтому множество V и бинарное отношение R на множестве V также определяет некоторый граф G.
Геометрический способ задания графов
Множество элементов V графа G изображают кружками, это множество вершин. Каждую вершину и* € V соединяют линиями с теми вершинами Vi £ V, для которых выполняется условие и,- Е Ещ. Множество линий, которое соответствует множеству упорядоченных пар (oj, Vj), есть множество ребер графа.
Матричный способ задания графов
Квадратная матрица
ац
«12
•
«1га
«21
«22
•
•
«2га
ап
1
ап
2
•
«гага
элементами которой являются нули и единицы, а также некоторое число т, называется матрицей смежности графа G(V, Е) тогда и только тогда, когда ее элементы образуются по следующему правилу: элемент Ujj, стоящий на пересечении о,-й строки и р,-го столбца, равен единице, если имеется ребро, идущее из вершины к, в вершину Vj, и ау равен нулю в противном случае. Элемент aiyi равен единице, если при вершине Vj имеется петля, и равен нулю в противном случае. Элемент а у равен некоторому числу т, где т — число ребер графа, идущее из вершины г, в вершину Vj.
Пусть Vi,..., vn — вершины, а е\,..., ет — ребра некоторого ориентированного графа G(V, Е). Матрица размером (т х /г), где
если Cj исходит из vp,
<
«ы =
— 1, если Cj заходит в vp,О, если Cj не инцидентна н.
называется матрицей инцидентности для ребер ориентированного графа.
Таким образом, если граф G(V, Е) задан одним из указанных способов: аналитическим, геометрическим или матричным, всегда можно перейти к любому другому способу задания. Результаты, которые получены на одном языке, можно интерпретировать в другом. Наиболее часто для задания графа используется аналитический и матричный способы, а геометрический способ служит для иллюстрации полученных результатов.
Некоторые типы графов
