Скачать
The Tree Evaluation Problem: Context and Recent Results - Ian Mertz
Автор: Institute for Advanced Study
Загружено: 2024-01-29
Просмотров: 1970
Описание:
Computer Science/Discrete Mathematics Seminar I
Topic: The Tree Evaluation Problem: Context and Recent Results
Speaker: Ian Mertz
Affiliation: University of Warwick
Date: January 26, 2024
The Tree Evaluation Problem has emerged in the past decade as a leading candidate for separating logspace from polynomial time. In this talk we will introduce the problem, as well as the context behind its introduction and conjectured hardness. We then review recent lines of work challenging this conjecture, leading up to a recent result together with James Cook showing near-logspace algorithms for Tree Evaluation.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![[PEPM'25] Typed Program Analysis Without Encodings](https://ricktube.ru/thumbnail/aer5fH-OxeE/mqdefault.jpg)
