City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Доказательство PCP теоремы (окончание)
Probabilistically checkable proofs

What: Lecture
When: Sunday, 28 October 2012, 13:00–14:35
Where: ПОМИ РАН

Description

Повышение зазора: анализ основной конструкции.