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

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

Яка часова складність побудови бінарної купи з n невідсортованих елементів висхідним методом (bottom-up)?

  1. AO(log n)
  2. BO(n log n)
  3. CO(n²)
  4. DO(n)
3.Структури данихСередня

Що відбувається, коли геш-таблиця виконує повторне гешування (rehash) після того, як коефіцієнт заповнення перевищив поріг?

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

Яке твердження про пірамідальне сортування (heapsort) правильне?

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

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

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

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

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

3Розчини

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

Відповідь: D · Вона викликає себе, доки не переповниться стек викликів

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

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

Відповідь

D · Вона викликає себе, доки не переповниться стек викликів
2.Алгоритми та складність

Відповідь: D · O(n)

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

Сума витрат на просіювання вниз (sift-down) за всіма рівнями утворює збіжний ряд, тому побудова купи (heapify) виконується за лінійний час.

Відповідь

D · O(n)
3.Структури даних

Відповідь: B · Виділяється більша таблиця, і кожен ключ вставляється знову

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

Оскільки індекс обчислюється за модулем розміру таблиці, усі ключі треба повторно гешувати в нову, більшу таблицю; за подвоєння розміру це залишається O(1) амортизовано.

Відповідь

B · Виділяється більша таблиця, і кожен ключ вставляється знову
4.Структури даних

Відповідь: C · Воно сортує на місці за час O(n log n) у найгіршому випадку, але не є стабільним

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

Heapsort будує макс-купу й n разів видобуває максимум у тому самому масиві; обміни на великі відстані можуть змінювати порядок однакових ключів.

Відповідь

C · Воно сортує на місці за час O(n log n) у найгіршому випадку, але не є стабільним
5.Теорія графів

Відповідь: жодна з цих

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

Степені

deg(A) = 1, deg(B) = 3, deg(C) = 1, deg(D) = 3, deg(E) = 3, deg(F) = 1

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

A, B, C, D, E, F → 6
жодна з цих

Відповідь

жодна з цих
6.Теорія графів

Відповідь: C

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

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

1. A (0): B: 10, C: 13
2. B (10): C: 12, D: 25, E: 25
3. C (12): E: 23
4. E (23)
5. D (25): F: 26
6. F (26)

раунд 3

C

Відповідь

C

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