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

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

Чому основу логарифма в «великому O» зазвичай не вказують, як-от в O(log n)?

  1. AОснова має значення лише для малих n
  2. BУсі логарифми в інформатиці мають основу 10, тож вона мається на увазі
  3. CЛогарифми завжди округлюють до цілих
  4. DЛогарифми з різними основами відрізняються лише сталим множником
2.Алгоритми та складністьСкладна

Чому алгоритм Дейкстри може давати неправильні результати, коли деякі ваги ребер від'ємні?

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

Ви маєте посилання на вузол у середині списку. У якому списку його можна видалити за O(1)?

  1. AВ однозв'язному списку
  2. BУ відсортованому масиві
  3. CУ двозв'язному списку
  4. DУ динамічному масиві
4.Структури данихСкладна

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

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

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

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

Алгоритм Дейкстри працює від A. Клікніть вершину, яку фіксують (роблять остаточною) у раунді 4; сама A — це раунд 1.

початок: Aраунд 4
  1. 1A
  2. 2B
  3. 3C
  4. 4D
  5. 5E
  6. 6F
  7. 7G

3Розчини

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

Відповідь: D · Логарифми з різними основами відрізняються лише сталим множником

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

Зміна основи множить логарифм на сталу, а «велике O» ігнорує сталі множники.

Відповідь

D · Логарифми з різними основами відрізняються лише сталим множником
2.Алгоритми та складність

Відповідь: C · Вершину остаточно фіксують під час вилучення, але пізніше від'ємне ребро ще може дати їй коротший шлях

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

Жадібний крок спирається на невід'ємні ваги, щоб вилучені відстані були остаточними; коли ваги можуть бути від'ємними, використовують Беллмана–Форда.

Відповідь

C · Вершину остаточно фіксують під час вилучення, але пізніше від'ємне ребро ще може дати їй коротший шлях
3.Структури даних

Відповідь: C · У двозв'язному списку

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

Вузол двозв'язного списку знає свого попередника, тож можна безпосередньо перев'язати prev і next; в однозв'язному списку попередника доводиться шукати.

Відповідь

C · У двозв'язному списку
4.Структури даних

Відповідь: A · Щоб уникнути повторних змін розміру, коли push і pop чергуються біля межі

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

Зменшення при половинному заповненні могло б запускати зміну розміру на кожній операції такої послідовності; проміжок між 1/4 і повним заповненням зберігає амортизовану вартість O(1).

Відповідь

A · Щоб уникнути повторних змін розміру, коли push і pop чергуються біля межі
5.Теорія графів

Відповідь: Ейлерів цикл

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

Степені

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

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

0
Ейлерів цикл

Відповідь

Ейлерів цикл
6.Теорія графів

Відповідь: G

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

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

1. A (0): C: 9
2. C (9): B: 16, E: 21
3. B (16): G: 17
4. G (17): D: 31
5. E (21): F: 34
6. D (31)
7. F (34)

раунд 4

G

Відповідь

G

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