Формальные языки и сложность вычислений. Лекция 10. Теорема Кука-Левина

Дата лекции: 08.11.24 Лектор: Зухба Анастасия Викторовна Оператор: Дмитрий Достовалов Редактор: Илья Оплачкин 00:00:00 - Повторение 00:10:20 - Теорема Кука-Левина 00:54:20 - Сводимость 3-COL 01:02:50 - Языки графов Сайт ВШПИ: https://hsse.mipt.ru