У нас вы можете посмотреть бесплатно Ирина Агаджанян//Название: PSPACE-полнота некоторых задач или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
НИС "Современные проблемы математической логики" в ВШЭ Дата и время: 25.02.2022 в 16:20 Докладчик: Ирина Агаджанян Название: PSPACE-полнота некоторых задач Аннотация: В докладе будут обсуждаться понятия PSPACE-полноты и сложности. Будет приведена игровая интерпретация задач и ее связь с PSPACE-полнотой. Будут доказаны теоремы о PSPACE-полноте языка TQBF и о PSPACE-сложности логики между K и KTB.