- •1. Понятие множества.
- •2. Способы представления множеств.
- •3. Операции над множествами.
- •4. Разбиения и покрытия.
- •5. Свойства операций над множествами. Доказательства.
- •6. Универсальное множество. Булеан.
- •7. Представление множеств в эвм.
- •8. Реализация операций над подмножествами заданного универсума.
- •9. Генерация всех подмножеств универсума. Алгоритм генерации всех подмножеств данного множества.
- •10. Алгоритм построения бинарного кода Грея.
- •11. Представление множеств упорядоченными списками.
- •12. Алгоритм проверки включения.
- •13. Алгоритм вычисления объединения множеств.
- •14. Алгоритм вычисления пересечения множеств.
- •15. Упорядоченное множество. Прямое произведение множеств.
- •16. Отношения. Композиция отношений.
- •17. Свойства отношений. Доказательство. Представление отношений в эвм.
- •18. Отношение эквивалентности. Класс эквивалентности.
- •19. Отношение порядка. Минимальный элемент.
- •20. Отношение преобладания (доминирования).
- •21. Симметричное отношение. Композиция отношений.
- •22. Функциональное отношение.
- •23. Типы отображений (инъекция, биекция, сюръекция).
- •24. Способы задания функций.
- •25. Функции алгебры логики.
- •26. Задание функций алгебры логики.
- •27. Существенная и несущественная переменные.
- •28. Примеры логических функций.
- •29. Представление булевых функций формулами.
- •30. Представление булевых функций формулами. Примеры.
- •31. Разложение булевых функций по переменным. Теорема.
- •32. Совершенная дизъюнктивная нормальная форма
- •33. Эквивалентные преобразования. Доказательство.
- •34. Правила подстановки, замены.
- •35. Некоторые эквивалентные преобразования.
- •36. Приведение дизъюнктивной нормальной формы к совершенной дизъюнктивной нормальной форме.
- •37. Замкнутые классы. Свойства замыкания.
- •38. Класс функций, сохраняющих значение 0.
- •39. Класс функций, сохраняющих значение 1.
- •40. Принцип двойственности. Класс самодвойственных функций.
- •41. Класс монотонных функций.
- •42. Класс линейных функций.
- •43. Алгебра Жегалкина. Полином Жегалкина.
- •44. Полином Жегалкина. Теорема.
- •45. Полнота.
- •46. Лемма о немонотонных функциях.
- •47. Лемма о нелинейных функциях.
- •48. Функциональная полнота. Первая теорема о функциональной полноте.
- •49. Функциональная полнота. Теорема Поста.
- •50. Логические исчисления.
- •51. Высказывания. Формулы.
- •52. Интерпретация формулы. Теорема.
- •53. Логическое следование и логическая эквивалентность.
- •54. Логические эквивалентности. Доказательство.
- •55. Исчисление высказываний.
- •56. Понятие предиката.
- •57. Понятие квантора. Квантор существования. Квантор всеобщности.
- •58. Исчисление предикатов.
- •59. Аксиомы исчисления предикатов. Правила логического вывода.
- •60. Графы. Типы задач теории графов.
- •61. Графы. Основные определения.
- •62. Способы представления графов.
- •63. Идентификация графов, заданных своими представлениями.
- •64. Обходы графов.
- •65. Степени вершин графа.
- •66. Операции с частями графа.
- •67. Маршруты, цепи, циклы.
- •68. Связные компоненты графа.
- •69. Расстояния в графе.
- •70. Диаметр, радиус, центр графа.
- •71. Произведение графов.
- •72. Прямое произведение графов.
- •73. Эйлеровы циклы.
- •74. Теорема Эйлера.
- •75. Эйлеровы цепи.
- •76. Гамильтоновы циклы.
- •77. Некоторые классы графов и их частей. Дерево и лес.
- •78. Концевые вершины и ребра.
- •82. Цикломатическое число графа.
- •83. Ориентированные графы. Пути и циклы в ориентированном графе.
- •86.Деревья
- •49.Функциональная полнота. Теорема Поста
- •94. Блок-схемы алгоритмов
- •95.Машины Тьюринга. Основные определения.Машина
- •96.Машины Тьюринга.Сложение
- •96.Машины Тьюринга.Копирование
- •80.Типы вершин
- •84.Начальные и конечные вершины. Ранги вершин
- •90. Бінарне дерево
- •79. Дерево с корнем. Ветви.
- •81. Центры деревьев. Теорема.
- •85. Отношение достижимости. Базисный граф
- •88.Способы представления деревьев
63. Идентификация графов, заданных своими представлениями.
Граф может быть представлен разными способами, иногда нелегко определить, одинаковые ли графы заданы разными представлениями.
Вид матрицы смежности и списка ребер зависит от способа нумерации вершин или ребер графов.
Граф считается полностью заданным, если его нумерация зафиксирована.
Графы отличаются друг от друга только нумерацией вершин называются изоморфными.
Перенумерация вершин графов задается строкой 1, 2, …, n, состоящих из новых номеров вершин, расположенных в исходном порядке.
Новая матрица получается из исходной матрицы смежности, перемещением элемента Eij в i строку и j столбец. То есть в результирующей перестановке k строк и n столбцов исходной матрицы.
Поэтому, для того, чтобы узнать представляют ли 2 матрицы изоморфные графы необходимо в 1 из матриц выполнить все возможные перестановки строк и столбцов.
Если в результате на каком-либо шаге будет получена матрица тождественно совпадающая с проверяемой, то графы заданные этими матрицами являются изоморфными.
Для выполнения этой проверки необходимо провести n! перестановок.
64. Обходы графов.
Обход графов – это некоторое систематизированное перечисление его вершин (и/или ребер).
Наибольший интерес представляют обходы, использующие локальную информацию о графе (матрицу смежности, инцидентности).
Среди всех обходов наиболее известны: обходы в ширину и в глубину
Для реализации обходов в глубину используется структура стэк; в ширину – очередь.
65. Степени вершин графа.
Если же неориентированный граф, то количество ребер, инцидентных вершине называется локальной степенью или степенью вершины например степень вершини обозначается p(v)
p(1)=3
p(2)=2.
Если в графе степени вершины конечны, то граф назвается локально конечным.
Если для графа заданого матрицей инцидентности или матрицей смежности,то степень вершин можно определить след образом:
p(Vj)=вверху m,внизу i=1 Eij.
Висячая вершина – вершина степени 1.
Висячее ребро – ребро соответствующее висячей вершине.
Изолированная вершина имеет степень 0.
66. Операции с частями графа.
Частью HG (часть Н графа G) называется граф Н, если множество его вершин содержится в множестве вершин графа G, а множество ребер графа Н является подмножеством множества вершин графа G. Если множество вершин графа А и В совпадают то такой подграф называют суграфом.
Подграфом G(U) графа G с множеством вершин U, являющихся подмножество множества вершин V, называется часть, которой принадлежат все ребра графа V с обоими концами из множества U
Дополнение Н части Н будем определять множество всех ребер графа G не принадлежащих Н.
Сумма:
V(H1H2)=V(H1) V(H2)
E(H1H2)=E(H1) E(H2)
Разность:
V(H1H2)=V(H1) V(H2)
E(H1H2)=E(H1) E(H2)
Две части графа Н1 и Н2 не пересекаются по вершинам, еслит они не имеют общих вершин.
Сумма частей Н1 и Н2 не пересекающихся по вершинам называется прямой суммой.
67. Маршруты, цепи, циклы.
Маршрутом в графе G называется конечная или бесконечная последовательность ребер e1,e2,…,en, что каждые 2 соседние ребра имеют общую инцидентную вершину.
Одно и то же ребро может встречаться в маршруте несколько раз.
Маршрут называется открытым, незамкнутым, если его концевые вершины различны, иначе он называется замкнутым.
Число ребер в маршруте называется длиной маршрута.
Если начальная и конечная вершины совпадают то он называется цикличным.
Маршрут называется цепью, если каждое ребро встречается не более 1-го раза и простой цепью, если любая вершина инцидентна не более чем 2-м ребрам.
Цикличный маршрут называется циклом, если он является цепью и простым циклом, если он является простой цепью.