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

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

Який алгоритм знаходить найкоротші шляхи з одного джерела в графі з невід'ємними вагами ребер?

  1. AУ всіх випадках потрібен алгоритм Беллмана–Форда
  2. BПошук у глибину (DFS)
  3. CАлгоритм Краскала
  4. DАлгоритм Дейкстри
2.Алгоритми та складністьСкладна

Як алгоритм Беллмана–Форда виявляє цикл від'ємної ваги, досяжний із джерела?

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

Як обчислюють наступну позицію після індексу i в циклічній черзі, що зберігається в масиві місткістю n?

  1. Ai + 1
  2. B(i + 1) mod n
  3. C(i − 1) mod n
  4. D2i + 1
4.Структури данихСкладна

Чому в геш-таблиці з відкритою адресацією видалення часто виконують за допомогою позначки «надгробок» (tombstone)?

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

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

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

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

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

3Розчини

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

Відповідь: D · Алгоритм Дейкстри

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

Алгоритм Дейкстри працює з невід'ємними вагами; алгоритм Беллмана–Форда допускає від'ємні ваги; алгоритм Краскала будує мінімальні кістякові дерева.

Відповідь

D · Алгоритм Дейкстри
2.Алгоритми та складність

Відповідь: C · Після V − 1 раундів він перевіряє, чи можна ще релаксувати якесь ребро

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

Усі справжні найкоротші відстані знаходяться за V − 1 раундів; якщо якесь ребро ще можна поліпшити, від'ємний цикл має існувати.

Відповідь

C · Після V − 1 раундів він перевіряє, чи можна ще релаксувати якесь ребро
3.Структури даних

Відповідь: B · (i + 1) mod n

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

Операція за модулем переводить індекс n − 1 назад у 0, тож масив використовується повторно без зсуву елементів.

Відповідь

B · (i + 1) mod n
4.Структури даних

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

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

Якби видалена комірка стала порожньою, подальші пошуки могли б зупинитися зарано й пропустити ключі, розміщені далі в ланцюжку зондування.

Відповідь

B · Звільнення комірки могло б розірвати послідовність зондування для інших ключів
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) = 3

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

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

Відповідь

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

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

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

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

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

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

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

A (0): B: 5, C: 12
B (5): C: 7, D: 15, G: 13
C (7): E: 12
E (12): F: 15
G (13)
D (15)
F (15)

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

A → B → C → E → F
d(F) = 15

Відповідь

d(F) = 15

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