Дискретная математика: шпаргалка-пакет

Листы формул, ключевые шаги методов по каждой теме и тренировочные задачи (8) с полными решениями в конце.

Новые задачиНазад к курсу

В окне печати выберите «Сохранить как PDF», чтобы сохранить копию на своём устройстве.

1Формулы и методы

Логика высказываний и доказательства

Строки таблицы истинности
2ⁿ
Импликация
p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
Отрицание импликации
¬(p → q) ≡ p ∧ ¬q
Эквиваленция
p ↔ q ≡ (p → q) ∧ (q → p)
Законы де Моргана
¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
Законы дистрибутивности
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Отрицание кванторов
¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
Modus ponens, modus tollens
p → q, p ⊢ q; p → q, ¬q ⊢ ¬p

Метод

  1. Подсчитайте различные переменные: в таблице истинности 2ⁿ строк, и начинается она со строки, где все переменные равны 1.
  2. Отведите каждой подформуле отдельный столбец и заполняйте столбцы изнутри наружу.
  3. Применяйте правило каждой связки: → равно 0 только для 1 → 0, ↔ равно 1, когда обе части совпадают.
  4. Для эквивалентностей сравнивайте последние столбцы строка за строкой; для рассуждения смотрите только на строки, в которых все посылки равны 1.
  5. Чтобы отрицать высказывание с квантором, переносите ¬ внутрь, меняйте ∀ и ∃ местами и отрицайте внутреннюю формулу.

Множества, отношения и функции

Два множества
|A ∪ B| = |A| + |B| − |A ∩ B|
Три множества
|A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|
Разность и дополнение
A − B = A ∩ B′, |A′| = |U| − |A|
Булеан и произведение
|𝒫(A)| = 2|A|, |A × B| = |A|·|B|
Подмножества из k элементов
C(n, k) = n!/(k!(n − k)!)
Функции A → B
nᵐ; injective n!/(n − m)!; surjective Σ (−1)ᵏ C(n, k)(n − k)ᵐ
Отношения на n элементах
2n²; reflexive 2n² − n; symmetric 2n(n+1)/2
Композиция
(g ∘ f)(x) = g(f(x))

Метод

  1. Нарисуйте диаграмму Венна и по областям решите, что относится к множеству, заданному выражением.
  2. В задачах на подсчёт заполняйте области от центра к краям: сначала все множества, затем пары, затем отдельные множества, затем внешнюю область.
  3. Используйте формулу включений и исключений как проверку: |A ∪ B| = |A| + |B| − |A ∩ B|.
  4. Для отношения проверяйте каждое свойство на каждой паре и приводите один контрпример, если свойство не выполняется.
  5. Для функции посчитайте стрелки, приходящие в каждый элемент B: не более одной означает инъективность, не менее одной — сюръективность.

Теория графов

Лемма о рукопожатиях
Σ deg(v) = 2|E|
Полные графы
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Регулярный граф
|E| = n·k/2
Дерево и лес
|E| = n − 1, |E| = n − c
Листья дерева
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Эйлер
цикл: все степени чётные; путь: ровно две нечётные степени
Гамильтоновы циклы в Kn
(n − 1)!/2
Обновление в алгоритме Дейкстры
d(v) = min(d(v), d(u) + w(u, v))
Маршруты длины L
(Mᴸ)ij

Метод

  1. Запишите степень каждой вершины; сумма степеней равна удвоенному числу рёбер.
  2. В задачах об эйлеровых путях проверьте, что граф связный, и посчитайте вершины нечётной степени.
  3. Для деревьев используйте n − 1 ребро и лемму о рукопожатиях.
  4. В алгоритме Дейкстры ведите таблицу предварительных расстояний и на каждом шаге фиксируйте нефиксированную вершину с наименьшим расстоянием.
  5. Для минимального остовного дерева отсортируйте рёбра по весу и пропускайте каждое ребро, замыкающее цикл (Краскал), либо растите одно дерево из начальной вершины (Прим).

Теория чисел и модульная арифметика

Деление с остатком
a = q·n + r, 0 ≤ r < n
Евклид
gcd(a, b) = gcd(b, a mod b)
Наименьшее общее кратное
lcm(a, b) = a·b/gcd(a, b)
Обратная матрица
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
Линейное сравнение
a·x ≡ b → x ≡ a⁻¹·b (mod n)
Функция Эйлера
φ(n) = n·∏(1 − 1/p), φ(pᵏ) = pᵏ − pᵏ⁻¹
Ферма
aᵖ⁻¹ ≡ 1 (mod p)
RSA
n = pq, φ = (p − 1)(q − 1), d = e⁻¹ mod φ, c = mᵉ mod n, m = cᵈ mod n

Метод

  1. Сначала приведите каждое число по модулю n; остатки лежат от 0 до n − 1.
  2. Для НОД делите с остатком по алгоритму Евклида; последний ненулевой остаток и есть НОД.
  3. Для обратного элемента запустите расширенный алгоритм и возьмите коэффициент при a; если он отрицательный, прибавьте n.
  4. Решайте a·x ≡ b умножением на a⁻¹; два сравнения объединяйте, записывая x = r₁ + m₁k.
  5. Для степеней запишите показатель в двоичном виде и многократно возводите в квадрат; в RSA d = e⁻¹ mod φ(n), где φ(n) = (p − 1)(q − 1).

2Тренировочные задачи

1.Логика высказываний и доказательстваСредняя
pqrp → ¬q¬r ∧ (p → ¬q)(¬p ∨ ¬r) ∨ (¬r ∧ (p → ¬q))111?110?101?100?011?010?001?000?

В скольких из 8 строк таблицы истинности (¬p ∨ ¬r) ∨ (¬r ∧ (p → ¬q)) истинно? Обозначим это число N.

(¬p ∨ ¬r) ∨ (¬r ∧ (p → ¬q))
N =
2.Логика высказываний и доказательстваСложная
p ∧ qqp¬q

Даны посылки p ∨ q; ¬p. Какой вывод из них следует? Нажмите на него.

p ∨ q¬p
  1. 1p ∧ q
  2. 2q
  3. 3p
  4. 4¬q
3.Множества, отношения и функцииСредняя
UABC12345678

Ровно одна область диаграммы Венна является множеством (A ∩ C) ∩ (C − B). Нажмите на её номер.

(A ∩ C) ∩ (C − B)
  1. 1область 1
  2. 2область 2
  3. 3область 3
  4. 4область 4
  5. 5область 5
  6. 6область 6
  7. 7область 7
  8. 8область 8
4.Множества, отношения и функцииСложная

Сколько существует антисимметричных отношений на множестве из 3 элементов? Обозначим это число N.

|X| = 3
N =
5.Теория графовСредняя

Сколько различных гамильтоновых циклов, H, в полном графе K6? Циклы, отличающиеся только начальной вершиной или направлением, считаются одним и тем же.

K6
H =
6.Теория графовСложная
ABCDEF

Сколько существует замкнутых маршрутов длины 3, начинающихся и заканчивающихся в C? Маршрут может повторять вершины и рёбра. Обозначим это число N.

M = матрица смежностиL = 3
N =
7.Теория чисел и модульная арифметикаСредняя

Найдите функцию Эйлера φ(51), число целых чисел от 1 до 51, взаимно простых с 51.

n = 51 = 3·17
φ(51) =
8.Теория чисел и модульная арифметикаСложная
mc = me​ mod n756m = cd​ mod n?(n, e) = (1739, 11)d

В ключе RSA p = 37, q = 47 и e = 11. Расшифруйте шифртекст c = 756: найдите сообщение m.

p = 37q = 47e = 11c = 756
m =

3Растворы

1.Логика высказываний и доказательства

Ответ: N = 6

Таблицы истинности: у формулы с n различными переменными 2ⁿ строк, по одной для каждой комбинации значений истинности (1 = истина, 0 = ложь). Работайте изнутри наружу и отводите каждой подформуле отдельный столбец. ¬a меняет значение на противоположное; a ∧ b равно 1 только тогда, когда оба равны 1; a ∨ b равно 0 только тогда, когда оба равны 0; a → b равно 0 только при a = 1 и b = 0; a ↔ b равно 1, когда обе части равны.

Таблица истинности по строкам

p = 1, q = 1, r = 1: ¬p = 0, ¬r = 0, ¬p ∨ ¬r = 0, ¬q = 0, p → ¬q = 0, ¬r ∧ (p → ¬q) = 0, (¬p ∨ ¬r) ∨ (¬r ∧ (p → ¬q)) = 0
p = 1, q = 1, r = 0: ¬p = 0, ¬r = 1, ¬p ∨ ¬r = 1, ¬q = 0, p → ¬q = 0, ¬r ∧ (p → ¬q) = 0, (¬p ∨ ¬r) ∨ (¬r ∧ (p → ¬q)) = 1
p = 1, q = 0, r = 1: ¬p = 0, ¬r = 0, ¬p ∨ ¬r = 0, ¬q = 1, p → ¬q = 1, ¬r ∧ (p → ¬q) = 0, (¬p ∨ ¬r) ∨ (¬r ∧ (p → ¬q)) = 0
p = 1, q = 0, r = 0: ¬p = 0, ¬r = 1, ¬p ∨ ¬r = 1, ¬q = 1, p → ¬q = 1, ¬r ∧ (p → ¬q) = 1, (¬p ∨ ¬r) ∨ (¬r ∧ (p → ¬q)) = 1
p = 0, q = 1, r = 1: ¬p = 1, ¬r = 0, ¬p ∨ ¬r = 1, ¬q = 0, p → ¬q = 1, ¬r ∧ (p → ¬q) = 0, (¬p ∨ ¬r) ∨ (¬r ∧ (p → ¬q)) = 1
p = 0, q = 1, r = 0: ¬p = 1, ¬r = 1, ¬p ∨ ¬r = 1, ¬q = 0, p → ¬q = 1, ¬r ∧ (p → ¬q) = 1, (¬p ∨ ¬r) ∨ (¬r ∧ (p → ¬q)) = 1
p = 0, q = 0, r = 1: ¬p = 1, ¬r = 0, ¬p ∨ ¬r = 1, ¬q = 1, p → ¬q = 1, ¬r ∧ (p → ¬q) = 0, (¬p ∨ ¬r) ∨ (¬r ∧ (p → ¬q)) = 1
p = 0, q = 0, r = 0: ¬p = 1, ¬r = 1, ¬p ∨ ¬r = 1, ¬q = 1, p → ¬q = 1, ¬r ∧ (p → ¬q) = 1, (¬p ∨ ¬r) ∨ (¬r ∧ (p → ¬q)) = 1

Посчитайте строки со значением 1

(¬p ∨ ¬r) ∨ (¬r ∧ (p → ¬q)): 0, 1, 0, 1, 1, 1, 1, 1
N = 6

Ответ

N = 6
2.Логика высказываний и доказательства

Ответ: q

Кванторы и рассуждения: ¬∀x P(x) ≡ ∃x ¬P(x) и ¬∃x P(x) ≡ ∀x ¬P(x). Переносите отрицание внутрь, меняйте каждый квантор, через который оно проходит, и отрицайте внутреннюю формулу по законам логики высказываний, например ¬(a → b) ≡ a ∧ ¬b. Рассуждение правильно, если вывод равен 1 в каждой строке, где все посылки равны 1. Одной строки с истинными посылками и ложным выводом достаточно, чтобы получить контрпример и показать, что рассуждение неправильно.

Строки, в которых все посылки истинны

p = 0, q = 1: p ∧ q = 0, q = 1, p = 0, ¬q = 0

Вывод

q (дизъюнктивный силлогизм)

Ответ

q
3.Множества, отношения и функции

Ответ: область 7

Множества и диаграммы Венна: A ∪ B содержит элементы из A или B (или из обоих), A ∩ B — элементы из обоих, A − B — элементы A, не лежащие в B, а дополнение A′ — всё из U, что не лежит в A. На диаграмме Венна каждое выражение для множеств является объединением областей, поэтому подсчитывайте его по областям. Формула включений и исключений: |A ∪ B| = |A| + |B| − |A ∩ B| и |A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|.

Внутри или вне каждого множества

A ∩ B′ ∩ C

Область

область 7

Ответ

область 7
4.Множества, отношения и функции

Ответ: N = 216

Отношения: отношение R на множестве X — это множество упорядоченных пар (x, y). R рефлексивно, если (x, x) ∈ R для каждого x из X; симметрично, если вместе с (x, y) ∈ R всегда есть (y, x) ∈ R; антисимметрично, если (x, y) и (y, x) одновременно лежат в R только при x = y; и транзитивно, если из (x, y) и (y, z) в R следует (x, z) ∈ R. Отношение эквивалентности рефлексивно, симметрично и транзитивно и разбивает X на непересекающиеся классы.

Посчитайте свободные выборы

N = 23·33 = 216

Ответ

N = 216
5.Теория графов

Ответ: H = 60

Эйлер, Гамильтон и деревья: связный граф имеет эйлеров цикл (каждое ребро один раз, с возвратом в начало), когда все вершины имеют чётную степень, и эйлеров путь, не являющийся циклом, когда ровно две вершины имеют нечётную степень; тогда путь идёт от одной нечётной вершины к другой. Гамильтонов цикл посещает каждую вершину один раз; в Kn их (n − 1)!/2. У дерева на n вершинах n − 1 ребро, а связный граф с m рёбрами сохраняет остовное дерево после удаления m − n + 1 рёбер.

Посчитайте

H = (6 − 1)!/2 = 120/2 = 60

Ответ

H = 60
6.Теория графов

Ответ: N = 2

Степени: степень вершины — это число рёбер, которые в ней сходятся. У каждого ребра два конца, поэтому степени в сумме дают удвоенное число рёбер: Σ deg(v) = 2|E| (лемма о рукопожатиях). Следовательно, число вершин нечётной степени чётно. У Kn имеется n(n − 1)/2 рёбер, у k-регулярного графа на n вершинах nk/2, а у дерева на n вершинах n − 1 ребро.

Матрица смежности

A: 0 1 1 0 0 0
B: 1 0 1 1 0 0
C: 1 1 0 0 1 0
D: 0 1 0 0 1 1
E: 0 0 1 1 0 1
F: 0 0 0 1 1 0

Ещё один шаг

(M³)CC = 1·1 + 1·1 + 3·0 + 2·0 + 0·1 + 1·0 = 2

Ответ

N = 2
7.Теория чисел и модульная арифметика

Ответ: φ(51) = 32

Обратные элементы и сравнения: у a есть обратный по модулю n ровно тогда, когда НОД(a, n) = 1. Расширенный алгоритм Евклида записывает 1 = s·n + t·a, откуда a⁻¹ ≡ t (mod n). Сравнение a·x ≡ b (mod n) при НОД(a, n) = 1 имеет решение x ≡ a⁻¹·b. Два сравнения x ≡ r₁ (mod m₁) и x ≡ r₂ (mod m₂) со взаимно простыми модулями имеют одно решение по модулю m₁·m₂ (китайская теорема об остатках). Функция Эйлера φ(n) считает числа от 1 до n, взаимно простые с n: φ(n) = n·∏(1 − 1/p).

Простые множители

51 = 3·17

Функция Эйлера

φ(51) = φ(3)·φ(17) = 2·16 = 32

Ответ

φ(51) = 32
8.Теория чисел и модульная арифметика

Ответ: m = 144

Степени по модулю и RSA: вычисляйте aᵏ mod n многократным возведением в квадрат: запишите k в двоичном виде, возводите в квадрат, приводите по модулю после каждого шага и перемножайте те степени, чей бит равен 1. Ферма: aᵖ⁻¹ ≡ 1 (mod p) для простого p, не делящего a, поэтому показатель можно приводить по модулю p − 1. RSA: выберите простые p и q, n = p·q и φ(n) = (p − 1)(q − 1); открытый показатель e взаимно прост с φ(n), а закрытый показатель d = e⁻¹ mod φ(n). Шифруйте как c = mᵉ mod n и расшифровывайте как m = cᵈ mod n.

Закрытый показатель

n = 1739, φ(n) = 1656
d = 11−1 mod 1656 = 1355

Расшифровка многократным возведением в квадрат

1355 = 1024 + 256 + 64 + 8 + 2 + 1
7561 ≡ 756 (mod 1739)
7562 ≡ 1144 (mod 1739)
7564 ≡ 1008 (mod 1739)
7568 ≡ 488 (mod 1739)
75616 ≡ 1640 (mod 1739)
75632 ≡ 1106 (mod 1739)
75664 ≡ 719 (mod 1739)
756128 ≡ 478 (mod 1739)
756256 ≡ 675 (mod 1739)
756512 ≡ 7 (mod 1739)
7561024 ≡ 49 (mod 1739)
7561355 ≡ 756·1144·488·719·675·49 ≡ 144 (mod 1739)

Сообщение

m = 144
проверка: 14411 mod 1739 = 756

Ответ

m = 144

ExamProblems · examproblems.com/courses/discrete-mathematics