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

Аркуші з формулами, ключові кроки методів для кожної теми та 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.Алгоритми та складністьСередня

Ви один раз сортуєте масив із n елементів, а потім відповідаєте на k запитів про належність бінарним пошуком. Яка загальна вартість?

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

Яка різниця між нерозв'язною задачею та практично нерозв'язною?

  1. AОбидва терміни означають, що задача взагалі не має алгоритму
  2. BНерозв'язні задачі належать до NP, а практично нерозв'язні — до P
  3. CПрактично нерозв'язні задачі не може розв'язати жоден алгоритм, а нерозв'язні лише потребують експоненційного часу
  4. DДля нерозв'язної задачі немає алгоритму для всіх вхідних даних; для практично нерозв'язної він є, але надто повільний
3.Структури данихСередня

Чому обхід масиву на практиці часто значно швидший, ніж обхід зв'язного списку такої самої довжини?

  1. AЗв'язні списки завжди зберігають елементи на диску
  2. BМасиви використовують менше інструкцій для порівняння значень
  3. CОбхід масиву загалом має складність O(1), а обхід зв'язного списку — O(n)
  4. DЕлементи масиву розташовані суцільно, тож добре використовують кеш процесора
4.Структури данихСкладна

Яка структура дає змогу обчислити максимум кожного вікна розміру k у масиві за загальний час O(n)?

  1. AДек, що зберігає індекси в порядку спадання значень
  2. BВідсортований масив, що оновлюється зсувом
  3. CОднозв'язний список елементів вікна
  4. DМін-купа, перебудована для кожного вікна
5.Теорія графівСередня

Зв’язний граф має 20 вершин і 27 ребер. Скільки ребер k треба вилучити, щоб залишилося остовне дерево?

|V| = 20|E| = 27
k =
6.Теорія графівСкладна
7814413144813ABCDEFG

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

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

3Розчини

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

Відповідь: A · O(n log n + k log n)

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

Сортування коштує O(n log n), а кожен запит — O(log n); за великого k це краще, ніж k лінійних переглядів (O(nk)).

Відповідь

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

Відповідь: D · Для нерозв'язної задачі немає алгоритму для всіх вхідних даних; для практично нерозв'язної він є, але надто повільний

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

Проблема зупинки взагалі не має алгоритму; NP-складну задачу, як-от TSP, можна розв'язати повним перебором, просто не за відомий поліноміальний час.

Відповідь

D · Для нерозв'язної задачі немає алгоритму для всіх вхідних даних; для практично нерозв'язної він є, але надто повільний
3.Структури даних

Відповідь: D · Елементи масиву розташовані суцільно, тож добре використовують кеш процесора

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

Суцільна пам'ять забезпечує добру локальність звертань, а зв'язані вузли можуть бути розкидані й спричиняти багато кеш-промахів.

Відповідь

D · Елементи масиву розташовані суцільно, тож добре використовують кеш процесора
4.Структури даних

Відповідь: A · Дек, що зберігає індекси в порядку спадання значень

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

Початок дека завжди є максимумом вікна; кожен індекс входить у дек і виходить із нього один раз, тож обсяг роботи лінійний.

Відповідь

A · Дек, що зберігає індекси в порядку спадання значень
5.Теорія графів

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

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

Ребра остовного дерева

20 − 1 = 19

Ребра для вилучення

k = 27 − 19 = 8

Відповідь

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

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

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

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

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

A (0): B: 7, C: 8
B (7)
C (8): E: 12, G: 16
E (12): D: 25, F: 16
F (16)
G (16)
D (25)

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

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

Відповідь

d(F) = 16

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