Сложность вычислений 10. Теорема Иммермана-Селепченьи. Схемная сложность

Таймкоды: 00:00:00 - Организационная информация 00:01:04 - Теорема Иммермана-Селепченьи 00:07:10 - Сертификатное определение NL 00:16:50 - Сертификат недостежимости 00:42:11 - Вайбово стирает с доски 00:42:47 - Задача 2SAT 00:57:15 - Доска сохнет 00:58:43 - Схемная сложность 01:04:50 - Схема для XOR 01:07:55 - 3 определения схем 01:19:08 - Клиффхенгер Дата лекции: 12.11.2025 Лектор: Мусатов Даниил Владимирович Оператор: Козырь Екатерина Монтажёр: Крещик Владимир Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbboj4ZMEucHSR5p9ysMODF Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_156