- •4.3 Методы анализа графа. Поиск в ширину. Нахождение кратчайших путей в графе……………………………………………………………………………..…….………88
- •Введение
- •1.Элементы функциональной полноты в классе двоичных функций.
- •1.1 Основные двоичные функции и их своства. Булевой функцией f(x1 … xn) называют функцию, аргументы которой принимают значения из множества , и значение функции также из множества {0;1}.
- •Бинарная операция ассоциативна, если тождественно выполняется: ;
- •1.2 Утверждение о числе функций от n переменных.
- •1.3 Представление функции в виде совершенной дизъюнктивной и совершенной конъюнктивной формах. Разложение функции по начальному множеству переменных.
- •1.4 Утверждение о представлении двоичной функции в виде полинома Жегалкина .
- •1.5 Основные замкнутые классы двоичных функций относительно суперпозиций функций.
- •1.6 Критерий полноты в класее двоичных функций относительно суперпозиций функций.
- •I этап :
- •II этап :
- •II этап :
- •1.7 Предполные классы двоичных функций.
- •Все полные системы для классов t0, t1, s, m, l в утверждениях выше являются базисами для этих систем.
- •2 .Минимизация днф заданной функции.
- •2.1 Геометрическая интерпретация двоичных функций.
- •2.2 Утверждение о максимальных интервалах и тупиковых покрытиях.
- •1 Этап:
- •2 Этап:
- •2.3 Метод поиска всех максимальных интервалов заданной функции с помощью операции склеивания и сокращения.
- •2.4 Метод нахождения всех тупиковых покрытий максимальными интервалами.
- •Достаточно ясна связь задачи нахождения тупиковых покрытий и минимизации функции покрытия.
- •2.5 Метод построения сокращённой д.Н.Ф. С помощью обобщенного склеивания
- •3. Элементы математической логики. Исчисление высказываний, его полнота.
- •Семь теорем.
- •2) . Запишем аксиому а3 в следующем виде: вместо в подставим формулу а, а вместо а подставим
- •Доказательство полноты исчисления высказываний.
- •4 Графы
- •4.1 Неориентированные, ориентированные графы. Способы задания графов.
- •Представление графов
- •1. Задание графа с помощью матрицы смежности.
- •2. Задание графа с помощью матрицы инцидентности.
- •3. Задание графа с помощью списка смежности.
- •4.2 Азбука теории графов. Маршрут, путь, простой путь. Цикл. Простой цикл. Связность в графе.
- •Связные графы
- •4.3 Методы анализа графа. Поиск в ширину. Нахождение кратчайших путей в графе.
- •4.4 Поиск в глубину. Нахождение остовного дерева с помощью поиска в глубину.
- •4.5 Укладки графов. Планарные графы.
- •Теорема Эйлера
- •4.6 Критерий Понтрягина-Куратовского планарности графа.
- •4.7 Хроматическое число графа.
- •5 Элементы комбинаторики.
- •5.1 Упорядоченные наборы с повторением и без повторений.
- •Упорядоченные наборы а элементов n данных с возможными повторениями.
- •5.2 Неупорядоченные наборы элементов из данных без повторений.
- •5.3 Неупорядоченные наборы элементов из п данных с возможными повторениями.
- •5.4 Метод включения-исключения.
- •Упражнения.
- •5.5 Основы метода производящих функций.
- •5.6 Основы теории перечисления Пойа. Лемма Бернсайда.
- •Упражнения.
- •6 Основы схем из функциональных элементов. Проблема минимизации
- •6.1 Сложность мультиплексора порядка .
- •1) Мультиплексор порядка
- •6.2 Сложность дешифратора порядка n.
- •2) Дешифратор порядка .
- •6.3 Сложность универсального многополюсника.
- •3) Универсальный многополюсник.
- •6.4 Оценка сложности функций n переменных .
- •7. Элементы теории конечных автоматов.
- •7.1 Ограниченно- детерминированные функции и автоматные языки. Эквивалентность.
- •8. Элементы теории кодирования.
- •Теория кодирования.
- •8.1 Критерий однозначности кодирования.
- •8.2 Критерий префиксного кодирования Мак-Миллана.
4 Графы
4.1 Неориентированные, ориентированные графы. Способы задания графов.
Матрица смежности, матрица инцендентностей, список смежности.
Определение. Неориентированным графом называют пару , где – множество вершин графа, – множество неориентированных ребер графа, и последнее множество есть некоторое подмножество множества всех неупорядоченных пар вершин .
Пример. Пусть множество вершин состоит из трех элементов. Следовательно, неупорядоченными парами будут следующие двухэлементные подмножества трехэлементного множества :
Для графов удобно планарное представление, где вершинам графа соответствуют точки плоскости, а неориентированным ребрам соответствуют отрезки, соединяющие соответствующие пары вершин.
Пример. Ребро, у которого оба конца являются одной и той же вершиной, называется петлей. В примере петлей является ребро .
Определение. Ориентированным графом называют пару , где – множество вершин графа, – множество упорядоченных пар вершин – ориентированных ребер, и это есть некоторое подмножество декартова произведения :
Пример. Множество вершин состоит из трех элементов . Тогда упорядоченными парами вершин будут следующие:
Для ориентированных графов удобно планарное представление, где вершинам соответствуют точки плоскости, а ребрам соответствуют ориентированные линии, которые соединяют в определенном направлении соответствующие пары вершин.
Пример. Ориентированное ребро, у которого оба конца являются одной и той же вершиной, называется петлей. В примере петлей является ребро .
Представление графов
1. Задание графа с помощью матрицы смежности.
Пусть в графе число вершин равно :
Для задания графа будем использовать квадратную матрицу размера . Каждая строка и каждый столбец матрицы соответствуют определенной вершине графа. На пересечении строки и столбца ставим 1 тогда и только тогда, когда неупорядоченная пара является ребром графа. В противном случае ставим 0. Таким образом, число единиц в матрице определяется числом ребер графа. Матрица смежности неориентированного графа является симметрической (т.е. она совпадает со своей транспонированной матрицей).
Действительно, если пара – ребро графа, тогда пара также является ребром графа (так как рассматривается неориентированный граф).
2. Задание графа с помощью матрицы инцидентности.
Пусть задан граф с вершинами и ребрами:
,
Матрица инцидентности для данного графа есть прямоугольная матрица размера размера , строки матрицы соответствуют вершинам, столбцы – ребрам.
На пресечении строки и столбца ставим 1 тогда и только тогда, когда вершина является одним из концов ребра , в противном случае – 0. Таким образом, каждый столбец матрицы инцидентности содержит либо две единицы, либо одну. Если столбец содержит одну единицу, то ребро, соответствующее данному столбцу, является петлей.
3. Задание графа с помощью списка смежности.
Для каждой вершины выписывается множество вершин, которые смежны с рассматриваемой. Вершина смежна с вершиной , если – ребро графа. Данный способ является наиболее экономным способом представления графов.
Определение. Полным графом называется граф, в котором все вершины соединены между собой неориентированными ребрами. То есть, множество ребер состоит из всевозможных неупорядоченных пар вершин графа. Число вершин графа (мощность множества вершин графа) будем обозначать . Число ребер в полном неориентированном графе на множестве вершин V задается формулой . Если , тогда:
То есть, по порядку, число вершин в полном графе квадратично относительно мощности множества вершин графа. Размер матрицы смежности неориентированного графа – . Общая память квадратична по , что является неэкономичным, когда граф разряжен, то есть число ребер мало.
Пример. Рассмотрим пустой граф на множестве вершин и пустом множестве ребер :
,
тогда матрица смежности потребует памяти, а список смежности будет содержать только перечисление вершин графа, поэтому память будет линейна относительно .
Аналогичным образом можно представлять ориентированные графы. Отличие будет в представлении матрицы инцидентности и списка смежности. В матрице инцидентности будем ставить 1 на пересечении строки и столбца , если вершина является началом некоторого ребра, а врешина – концом данного ребра и -1 будем ставить, если вершина является концом некоторого ребра, а вершина – его началом. Если нет ребра, соединяющего вершины и , то ставим 0.
В списке смежности для вершины выписываем вершины концов ребер, исходящих из вершины .
Определение. Два графа называются изоморфными, если между вершинами графов можно установить взаимооднозначное соответствие , сохраняющее соответствие смежности между вершинами.
Иначе говоря, графы изоморфны, если они одинаковы с точностью до переименования вершин.
Пример. Представленная пара графов изоморфна:
Изоморфизм определяется следующим соотношением между вершинами:
|
|
|
|
Следующие два графа не изоморфны:
Очевидно, что изоморфные графы должны иметь одно и то же число вершин и одно и то же число ребер. В представленных графах число ребер различно.
Определение изоморфности ориентированных графов аналогично.