Пятница, 5 июня, Zoom. Начало в 16:00.
Докладчик: Дмитрий Соколов (СПбГУ, ПОМИ).
Тема: Нижние оценки на систему AC_0-Frege.
Abstract
В этом докладе мы обсудим детали доказательства нижней оценки на систему доказательств
![$ AC_0 $](../../../sites/default/files/tex/0613254c2d89db740880db46e2bf7bc30759562a/index.png)
-Frege. Нашей основной целью будет разобраться в технических деталях switching леммы для паросочетаний из классической статьи Urquhart, Fu "Simplified Lower Bounds for Propositional Proofs".
Видео доклада:
часть 1,
часть 2.