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

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

Динамическое программирование полезно, когда у задачи есть:

  1. AВообще никаких подзадач, поэтому её можно решить за один шаг
  2. BПерекрывающиеся подзадачи и оптимальная подструктура
  3. CТолько случайные входные данные
  4. DОдин цикл
2.Алгоритмы и сложностьСложная

Что установила теорема Кука–Левина?

  1. AЗадача выполнимости булевых формул (SAT) NP-полна
  2. BПроблема остановки неразрешима
  3. CЛюбую задачу из NP можно решить за экспоненциальное время
  4. DP не равно NP
3.Структуры данныхСредняя

Приложению нужен быстрый поиск, а также вывод ключей в отсортированном порядке и запросы по диапазону. Какая структура подходит лучше всего?

  1. AСбалансированное двоичное дерево поиска
  2. BСтек
  3. CНеотсортированный связный список
  4. DХеш-таблица
4.Структуры данныхСложная

Почему из стандартного фильтра Блума нельзя просто удалить элементы, обнулив их биты?

  1. AФильтры Блума хранят элементы целиком, и их невозможно снова найти после хеширования
  2. BЭти биты могут принадлежать и другим элементам, что вызвало бы ложноотрицательные результаты
  3. CУдаление повысило бы долю ложноположительных результатов до 100%
  4. DБиты фильтра Блума нельзя менять после создания
5.Теория графовСредняя

Связный граф имеет 11 вершин и 13 рёбер. Сколько рёбер, k, нужно удалить, чтобы осталось остовное дерево?

|V| = 11|E| = 13
k =
6.Теория графовСложная
737101210115ABCDEF

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

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

3Растворы

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

Ответ: B · Перекрывающиеся подзадачи и оптимальная подструктура

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

Сохранение результатов перекрывающихся подзадач (мемоизация или табуляция) позволяет избежать повторной работы и превращает экспоненциальные алгоритмы в полиномиальные.

Ответ

B · Перекрывающиеся подзадачи и оптимальная подструктура
2.Алгоритмы и сложность

Ответ: A · Задача выполнимости булевых формул (SAT) NP-полна

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

Кук и Левин независимо показали, что любая задача из NP сводится к SAT за полиномиальное время, поэтому SAT стала первой известной NP-полной задачей.

Ответ

A · Задача выполнимости булевых формул (SAT) NP-полна
3.Структуры данных

Ответ: A · Сбалансированное двоичное дерево поиска

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

Сбалансированное BST даёт поиск за O(log n) и хранит ключи упорядоченными, поэтому симметричный обход и запросы по диапазону просты; хеш-таблица разбрасывает ключи.

Ответ

A · Сбалансированное двоичное дерево поиска
4.Структуры данных

Ответ: B · Эти биты могут принадлежать и другим элементам, что вызвало бы ложноотрицательные результаты

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

Обнуление общего бита сделало бы другой элемент якобы отсутствующим; считающие фильтры Блума (counting Bloom filters) хранят счётчики вместо битов, чтобы разрешить удаление.

Ответ

B · Эти биты могут принадлежать и другим элементам, что вызвало бы ложноотрицательные результаты
5.Теория графов

Ответ: k = 3

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

Рёбра остовного дерева

11 − 1 = 10

Рёбра для удаления

k = 13 − 10 = 3

Ответ

k = 3
6.Теория графов

Ответ: F

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

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

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

шаг 5

F

Ответ

F

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