- •Содержание
- •1 Элементы теории множеств. Комбинаторика. 5
- •Математическая логика: Булева аллгебра 88
- •Теория алгоритмов 129
- •Теория графов 162
- •Математическая логика: Исчисления высказываний и предикатов 207
- •Элементы теории множеств. Комбинаторика.
- •Введение
- •Примеры задач.
- •Задача о расположении конвертов
- •Задача о Ханойской башне
- •Базовые обозначения
- •Правило суммы и правило произведения
- •Основы теории множеств
- •Понятие множества
- •Парадокс Рассела
- •Подмножества
- •Операции над множествами
- •Диаграммы Эйлера-Венна
- •Прямое произведение множеств
- •Бинарные отношения и функции
- •Бинарные отношения
- •Функции
- •Специальные бинарные отношения: Отношение эквивалентности
- •Специальные бинарные отношения: Отношение порядка
- •Лексикографический порядок
- •Выборки с повторениями и без повторений
- •Размещения и сочетания
- •Треугольник Паскаля
- •Связь сочетаний и (0,1)-векторов
- •Перебор сочетаний
- •Бином Ньютона
- •Мультимножества
- •Связь мультимножеств и (0,1)-векторов
- •Полином Ньютона
- •Разбиения множеств.
- •Приложение: программа перебора сочетаний
- •Перестановки
- •Понятие перестановки
- •Группа перестановок
- •Циклы перестановки
- •Тип перестановки
- •Разложения и разбиения натуральных чисел
- •Разложения натуральных чисел
- •Разбиения натуральных чисел
- •Принцип включения-исключения
- •Принцип включения-исключения
- •Задача о беспорядках
- •Мощность объединения множеств
- •Число целочисленных решений системы неравенств
- •Математическая логика: Булева аллгебра
- •Булева алгебра. Функции алгебры логики.
- •Булевы функции
- •Формулы
- •Основные тождества
- •Разложение функции по переменным
- •Дизъюнктивная и конъюнктивная нормальные формы
- •Полином Жегалкина
- •1 ⊕ X1 ⊕ x2x3 - полином Жегалкина.
- •Полнота системы функций
- •Функции, сохраняющие ноль
- •Функции, сохраняющие единицу
- •Двойственность
- •Монотонность
- •Линейность
- •Критерий полноты системы функций
- •Теория алгоритмов
- •Машины Тьюринга
- •Понятие алгоритма
- •Машина Тьюринга
- •Способы записи машины Тьюринга
- •Стандартные конфигурации
- •Вычислимые функции
- •Алгоритмически неразрешимые задачи
- •Сложность алгоритма
- •Полиномиальная сводимость
- •Классы задач в форме распознавания свойств
- •4 Теория графов
- •4.1 Определения графа
- •Общее определение
- •Виды графов
- •Обыкновенный граф
- •Примеры графов
- •Графы Бержа
- •4.2 Изоморфизм графов
- •4.2.1 Инварианты графа
- •Операции
- •Основные операции над графами
- •Подграфы
- •Дополнение графа
- •Маршруты и связность
- •Деревья
- •Матрицы, связанные с графом
- •Матрица смежности
- •Матрица инцидентности
- •Список ребер
- •Обходы графов
- •Эйлеров цикл
- •Гамильтонов цикл
- •Задачи и алгоритмы
- •Остов минимального веса
- •Алгоритм 4.8.1 (Алгоритм Краскала).
- •Задача коммивояжера
- •Задача о клике
- •Задача о вершинном покрытии
- •Задача о гамильтоновом цикле
- •Снова задача коммивояжера
- •Алгоритм дерева
- •Математическая логика: Исчисления высказываний и предикатов
- •Исчисление высказываний
- •Пример задачи логики высказываний
- •Формальные теории
- •Формальная теория исчисление высказываний
- •Теоремы исчисления высказываний
- •Теорема о полноте исчисления высказываний
- •Независимость аксиом исчисления высказываний
- •Исчисление предикатов
- •Пример задачи логики предикатов
- •Формальная теория исчисление предикатов
- •Алфавит.
- •Формулы.
- •Аксиомы.
- •Правила вывода.
- •Интерпретация
- •Литература
Операции над множествами
Пусть U - универсальное множество - множество всех элементов рассматриваемой предметной области.
Объединение
Пересечение
A ∪ B = {x | x ∈ A или x ∈ B}.
A ∩ B = {x | x ∈ A и x ∈ B}.
Дополнение (абсолютное дополнение)
A = {x | x ∈ U и x ∈/ A}.
Разность (относительное дополнение)
A \ B = {x | x ∈ A и x ∈/ B}.
Очевидными свойсвами объединения, пересечения и разности множеств являются то, что для любых двух множеств A и B выполняются включения:
(A ∩ B) ⊆ A ⊆ (A ∪ B),
A \ B = A ∩ B ⊆ A.
Симметрическая разность
.
A–B = (A \ B) ∪ (B \ A).
Утверждение 1.3.1 (Основные тождества алгебры множеств). Для любых подмножеств A, B и C универсального множества U выполняются следующие тождества:
Коммутативность: a) A ∪ B = B ∪ A; b) A ∩ B = B ∩ A;
Ассоциативность:
a) A ∪ (B ∪ C) = (A ∪ B) ∪ C; b) A ∩ (B ∩ C) = (A ∩ B) ∩ C;
a) Дистрибутивность ∪ относительно ∩:
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C);
b) Дистрибутивность ∩ относительно ∪:
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C);
4) a) A ∪ ∅ = A; b) A ∩ ∅ = ∅;
a) A ∪ U = U ; b) A ∩ U = A;
a) A ∪ A = U ; b) A ∩ A = ∅;
Идемпотентность: a) A ∪ A = A; b) A ∩ A = A;
Законы де Моргана: a) A ∪ B = A ∩ B; b) A ∩ B = A ∪ B;
Законы поглощения: a) A ∪ (A ∩ B) = A; b) A ∩ (A ∪ B) = A.
Инволютивный закон: A = A.
Доказательство. Доказать утверждения самостоятельно.
D
Следствие 1.3.2 .
Доказательство.
.
.
A–B = (A ∪ B) \ (B ∩ A).
A–B = (A \ B) ∪ (B \ A) = (A ∩ B) ∪ (B ∩ A) =
= ((A ∩ B) ∪ B) ∩ ((A ∩ B) ∪ A) =
= (A ∪ B) ∩ (B ∪ B) ∩ (A ∪ A) ∩ (B ∪ A) =
= (A ∪ B) ∩ (B ∪ A) = (A ∪ B) ∩ (B ∩ A) =
= (A ∪ B) \ (B ∩ A)
D
Утверждение 1.3.3 . Для любых множеств A и B следующие предположения попарно эквивалентны:
A ⊆ B;
A ∩ B = A;
A ∪ B = B;
A ∪ B = U ;
A \ B = ∅.
Доказательство. 1) ⇒ 2) Очевидно A ∩ B ⊆ A. Покажем A ⊆ A ∩ B. Действительно x ∈ A ⇒ x ∈ B, так как A ⊆ B и, следовательно, x ∈ A ∩ B.
⇒ 3) A ∩ B = A следовательно (A ∩ B) ∪ B = A ∪ B. По за кону поглощения и коммутативности (A ∩ B) ∪ B = B. Таким образом A ∪ B = B
⇒ 1) По предположению A ∪ B = B. Тогда A ⊆ A ∪ B = B, что и
требовалось доказать.
⇒ 4) В объединении множеств A и B сделаем замену согласно свойству A ∪ B = B:
A ∪ B = A ∪ A ∪ B = U ∪ B = U.
⇒ 5) Возьмем дополнение от предположения пункта 4) и восполь- зуемся правилом де Моргана:
∅ = U = A ∪ B = A ∩ B = A \ B.
⇒ 3) Пусть ∅ = A \ B. Объединим левую и правую части этого равенства с B:
B = (A \ B) ∪ B = (A ∩ B) ∪ B = (A ∪ B) ∩ (B ∪ B) =
= (A ∪ B) ∩ U = A ∪ B.
D