![](/user_photo/2706_HbeT2.jpg)
- •Определение Множества. Элементы. Пустое, универсальное, подмножество. Равенства подмножеств. Множествами и их свойства. Декартово произведение множеств.
- •2. Операции над множествами. Диаграммы Венна.
- •Отношения. Унарные и бинарные, Тождественное и универсальное.
- •5. Отношения. Область определения, значений. Обратное отношение.
- •9. Специальные бинарные отношения:
- •Функция. Инъекции, сюръекции, биекции. Понятие последовательности. Частичная функция.
- •Эквивалентность множеств. Мощности множества. Сравнение мощностей. Типы множеств.
- •Матрицы бинарных отношений и их свойства.
- •11.Булевы алгебры.
- •12. Логические операции, их таблицы истинности.
- •23. Перестановки.
- •14. Эквивалентность формул.
- •36. Планарные графы.
- •27. Определение графа. Виды и способы задания графов.
- •28. Подграфы и части графа. Операции над графами. N-Мерные кубы.
- •Объединение: .
- •29. Маршруты, циклы, цепи. Достижимость и связность (матрицы достижимости, контрдостижимости, связности).
- •21. Теорема Жегалкина. Способы построения полиномов Жегалкина. Линейные функции.
- •41. Фундаментальные циклы, разрезы. Матрицы фундаментальных циклов, разрезов.
- •18.Минимизация днф: метод Квайна
- •13. Булевы функции, способы их задания. Представления булевых функций формулами.
- •15. Дизъюнктивные и конъюнктивные нормальные формы. Алгоритм приведения формулы к днф и кнф.
- •16. Минимизация днф. Сокращенная, тупиковая, минимальная днф.
- •17. Минимизация днф Карты Карно.
- •19. Принцип двойственности. Самодвойственные функции.
- •26. Объекты теории графов. Цели и методы.
- •30. Эйлеровы графы, циклы, цепи. Алгоритм построения эйлерова цикла.
14. Эквивалентность формул.
Формулы φ(x1,…,xn) и ψ(x1,…,xn) называются эквивалентными (φ≈ψ), если совпадают их таблицы истинности, т.е. совпадают представляемые этими формулами функции.
Основные эквивалентности:
ассоциативность
Коммутативность:
Идемпотентность:
Дистрибутивность:
,
Поглощение:
Законы де Моргана:
Двойное отрицание:
Формула φ(x1,…,xn) называется выполнимой (опровержимой), если существует такой набор значений переменных, при котором формула принимает значения 1 (соответственно 0).
Формула φ(x1,…,xn) называется тождественно истинной, или тавтологией (тождественно ложной, или противоречием), если эта формула принимает значение 1 (соотв-нно 0) при всех наборах значений переменных.
Утверждение: Если формула φ1 тождественно истинна, φ0 – тождественно ложна, то справедливы следующие эквивалентности:
1)
,
2)
,
3)
,
4)
,
5)
,
6)
,
7)
,8)
,
9)
.
36. Планарные графы.
Критерий
планарности:
Граф G
планарен тогда и только тогда, когда G
не содержит подграфа, гомеоморфного K5
или K3,3
(или подграфов, стягиваемых к K5
или K3,3,
т.е. получаемых последовательным
отождествлением связанных друг с другом
вершин).
Теорема: Любой конечный граф может быть расположен в трехмерном пространстве без пересечения ребер.
Толщина графа – минимальное количество плоскостей, в которых можно осуществить раскладку графа без пересечений.
Минимальное число ребер, которые нужно удалить из графа для его плоского отображения называют числом планарности графа.
27. Определение графа. Виды и способы задания графов.
Графом
называется
алгебраическая система G=<M,R>,
R
– двухместный предикатный символ. М
называются вершинами графа G,
а элементы бинарного отношения
- дугами, являются пары вершин
.
дуга (a,b)
называется исходящей из вершины a
и заходящей в вершину b.
Мультиграфом
G
называется тройка <M,U,P>,
в которой M
– множество вершин, U
– множество дуг, а
- трехместный предикат, представляемый
образом:
,
когда дуга u
исходит из вершины a
и заходит в вершину b.
Граф G=<M,R>
называется ориентированным
(орграфом),
если найдется дуга
такая, что
.
Граф G
называется неориентированным
(неорграфом),
если отношение R
симметрично, т.е. из
следует
.
Если одновременно пары (a,b) и (b,a) принадлежат R, то эти дуги можно представить множеством [a,b]={(a,b),(b,a)}, называемым ребром, соединяющим вершины a и b.
Пусть G=<M,R>
- граф, Матрицей
смежности
AG=(Aij)
графа G
называется матрица , определенная
следующим образом:
.
Если G
-мультиграф, то в матрице смежности
элемент Aij
равен числу дуг, исходящих из вершины
ai
и заходящих в вершину aj.
Петлей в графе G называется дуга, соединяющая вершину саму с собой.
Теорема: Графы изоморфны тогда и только тогда, когда их матрицы смежности получаются друг из друга одновременными перестановками строк и столбцов.
Матрицей
инцидентности
BG=(Bij)
мультиграфа G
называется матрица размера m
на n
(где m
– количество дуг в графе), определяемая
по правилу:
Теорема:
Мультиграфы G
и G’
изоморфны тогда и только тогда, когда
их матрицы инцидентности получаются
друг из друга некоторыми перестановками
строк и столбцов.
Информацию о весах дуг во взвешенном графе можно представить в виде матрицы весов W=(wij), где wij – вес дуги (ai,aj), если эта дуга существует и ∞ в противном случае.