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

Аркуші з формулами, ключові кроки методів для кожної теми та 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Найкоротші шляхи (за кількістю ребер) від початкової вершини
  4. DНайкоротші шляхи в графах, що містять ребра з від'ємними вагами
2.Алгоритми та складністьСкладна

Чи належить 22n до O(2ⁿ)?

  1. AТак, бо обидві функції експоненційні
  2. BНі, бо 22n зростає повільніше, ніж 2ⁿ
  3. CТак, бо сталі множники в показнику степеня в нотації «велике O» завжди ігноруються
  4. DНі, бо 22n = 4ⁿ, а 4ⁿ / 2ⁿ = 2ⁿ зростає необмежено
3.Структури данихСередня

Яке призначення сторожового (фіктивного, sentinel) вузла у зв'язному списку?

  1. AНе дати списку зростати понад фіксовану максимальну кількість вузлів
  2. BСпростити код, усунувши особливі випадки на голові чи хвості
  3. CЗробити список відсортованим
  4. DЗберігати кількість елементів
4.Структури данихСкладна

У циклічному буфері front == rear може означати як порожній, так і заповнений буфер. Який поширений спосіб їх розрізнити?

  1. AЗавжди очищати буфер щоразу, коли front дорівнює rear, тож стан — порожній
  2. BЗберігати окремий лічильник елементів або завжди залишати одну комірку невикористаною
  3. CРобити розмір буфера степенем двійки
  4. DЗберігати front і rear в одній змінній
5.Теорія графівСередня

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

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

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

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

3Розчини

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

Відповідь: C · Найкоротші шляхи (за кількістю ребер) від початкової вершини

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

BFS відвідує вершини в порядку відстані (у ребрах) від джерела, тому знаходить найкоротші шляхи в незваженому графі за O(V + E).

Відповідь

C · Найкоротші шляхи (за кількістю ребер) від початкової вершини
2.Алгоритми та складність

Відповідь: D · Ні, бо 22n = 4ⁿ, а 4ⁿ / 2ⁿ = 2ⁿ зростає необмежено

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

Стала, додана до показника, дає сталий множник, але стала, що множить показник, змінює основу й швидкість зростання.

Відповідь

D · Ні, бо 22n = 4ⁿ, а 4ⁿ / 2ⁿ = 2ⁿ зростає необмежено
3.Структури даних

Відповідь: B · Спростити код, усунувши особливі випадки на голові чи хвості

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

Зі сторожовим вузлом кожен справжній вузол має попередника, тож вставлення чи видалення на початку не потребує особливої обробки.

Відповідь

B · Спростити код, усунувши особливі випадки на голові чи хвості
4.Структури даних

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

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

З лічильником порожній буфер означає count = 0, а заповнений — count = capacity; з однією порожньою коміркою заповненість визначають як (rear + 1) mod n == front.

Відповідь

B · Зберігати окремий лічильник елементів або завжди залишати одну комірку невикористаною
5.Теорія графів

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

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

Порахуйте

H = (6 − 1)!/2 = 120/2 = 60

Відповідь

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

Відповідь: D

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

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

1. A (0): B: 12, C: 4
2. C (4): B: 8, E: 15
3. B (8)
4. E (15): D: 16, F: 20
5. D (16)
6. F (20)

раунд 5

D

Відповідь

D

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