Дискретна математика: шпаргалка-підсумок

Аркуші з формулами, ключові кроки методів для кожної теми та 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
Ейлер
цикл: усі степені парні; шлях: рівно 2 непарні степені
Гамільтонові цикли в 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.Логіка висловлювань і доведенняСередня
pqr¬q ∧ p¬q ∨ (¬q ∧ p)(¬p → r) ↔ (¬q ∨ (¬q ∧ p))111?110?101?100?011?010?001?000?

У скількох із 8 рядків таблиці істинності (¬p → r) ↔ (¬q ∨ (¬q ∧ p)) істинне? Позначте це число N.

(¬p → r) ↔ (¬q ∨ (¬q ∧ p))
N =
2.Логіка висловлювань і доведенняСкладна

Скільки з 16 рядків таблиці істинності роблять ¬(((s ↔ ¬p) ∨ ¬r) ∧ ((¬r ∧ ¬q) → q)) істинним? Позначте це число N.

¬(((s ↔ ¬p) ∨ ¬r) ∧ ((¬r ∧ ¬q) → q))
N =
3.Множини, відношення та функціїСередня
UABC12345678

Рівно одна область діаграми Вена є множиною (C ∩ A) ∩ (B ∩ A). Клікніть її номер.

(C ∩ A) ∩ (B ∩ A)
  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.Множини, відношення та функціїСкладна

Скільки існує бієкцій f: A → B, якщо |A| = |B| = 6? Позначте число N.

|A| = 6|B| = 6
N =
5.Теорія графівСередня
ABCDEFGЕйлерів циклЕйлерів шлях, не циклжодна з цих

Чи має зв’язний граф ейлерів цикл, ейлерів шлях, що не є циклом, чи нічого з цього? Клікніть свою відповідь.

|V| = 7|E| = 9
  1. 1Ейлерів цикл
  2. 2Ейлерів шлях, не цикл
  3. 3жодна з цих
6.Теорія графівСкладна
653125148714ABCDEFG

Скористайтеся алгоритмом Дейкстри, щоб знайти довжину d(F) найкоротшого шляху від A до F у зваженому графі.

початок: Aкінець: F
d(F) =
7.Теорія чисел і арифметика за модулемСередня

Знайдіть функцію Ейлера φ(1625), кількість цілих чисел від 1 до 1625, взаємно простих з 1625.

n = 1625 = 53·13
φ(1625) =
8.Теорія чисел і арифметика за модулемСкладна
mc = me​ mod n221m = cd​ mod n?(n, e) = (437, 17)d

Ключ RSA використовує p = 19, q = 23 і e = 17. Розшифруйте шифротекст c = 221: знайдіть повідомлення m.

p = 19q = 23e = 17c = 221
m =

3Розчини

1.Логіка висловлювань і доведення

Відповідь: N = 4

Таблиці істинності: формула з 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, ¬p → r = 1, ¬q = 0, ¬q ∧ p = 0, ¬q ∨ (¬q ∧ p) = 0, (¬p → r) ↔ (¬q ∨ (¬q ∧ p)) = 0
p = 1, q = 1, r = 0: ¬p = 0, ¬p → r = 1, ¬q = 0, ¬q ∧ p = 0, ¬q ∨ (¬q ∧ p) = 0, (¬p → r) ↔ (¬q ∨ (¬q ∧ p)) = 0
p = 1, q = 0, r = 1: ¬p = 0, ¬p → r = 1, ¬q = 1, ¬q ∧ p = 1, ¬q ∨ (¬q ∧ p) = 1, (¬p → r) ↔ (¬q ∨ (¬q ∧ p)) = 1
p = 1, q = 0, r = 0: ¬p = 0, ¬p → r = 1, ¬q = 1, ¬q ∧ p = 1, ¬q ∨ (¬q ∧ p) = 1, (¬p → r) ↔ (¬q ∨ (¬q ∧ p)) = 1
p = 0, q = 1, r = 1: ¬p = 1, ¬p → r = 1, ¬q = 0, ¬q ∧ p = 0, ¬q ∨ (¬q ∧ p) = 0, (¬p → r) ↔ (¬q ∨ (¬q ∧ p)) = 0
p = 0, q = 1, r = 0: ¬p = 1, ¬p → r = 0, ¬q = 0, ¬q ∧ p = 0, ¬q ∨ (¬q ∧ p) = 0, (¬p → r) ↔ (¬q ∨ (¬q ∧ p)) = 1
p = 0, q = 0, r = 1: ¬p = 1, ¬p → r = 1, ¬q = 1, ¬q ∧ p = 0, ¬q ∨ (¬q ∧ p) = 1, (¬p → r) ↔ (¬q ∨ (¬q ∧ p)) = 1
p = 0, q = 0, r = 0: ¬p = 1, ¬p → r = 0, ¬q = 1, ¬q ∧ p = 0, ¬q ∨ (¬q ∧ p) = 1, (¬p → r) ↔ (¬q ∨ (¬q ∧ p)) = 0

Порахуйте рядки зі значенням 1

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

Відповідь

N = 4
2.Логіка висловлювань і доведення

Відповідь: N = 8

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

Стовпці

¬p; s ↔ ¬p; ¬r; (s ↔ ¬p) ∨ ¬r; ¬q; ¬r ∧ ¬q; (¬r ∧ ¬q) → q; ((s ↔ ¬p) ∨ ¬r) ∧ ((¬r ∧ ¬q) → q); ¬(((s ↔ ¬p) ∨ ¬r) ∧ ((¬r ∧ ¬q) → q))

Розділення за p

p = 1: 4
p = 0: 4
N = 4 + 4 = 8

Відповідь

N = 8
3.Множини, відношення та функції

Відповідь: область 1

Множини та діаграми Вена: 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

Область

область 1

Відповідь

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

Відповідь: N = 720

Функції та підрахунок: функція 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.

Порахуйте

N = 6!/(6 − 6)! = 720

Відповідь

N = 720
5.Теорія графів

Відповідь: Ейлерів шлях, не цикл

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

Степені

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

Непарні вершини

C, G → 2
Ейлерів шлях, не цикл

Відповідь

Ейлерів шлях, не цикл

Ейлерів шлях починається в одній непарній вершині й закінчується в другій.

6.Теорія графів

Відповідь: d(F) = 21

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

Алгоритм Дейкстри раунд за раундом

Кожен рядок: зафіксована вершина, її остаточна відстань і сусіди, чия відстань покращується.

A (0): B: 6, C: 5
C (5): E: 17, G: 13
B (6)
G (13): D: 20
E (17): F: 21
D (20)
F (21)

Найкоротший шлях

A → C → E → F
d(F) = 21

Відповідь

d(F) = 21
7.Теорія чисел і арифметика за модулем

Відповідь: φ(1625) = 1200

Обернені елементи та конгруенції: a має обернений за модулем n саме тоді, коли gcd(a, n) = 1. Розширений алгоритм Евкліда записує 1 = s·n + t·a, і тоді a⁻¹ ≡ t (mod n). Конгруенція a·x ≡ b (mod n) з gcd(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).

Прості множники

1625 = 53·13

Функція Ейлера

φ(1625) = φ(125)·φ(13) = 100·12 = 1200

Відповідь

φ(1625) = 1200
8.Теорія чисел і арифметика за модулем

Відповідь: m = 103

Степені за модулем і 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 = 437, φ(n) = 396
d = 17−1 mod 396 = 233

Розшифруйте повторним піднесенням до квадрата

233 = 128 + 64 + 32 + 8 + 1
2211 ≡ 221 (mod 437)
2212 ≡ 334 (mod 437)
2214 ≡ 121 (mod 437)
2218 ≡ 220 (mod 437)
22116 ≡ 330 (mod 437)
22132 ≡ 87 (mod 437)
22164 ≡ 140 (mod 437)
221128 ≡ 372 (mod 437)
221233 ≡ 221·220·87·140·372 ≡ 103 (mod 437)

Повідомлення

m = 103
перевірка: 10317 mod 437 = 221

Відповідь

m = 103

ExamProblems · examproblems.com/courses/discrete-mathematics