Теория алгоритмов 2MIT весна 2018 — различия между версиями
Материал из SEWiki
Bliznets (обсуждение | вклад) (→Лекции) |
Bliznets (обсуждение | вклад) (→Практика Близнец) |
||
| Строка 30: | Строка 30: | ||
*[[Медиа:AlgTh-class-5-fixed.pdf|13 марта, "PSPACE."]] | *[[Медиа:AlgTh-class-5-fixed.pdf|13 марта, "PSPACE."]] | ||
*[[Медиа:AlgTh-home-5-fixed.pdf|13 марта, "PSPACE(ДЗ)."]] | *[[Медиа:AlgTh-home-5-fixed.pdf|13 марта, "PSPACE(ДЗ)."]] | ||
| + | *[[Медиа:AlgTh-class-6.pdf|20 марта, "Класс NL."]] | ||
== Практика Глинских == | == Практика Глинских == | ||
Версия 00:10, 21 марта 2018
Преподаватель: Близнец Иван Анатольевич (iabliznets@gmail.com)
Лекции
- 13 февраля. Машина Тьюринга.
- 20 февраля. Универсальная машина Тьюринга. Класс NP.
- 27 февраля. NP-полнота SAT. Иерархия по времени. Теорема Ладнера.
- 06 марта. Машины с оракульным доступом. Построение языка B, такого что . Сложность по памяти.
- 13 марта. TQBF является PSPACE-полным. Теорема Савича. Задача обощенной географии является PSPACE-полной.
- 20 марта. NL-полный язык. Определение класса NL помощью сертификата. NL=coNL.
Литература
- Sanjeev Arora and Boaz Barak, Computational Complexity: A Modern Approach. скачать
http://theory.cs.princeton.edu/complexity/
Практика Близнец
Преподаватель: Близнец Иван Анатольевич
Результаты проверки ДЗ: смотреть
- 15 февраля, "Машина Тьюринга."
- 15 февраля, "Машина Тьюринга(ДЗ)."
- 20 февраля, "Класс NP."
- 20 февраля, "Класс NP(ДЗ)."
- 27 февраля, "Классы NP, coNP, иерархия по времени."
- 27 февраля, "Классы NP, coNP, иерархия по времени(ДЗ)."
- 06 марта, "Оракульные машины и PSPACE(ДЗ)."
- 13 марта, "PSPACE."
- 13 марта, "PSPACE(ДЗ)."
- 20 марта, "Класс NL."
Практика Глинских
Преподаватель: Глинских Людмила (email: lglinskih at gmail dot com)
