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

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

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

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

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

  1. AЛінійне зондування
  2. BМетод ланцюжків (separate chaining)
  3. CКвадратичне зондування
  4. DПодвійне гешування
4.Структури данихСкладна

Фільтр Блума може відповісти на запитання «чи належить цей елемент множині?»:

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

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

K5
H =
6.Теорія графівСкладна
8751565710155ABCDEFG

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

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

3Розчини

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

Відповідь: A · Середню вартість операції на послідовності операцій у найгіршому випадку

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

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

Відповідь

A · Середню вартість операції на послідовності операцій у найгіршому випадку
2.Алгоритми та складність

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

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

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

Відповідь

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

Відповідь: B · Метод ланцюжків (separate chaining)

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

Метод ланцюжків зберігає для кожного кошика зв'язний список (або іншу структуру); відкрита адресація шукає інше вільне місце в самій таблиці.

Відповідь

B · Метод ланцюжків (separate chaining)
4.Структури даних

Відповідь: C · З можливими хибнопозитивними, але без хибнонегативних результатів

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

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

Відповідь

C · З можливими хибнопозитивними, але без хибнонегативних результатів
5.Теорія графів

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

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

Порахуйте

H = (5 − 1)!/2 = 24/2 = 12

Відповідь

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

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

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

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

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

A (0): B: 8, C: 7
C (7): E: 13, G: 22
B (8): D: 23, G: 18
E (13): F: 20
G (18)
F (20)
D (23)

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

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

Відповідь

d(F) = 20

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