| Что: | Лекция |
| Когда: | Вторник, 12 октября 2021, 18:30–19:50 |
| Где: | Конференция в zoom, Онлайн |
| Слайды: | computationalcomplexity_lecture_121021.pdf |
Модель вычислений с ограничениями по памяти. Классы DSpace, NSpace, L, NL, PSPACE, NPSPACE. Граф конфигураций. Теорема Савича. Полнота TQBF в PSPACE.
