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

Листы формул, ключевые шаги методов по каждой теме и тренировочные задачи (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.Логика высказываний и доказательстваСредняя
c ∨ ¬a¬c ∨ ¬a¬c ∧ ¬a¬c ∧ a

Какая формула логически эквивалентна ¬(c ∨ a)? Нажмите на неё.

¬(c ∨ a)
  1. 1c ∨ ¬a
  2. 2¬c ∨ ¬a
  3. 3¬c ∧ ¬a
  4. 4¬c ∧ a
2.Логика высказываний и доказательстваСложная
∃x ∀y ¬R(x, y)∃y ∀x ¬R(x, y)∀x ∃y ¬R(x, y)∀x ∀y ¬R(x, y)

Какое утверждение эквивалентно ¬∀x ∃y R(x, y), если отрицание перенесено полностью внутрь? Нажмите на него.

¬∀x ∃y R(x, y)
  1. 1∃x ∀y ¬R(x, y)
  2. 2∃y ∀x ¬R(x, y)
  3. 3∀x ∃y ¬R(x, y)
  4. 4∀x ∀y ¬R(x, y)
3.Множества, отношения и функцииСредняя
1234

R = {(1, 1), (1, 2), (1, 4), (2, 2), (2, 3), (3, 1), (4, 4)} — отношение на {1, 2, 3, 4}. Каково наименьшее число k упорядоченных пар, которые нужно добавить к R, чтобы оно стало рефлексивным?

R = {(1, 1), (1, 2), (1, 4), (2, 2), (2, 3), (3, 1), (4, 4)}
k =
4.Множества, отношения и функцииСложная
AB1234abcdeинъективна, но не сюръективнасюръективна, но не инъективнабиективнани то, ни другое

Стрелочная диаграмма показывает функцию f: A → B, где A = {1, 2, 3, 4} и B = {a, b, c, d, e}. Нажмите на описание, подходящее для f.

f = {(1, d), (2, b), (3, a), (4, c)}
  1. 1инъективна, но не сюръективна
  2. 2сюръективна, но не инъективна
  3. 3биективна
  4. 4ни то, ни другое
5.Теория графовСредняя
ABCDEFGЭйлеров циклЭйлеров путь, не циклни то, ни другое

Есть ли в связном графе эйлеров цикл, эйлеров путь, не являющийся циклом, или ни то ни другое? Нажмите на ваш ответ.

|V| = 7|E| = 8
  1. 1Эйлеров цикл
  2. 2Эйлеров путь, не цикл
  3. 3ни то, ни другое
6.Теория графовСложная
41451920108ABCDE

Алгоритм Краскала строит минимальное остовное дерево. Нажмите на ребро, которое он добавляет под номером 4; пропущенные рёбра не считаются.

k = 4
  1. 1ребро AB
  2. 2ребро AC
  3. 3ребро BC
  4. 4ребро BD
  5. 5ребро CE
  6. 6ребро DE
  7. 7ребро BE
7.Теория чисел и модульная арифметикаСредняя

Решите 27x ≡ 25 (mod 29). Укажите решение x, для которого 0 < x < 29.

27x ≡ 25 (mod 29)
x =
8.Теория чисел и модульная арифметикаСложная

Используйте многократное возведение в квадрат, чтобы найти 1121 mod 32.

a = 11k = 21n = 32
1121 mod 32 =

3Растворы

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

Ответ: ¬c ∧ ¬a

Логическая эквивалентность: две формулы эквивалентны (≡), если в каждой строке таблицы истинности они имеют одинаковое значение. Тавтология равна 1 в каждой строке, противоречие равно 0 в каждой строке, а нейтральная формула (contingency) — ни то ни другое. Полезные законы: законы де Моргана, ¬(a ∧ b) ≡ ¬a ∨ ¬b и ¬(a ∨ b) ≡ ¬a ∧ ¬b; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (контрапозиция); ¬(a → b) ≡ a ∧ ¬b; а также законы дистрибутивности, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).

Закон

Закон де Моргана: ¬(a ∨ b) ≡ ¬a ∧ ¬b. ∨ превращается в ∧, и обе части отрицаются.
¬(c ∨ a) ≡ ¬c ∧ ¬a

Проверка по таблице истинности

a = 1, c = 1: 0 | 1 0 0 0
a = 1, c = 0: 0 | 0 1 0 1
a = 0, c = 1: 0 | 1 1 0 0
a = 0, c = 0: 1 | 1 1 1 0

Ответ

¬c ∧ ¬a

Столбцы после черты — варианты ответа в показанном порядке.

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

Ответ: ∃x ∀y ¬R(x, y)

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

Перенесите отрицание внутрь

¬∀x ∃y R(x, y) ≡ ∃x ∀y ¬R(x, y)

Ответ

∃x ∀y ¬R(x, y)

Остальные варианты либо оставляют какой-то квантор без изменения, либо меняют порядок кванторов, либо неверно отрицают внутреннюю формулу.

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

Ответ: k = 1

Отношения: отношение 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 на непересекающиеся классы.

Пары для добавления

{(3, 3)}

Посчитайте

k = 1

Ответ

k = 1
4.Множества, отношения и функции

Ответ: инъективна, но не сюръективна

Функции и подсчёт: функция f: A → B ставит каждому элементу A в соответствие ровно один образ в B. f инъективна (взаимно однозначна в одну сторону), если разные элементы имеют разные образы, сюръективна (на), если каждый элемент B является образом, и биективна, если выполнено и то и другое. При |A| = m и |B| = n существует nᵐ функций, n!/(n − m)! инъективных (m ≤ n) и по формуле включений и исключений Σ (−1)ᵏ·C(n, k)·(n − k)ᵐ сюръективных. |𝒫(A)| = 2ᵐ и |A × B| = m·n.

Инъективна?

каждый элемент B достигается не более одного раза → инъективна

Сюръективна?

e не получает стрелки → не сюръективна

Ответ

инъективна, но не сюръективна

Ответ

инъективна, но не сюръективна
5.Теория графов

Ответ: ни то, ни другое

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

Степени

deg(A) = 1, deg(B) = 3, deg(C) = 2, deg(D) = 2, deg(E) = 4, deg(F) = 1, deg(G) = 3

Нечётные вершины

A, B, F, G → 4
ни то, ни другое

Ответ

ни то, ни другое
6.Теория графов

Ответ: ребро DE

Кратчайшие пути и остовные деревья: алгоритм Дейкстры фиксирует по одной вершине на шаге: нефиксированную вершину с наименьшим предварительным расстоянием. Её расстояние становится окончательным, а каждый сосед v получает d(v) = min(d(v), d(u) + w(u, v)). Алгоритм Краскала строит минимальное остовное дерево, беря рёбра от лёгких к тяжёлым и пропуская любое ребро, которое замкнуло бы цикл; алгоритм Прима растит одно дерево из начальной вершины, всегда добавляя самое лёгкое ребро, выходящее из него. В остовном дереве на n вершинах n − 1 ребро.

Алгоритм Краскала

1. AB (4)
2. BC (5)
3. BE (8)
4. DE (10)

номер ребра 4

DE

Ответ

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

Ответ: x = 2

Обратные элементы и сравнения: у 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).

Обратный к 27

r = 29, t = 0
r = 27, q = 1, t = 1
r = 2, q = 13, t = −1
r = 1, q = 2, t = 14
27−1 ≡ 14 (mod 29)

Решите

x ≡ 14·25 = 350 ≡ 2 (mod 29)
проверка: 27·2 = 54 ≡ 25 (mod 29)

Ответ

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

Ответ: 1121 mod 32 = 27

Степени по модулю и 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.

Двоичный показатель

21 = 101012 = 16 + 4 + 1

Многократное возведение в квадрат

111 ≡ 11 (mod 32)
112 ≡ 25 (mod 32)
114 ≡ 17 (mod 32)
118 ≡ 1 (mod 32)
1116 ≡ 1 (mod 32)

Перемножьте нужные степени

1121 ≡ 11·17·1 ≡ 27 (mod 32)

Ответ

1121 mod 32 = 27

ExamProblems · examproblems.com/courses/discrete-mathematics