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

Аркуші з формулами, ключові кроки методів для кожної теми та 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(log n)
  2. BO(n)
  3. CO(n log n)
  4. DO(n²)
2.Алгоритми та складністьСкладна

Як співвідносяться n! і 2ⁿ для великих n?

  1. AВони зростають з однаковою швидкістю
  2. B2ⁿ зростає швидше, ніж n!
  3. Cn! є O(n²)
  4. Dn! зростає швидше, ніж 2ⁿ
3.Структури данихСередня

Яка вартість вставлення елемента в середину масиву з n елементів?

  1. AO(log n) через бінарний пошук
  2. BO(n²), бо кожен елемент переміщується n разів
  3. CO(1), бо індекс відомий
  4. DO(n), бо наступні елементи доводиться зсувати
4.Структури данихСкладна

Для чого використовують структуру union-find в алгоритмі Краскала для мінімального кістякового дерева?

  1. AЩоб обрати початкову вершину
  2. BЩоб відсортувати ребра за вагою
  3. CЩоб зберігати поточну відстань кожної вершини від джерела під час пошуку
  4. DЩоб перевірити, чи вже з'єднані два кінці ребра
5.Теорія графівСередня

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

K4
H =
6.Теорія графівСкладна
520276101618ABCDEF

Алгоритм Крускала будує мінімальне остовне дерево. Клікніть ребро, яке він додає як ребро номер 2; пропущені ребра не враховуються.

k = 2
  1. 1ребро AB
  2. 2ребро AC
  3. 3ребро BC
  4. 4ребро BD
  5. 5ребро DE
  6. 6ребро DF
  7. 7ребро EF
  8. 8ребро BE

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.Алгоритми та складність

Відповідь: D · n! зростає швидше, ніж 2ⁿ

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

Для n ≥ 4 n! перевищує 2ⁿ, і відношення зростає необмежено, бо кожен додатковий множник n! більший за 2.

Відповідь

D · n! зростає швидше, ніж 2ⁿ
3.Структури даних

Відповідь: D · O(n), бо наступні елементи доводиться зсувати

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

Усі елементи після точки вставлення зсуваються на одну позицію праворуч, що займає час, пропорційний n.

Відповідь

D · O(n), бо наступні елементи доводиться зсувати
4.Структури даних

Відповідь: D · Щоб перевірити, чи вже з'єднані два кінці ребра

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

Find показує, чи обидва кінці в одній компоненті; якщо ні, ребро додається, а union об'єднує компоненти.

Відповідь

D · Щоб перевірити, чи вже з'єднані два кінці ребра
5.Теорія графів

Відповідь: H = 3

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

Порахуйте

H = (4 − 1)!/2 = 6/2 = 3

Відповідь

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

Відповідь: ребро AB

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

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

1. BC (2)
2. AB (5)
3. DE (6)
4. BD (7)
5. DF (10)

номер ребра 2

AB

Відповідь

ребро AB

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