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

Аркуші з формулами, ключові кроки методів для кожної теми та 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Алгоритм Краскала
  3. CПошук у глибину (DFS)
  4. DАлгоритм Дейкстри
2.Алгоритми та складністьСкладна

Яка з цих задач виконуваності, як відомо, розв'язна за поліноміальний час?

  1. A2-SAT, де кожен диз'юнкт має щонайбільше два літерали
  2. B3-SAT, де кожен диз'юнкт має рівно три літерали
  3. CВиконуваність схем
  4. DЗагальна SAT для формул у кон'юнктивній нормальній формі
3.Структури данихСередня

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

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

Яка основна перевага списку з пропусками (skip list) над відсортованим зв'язним списком?

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

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

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

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

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

3Розчини

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

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

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

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

Відповідь

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

Відповідь: A · 2-SAT, де кожен диз'юнкт має щонайбільше два літерали

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

2-SAT належить до P (лінійний час через компоненти сильної зв'язності), тоді як 3-SAT є NP-повною.

Відповідь

A · 2-SAT, де кожен диз'юнкт має щонайбільше два літерали
3.Структури даних

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

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

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

Відповідь

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

Відповідь: D · Очікуваний пошук за O(log n) завдяки кільком рівням вказівників уперед

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

Випадкові рівні дозволяють пошуку пропускати багато вузлів, що дає очікувану складність O(log n) для пошуку, вставлення та видалення.

Відповідь

D · Очікуваний пошук за O(log n) завдяки кільком рівням вказівників уперед
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.Теорія графів

Відповідь: F

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

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

1. A (0): B: 12, C: 15
2. B (12): D: 22, G: 14
3. G (14)
4. C (15)
5. D (22): E: 34, F: 30
6. F (30)
7. E (34)

раунд 6

F

Відповідь

F

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