Что: | Лекция |
Когда: | Воскресенье, 23 сентября 2018, 13:00–14:30 |
Где: | ПОМИ РАН |
Теория Голдберга-Пападимитриу: в поисках общего подхода к TFNP. Класс PTFNP доказуемо тотальных задач и полнота в нём задачи о поиске ошибки в доказательстве 2x2=5. Связь с другими известными классами.