Теория алгоритмов 2MIT весна 2018 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
(Лекции)
(Практика Близнец)
Строка 35: Строка 35:
 
*[[Медиа:AlgTh-home-6-hints-fixed.pdf|20 марта, "Класс NL(ДЗ+подсказки)."]]
 
*[[Медиа:AlgTh-home-6-hints-fixed.pdf|20 марта, "Класс NL(ДЗ+подсказки)."]]
 
*[[Медиа:AlgTh-class-7.pdf|27 марта, "Полиномиальная иерархия."]]
 
*[[Медиа:AlgTh-class-7.pdf|27 марта, "Полиномиальная иерархия."]]
 +
*[[Медиа:AlgTh-home-7.pdf|27 марта, "Полиномиальная иерархия (ДЗ)."]]
  
 
== Практика Глинских ==
 
== Практика Глинских ==

Версия 22:34, 1 апреля 2018

Преподаватель: Близнец Иван Анатольевич (iabliznets@gmail.com)

Лекции

  • 13 февраля. Машина Тьюринга.
  • 20 февраля. Универсальная машина Тьюринга. Класс NP.
  • 27 февраля. NP-полнота SAT. Иерархия по времени. Теорема Ладнера.
  • 06 марта. Машины с оракульным доступом. Построение языка B, такого что . Сложность по памяти.
  • 13 марта. TQBF является PSPACE-полным. Теорема Савича. Задача обощенной географии является PSPACE-полной.
  • 20 марта. NL-полный язык. Определение класса NL помощью сертификата. NL=coNL.
  • 27 марта. Полиномиальная иерархия. .


Литература

  • Sanjeev Arora and Boaz Barak, Computational Complexity: A Modern Approach. скачать

http://theory.cs.princeton.edu/complexity/

Практика Близнец

Преподаватель: Близнец Иван Анатольевич

Результаты проверки ДЗ: смотреть

Практика Глинских

Преподаватель: Глинских Людмила (email: lglinskih at gmail dot com)

Табличка

Домашнее задание к практике 1

Домашнее задание к практике 2

Домашнее задание к практике 3

Домашнее задание к практике 4

Домашнее задание к практике 5

Домашнее задание к практике 6