Вопросы к экзамену

Вопросы к экзамену по курсу «Сложность алгоритмов» для гр. 418.

Лектор: В.Б. Алексеев, осень 2016 года.

В билете 2 вопроса – один из части А и один из части В.

Часть А – ответ без подготовки, но по любым материалам (конспекты, книжки и т.д.). Проверяется, насколько осознаны все доказательства (основной вопрос – «почему?»). Определения и формулировки утверждений – без конспектов.

1. Метод «разделяй и властвуй». Теорема о скорости роста функции, заданной рекуррентным неравенством.

2. Алгоритм Тоома для умножения чисел.

3. Алгоритм Штрассена для умножения матриц.

4. Алгоритмы обычного и булевского умножения матриц с битовыми операциями.

5. Сложность распознавания принадлежности функции, заданной векторно, классам, определяемым двухместными предикатами.

6. Сложность распознавания принадлежности булевой функции, заданной векторно, классу FmU(Rm).

7. Вычислимые функции, их нумерация. Теоремы о существовании трудно вычислимой общерекурсивной функции.

8. Теорема Барздиня о распознавании симметрии.

9. Теорема о совпадении классов регулярных языков и языков, распознаваемых автоматами.

10. Теорема о регулярности языка, распознаваемого со следом константной длины.

11. Теорема о регулярности языка, распознаваемого со слаборастущими длиной следа или временем.

12. Теорема Кука.

13. Теорема об NP-полноте языка 3 – ВЫПОЛНИМОСТЬ.

14. Теорема об NP-полноте языка ГАМИЛЬТОНОВ ЦИКЛ.

15. Жадный алгоритм для задачи о кратчайшем остовном дереве.

16. Задача коммивояжера, ее NP-трудность, теоремы о приближенных алгоритмах для нее.

17. Теорема о PSPACE-полноте задачи о квантифицированных булевских формулах.

18. Теорема об иерархии по памяти. Несовпадение классов DLOG и PSPACE.

Часть В – ответ без конспектов и почти без подготовки (с доказательствами).

1. Сложность алгоритма бинарного поиска в упорядоченном массиве.

2. Нижние оценки сложности поиска в упорядоченном массиве.

3. Нижняя оценка сложности сортировки. Сложность алгоритма сортировки вставкой.

4. Сложность алгоритма сортировки слиянием.

5. Алгоритм динамического программирования для задачи об оптимальном порядке умножения матриц.

6. Алгоритм динамического программирования для поиска кратчайших путей между всеми парами вершин в графе.

7. Алгоритм Карацубы для умножения чисел.

8. Алгоритм транзитивного замыкания графа.

9. Верхние оценки сложности распознавания принадлежности булевой функции, заданной векторно, предполным классам Поста T0, T1, S, L, M.

10. Леммы о максимальной длине и сумме длин различных слов.

11. Классы P и NP. Примеры языков из NP. Замкнутость класса P относительно полиномиального сведения.

12. Теоремы об NP-полноте языков КЛИКА, Независимое Множество Вершин, Вершинное Покрытие.

13. Полиномиальный алгоритм для построения эйлерова цикла.

14. Задача о минимальном вершинном покрытии, ее NP-трудность, жадный и 1-приближенный алгоритмы для нее.

15. Класс PSPACE. Соотношение между классами NP и PSPACE. Верхняя оценка времени работы для задач из PSPACE.

16. Теорема о принадлежности задачи о квантифицированных булевских формулах классу PSPACE.

17. Класс DLOG. Соотношение между классами DLOG и P.

https://studizba.com