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

Листы формул, ключевые шаги методов по каждой теме и тренировочные задачи (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
Эйлер
цикл: все степени чётные; путь: ровно две нечётные степени
Гамильтоновы циклы в 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.Алгоритмы и сложностьСредняя

Каково решение рекуррентного соотношения T(n) = 2T(n/2) + O(1)?

  1. AO(n)
  2. BO(n²)
  3. CO(n log n)
  4. DO(log n)
2.Алгоритмы и сложностьСложная

Если взять оба конца каждого ребра максимального (по включению) паросочетания, получится вершинное покрытие. Насколько оно хорошее?

  1. AНе более чем вдвое больше минимального вершинного покрытия
  2. BНеизвестного качества по сравнению с оптимумом
  3. CНе более чем в log n раз больше минимума
  4. DВсегда минимальное вершинное покрытие
3.Структуры данныхСредняя

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

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

В кольцевом буфере front == rear может означать и «пуст», и «полон». Какой распространённый способ их различить?

  1. AХранить front и rear в одной переменной
  2. BДелать размер буфера степенью двойки
  3. CХранить отдельный счётчик элементов или всегда оставлять одну ячейку свободной
  4. DВсегда очищать буфер, когда front равен rear, так что состояние — пустой
5.Теория графовСредняя
ABCDEЭйлеров циклЭйлеров путь, не циклни то, ни другое

Есть ли в связном графе эйлеров цикл, эйлеров путь, не являющийся циклом, или ни то ни другое? Нажмите на ваш ответ.

|V| = 5|E| = 5
  1. 1Эйлеров цикл
  2. 2Эйлеров путь, не цикл
  3. 3ни то, ни другое
6.Теория графовСложная
8461441212151ABCDEFG

Алгоритм Дейкстры запускается из A. Нажмите на вершину, которая фиксируется (становится постоянной) на шаге 3; сама A фиксируется на шаге 1.

начало: Aшаг 3
  1. 1A
  2. 2B
  3. 3C
  4. 4D
  5. 5E
  6. 6F
  7. 7G

3Растворы

1.Алгоритмы и сложность

Ответ: A · O(n)

Почему это ответ

По основной теореме nlog₂ 2 = n доминирует над постоянной работой, поэтому T(n) = Θ(n), как при поиске максимума делением пополам.

Ответ

A · O(n)
2.Алгоритмы и сложность

Ответ: A · Не более чем вдвое больше минимального вершинного покрытия

Почему это ответ

Рёбра паросочетания не имеют общих вершин, поэтому оптимуму нужна хотя бы одна вершина на ребро, а этот метод берёт две: это 2-приближение.

Ответ

A · Не более чем вдвое больше минимального вершинного покрытия
3.Структуры данных

Ответ: B · В двусвязном списке

Почему это ответ

Узел двусвязного списка знает своего предшественника, поэтому prev и next можно сразу перевязать; в односвязном списке предшественника приходится искать.

Ответ

B · В двусвязном списке
4.Структуры данных

Ответ: C · Хранить отдельный счётчик элементов или всегда оставлять одну ячейку свободной

Почему это ответ

Со счётчиком «пуст» означает count = 0, а «полон» — count = ёмкость; при одной свободной ячейке «полон» определяется как (rear + 1) mod n == front.

Ответ

C · Хранить отдельный счётчик элементов или всегда оставлять одну ячейку свободной
5.Теория графов

Ответ: Эйлеров цикл

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

Степени

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

Нечётные вершины

0
Эйлеров цикл

Ответ

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

Ответ: C

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

Алгоритм Дейкстры по шагам

1. A (0): B: 8
2. B (8): C: 12, D: 14, G: 20
3. C (12): E: 26
4. D (14): E: 18, F: 26
5. E (18): G: 19
6. G (19)
7. F (26)

шаг 3

C

Ответ

C

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