
- •6 Отношения. Унарные, бинарные, тернарные отношения.
- •13 Способы задания нечетких множеств. Операции над нечеткими множествами.
- •Операции над нечеткими множествами
- •15 Логика высказываний.
- •16 Логические операции. Формулы логики высказываний. Логические операции.
- •Формулы логики высказываний
- •17 Равносильность формул.
- •18 Нормальные формы формул, приведение к днф, кнф.
- •19 Совершенная дизъюнктивная и совершенная конъюнктивная нормальные формы.
- •Алгоритм получения сднф по таблице истинности.
- •Алгоритм получения скнф по таблице истинности.
- •20 Булева алгебра. Логические функции одной или нескольких переменных.
- •21 Суперпозиции функций. Полные системы логических функций.
- •22 Минимизация в классе дизъюнктивных нормальных форм.
- •23 Исчисление высказываний и исчисление предикатов.
- •Исчисление предикатов
- •24 Аксиоматические теории. Выводимость формул в исчислении высказываний.
- •25. Теорема дедукции. Предикаты, кванторы.
- •26. Формулы логики предикатов, их равносильность, выполнимость и общезначимость.
- •27. Аксиомы исчисления предикатов.
- •28. Алгебраические структуры. Группы.
- •29. Циклические группы. Группы подстановок. Кольца и поля
- •30. Элементы теории кодирования. Представление о кодировании.
- •31. Расстояние Хемминга.
- •32. Теорема о корректирующей способности кодов.
- •33. Матричное кодирование. Групповые коды.
- •34. Коды Хемминга.
- •35. Элементы комбинаторики. Размещения и сочетания.
- •36 Перестановки и подстановки.
- •37 Разбиения Формула включений и исключений.
- •38 Теория графов. Основные понятия и определения.
- •39 Понятие графа. Виды графов.
- •40 Способы задания графов.
- •41 Смежность, инцидентность.
- •42.Операции над графами. Части графов.
- •43 Связность, компоненты связности.
- •44 Числа графов: цикломатическое, хроматическое, внешней и внутренней устойчивости.
- •45 Поиск маршрутов в графе. Задача о минимальном соединении.
- •46 Задача о кратчайшем пути.
- •47 Эйлеровы цепи и циклы. Гамильтоновы цепи и циклы.
- •48 Транспортные сети. Понятие транспортной сети.
- •49 Поток в транспортной сети. Разрез, пропускная способность разреза.
- •50 Алгоритмы построения максимального потока.
- •1) Процедура помечивания вершин.
- •2) Процедура изменения потока.
36 Перестановки и подстановки.
Два размещения без повторений из n элементов по n, состоящие из одних и тех же элементов, расположенных в различном порядке называются перестановками без повторений из n элементов. Их число обозначают Рn.
Пусть дан кортеж длинны п, составленный из элементов множества Х={х1, …, хk}. Причем буква х1 входит в этот кортеж п1 раз, буква хk = пk раз. Тогда п=п1 + … +пk. Если переставлять в этом кортеже буквы, то будут получаться новые кортежи, имеющие тот же состав. Эти кортежи называются перестановками с повторениями из букв х1,… , хk, имеющими состав (п1, … , пk).
Число таких перестановок обозначается Р(п1, … , пk) и находится по формуле:
37 Разбиения Формула включений и исключений.
Разбие́ние числа́ n — это представление n в виде суммы положительных целых чисел, называемых частями. При этом порядок следования частей не учитывается (в отличие от композиций), то есть разбиения, отличающиеся только порядком частей, считаются равными. В канонической записи разбиения части перечисляются в невозрастающем порядке.
Например, или
—
разбиения числа 5, поскольку
.
Всего существует p(5)=7
разбиений числа 5:
,
,
,
,
,
,
.
Формула включений-исключений (или принцип включений-исключений) — комбинаторная формула, позволяющая определить мощность объединения конечного числа конечных множеств, которые в общем случае могут пересекаться друг с другом. В теории вероятностей аналог принципа включений-исключений известен как формула Пуанкаре[1].
Случай двух множеств
Например,
в случае двух множеств формула
включений-исключений имеет вид:
В
сумме элементы
пересечения
учтены
дважды, и чтобы компенсировать это мы
вычитаем
из
правой части формулы. Справедливость
этого рассуждения видна издиаграммы
Эйлера-Венна для
двух множеств, приведенной на рисунке
справа.
Таким
же образом и в случае множеств
процесс нахождения количества элементов
объединения
состоит
во включении всего, затем исключении
лишнего, затем включении ошибочно
исключенного и так далее, то есть в
попеременном включении и исключении.
Отсюда и происходит название формулы.
38 Теория графов. Основные понятия и определения.
39 Понятие графа. Виды графов.
граф – это множество V точек, определенным образом соединенных между собой линиями, необязательно прямыми. Точки множества V называются вершинами графа, а соединяющие их линии – ребрами. Вершины графа обычно нумеруют десятичными числами, но можно использовать и любые другие знаки. Если вершины пронумерованы, то ребра обозначают неупорядоченными парами номеров вершин. Каждую пару образуют номера тех вершин, которые соединены ребром.
Граф называется простым (или линейным), если любые две его вершины соединены не более чем одним ребром и каждое ребро соединяет различные вершины.
Всякий простой граф может быть представлен не только в виде рисунка, но и аналитически. Пусть E – множество ребер графа, тогда можно записать (рисунок 5.1):
V = {1, 2, 3, 4, 5, 6, 7},
E = {{1,2}, {1,3}, {1,4}, {1,7}, {2,5}, {2,6}, {2,7},{3, 4}, {3, 6}, {4, 5}, {4, 6}, {5,7}},
где
E – множество двухэлементных подмножеств
множества V, каждое из которых определяет
ребро, соединяющее вершины и
.
Существуют графы, в которых те или иные пары вершин соединены не одним ребром, а несколькими. Такие ребра называют кратными (параллельными).
Граф может содержать ребра, соединяющие какую-либо вершину саму с собой. Такие ребра называются петлями.
Вершина называется изолированной, если у нее нет петель и из нее не выходит ни одного ребра.
Граф, содержащий петли или кратные ребра, называется псевдографом.
Псевдограф без петель называется мультиграфом.
Граф, не содержащий вершин, называется пустым графом. Очевидно, что пустой граф является подграфом любого графа.
Непустой подграф называется собственным, если он не совпадает с исходным графом G. Граф G и пустой граф называются несобственными подграфами (по аналогии с несобственными подмножествами).
Граф, в котором нет ни одного ребра, называетсянульграфом.
Если в графе G все вершины оставить на своих местах и удалить одно или несколько ребер, то получится частичный граф.