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

Аркуші з формулами, ключові кроки методів для кожної теми та 6 задач для практики, з повними розв’язками наприкінці.

Нові задачіНазад до курсу

У вікні друку виберіть «Зберегти як PDF», щоб зберегти копію на пристрої.

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

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

Лема про рукостискання
Σ 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. Для мінімального остовного дерева відсортуйте ребра за вагою й пропускайте кожне ребро, що замикає цикл (Крускал), або нарощуйте одне дерево від початкової вершини (Прім).

2Задачі для практики

1.Алгоритми та складністьСередня

Розв'язком рекурентного співвідношення T(n) = 2T(n/2) + O(n) є:

  1. AO(n)
  2. BO(n²)
  3. CO(n log n)
  4. DO(log n)
2.Алгоритми та складністьСкладна

Задача є NP-повною, якщо вона:

  1. AЛежить поза NP, але складніша за всі задачі NP, як-от проблема зупинки
  2. BРозв'язна за поліноміальний час
  3. CНалежить до NP і будь-яка задача з NP зводиться до неї за поліноміальний час
  4. DНерозв'язна
3.Структури данихСередня

Кільцевий буфер (ring buffer) зазвичай використовують для реалізації:

  1. AЧерги фіксованого розміру
  2. BБінарного дерева пошуку
  3. CОбходу графа
  4. DГеш-функції
4.Структури данихСкладна

У циклічному буфері front == rear може означати як порожній, так і заповнений буфер. Який поширений спосіб їх розрізнити?

  1. AЗберігати front і rear в одній змінній
  2. BЗберігати окремий лічильник елементів або завжди залишати одну комірку невикористаною
  3. CРобити розмір буфера степенем двійки
  4. DЗавжди очищати буфер щоразу, коли front дорівнює rear, тож стан — порожній
5.Теорія графівСередня
ABCDEFGЕйлерів циклЕйлерів шлях, не циклжодна з цих

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

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

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

початок: Aкінець: F
d(F) =

3Розчини

1.Алгоритми та складність

Відповідь: C · O(n log n)

Чому це відповідь

За основною теоремою про рекурентні співвідношення (master theorem) при a = 2, b = 2, f(n) = n маємо T(n) = Θ(n log n).

Відповідь

C · O(n log n)
2.Алгоритми та складність

Відповідь: C · Належить до NP і будь-яка задача з NP зводиться до неї за поліноміальний час

Чому це відповідь

NP-повні задачі — найскладніші в NP; поліноміальний алгоритм для однієї з них дав би поліноміальний алгоритм для всього класу NP.

Відповідь

C · Належить до NP і будь-яка задача з NP зводиться до неї за поліноміальний час
3.Структури даних

Відповідь: A · Черги фіксованого розміру

Чому це відповідь

Кільцевий буфер використовує індекси head і tail, які циклічно переходять на початок, забезпечуючи enqueue і dequeue за O(1) у фіксованому обсязі пам'яті.

Відповідь

A · Черги фіксованого розміру
4.Структури даних

Відповідь: B · Зберігати окремий лічильник елементів або завжди залишати одну комірку невикористаною

Чому це відповідь

З лічильником порожній буфер означає count = 0, а заповнений — count = capacity; з однією порожньою коміркою заповненість визначають як (rear + 1) mod n == front.

Відповідь

B · Зберігати окремий лічильник елементів або завжди залишати одну комірку невикористаною
5.Теорія графів

Відповідь: жодна з цих

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

Степені

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

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

B, D, E, F → 4
жодна з цих

Відповідь

жодна з цих
6.Теорія графів

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

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

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

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

A (0): B: 4, C: 4
B (4): D: 5, E: 8
C (4)
D (5): F: 17
E (8): F: 11
F (11)

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

A → B → E → F
d(F) = 11

Відповідь

d(F) = 11

ExamProblems · examproblems.com/courses/data-structures-and-algorithms