Пятница 05.06. Дмитрий Соколов (СПбГУ, ПОМИ): "Нижние оценки на систему AC_0-Frege"

[PDMI seminars]

Семинар по теории сложности вычислений

Тема: Нижние оценки на систему AC_0-Frege
Место: Zoom
Время: 05.06.2020, 16:00
Докладчик: Дмитрий Соколов (СПбГУ, ПОМИ)

Abstract:
В этом докладе мы обсудим детали доказательства нижней оценки на систему доказательств AC_0-Frege. Нашей основной целью будет разобраться в технических деталях switching леммы для паросочетаний из классической статьи Urquhart, Fu ``Simplified Lower Bounds for Propositional Proofs''.

[Alexander V. Smal]

Добрый день!

Данные для подключения к видео-конференции.

Время: 5 июня, 16:00 по Москве

Подключиться к конференции Zoom
https://us02web.zoom.us/j/81307263191?pwd=SDNQTFZ5RHo0YThQSlBtNTEwNGNqUT09

Идентификатор конференции: 813 0726 3191
Пароль: 367002

Саша

> --
> Вы получили это сообщение, поскольку подписаны на группу "spb-complexity".
> Чтобы отменить подписку на эту группу и больше не получать от нее сообщения, отправьте письмо на электронный адрес spb-complexit...@googlegroups.com.
> Чтобы посмотреть обсуждение на веб-странице, перейдите по ссылке https://groups.google.com/d/msgid/spb-complexity/000000000000dda51d05a740b7be%40google.com.



--
Alexander V. Smal
St. Petersburg Department of Steklov Mathematical Institute
27 Fontanka, St. Petersburg, 191023, Russia

[Alexander V. Smal]

Добрый день!

Видео доклада: https://www.youtube.com/watch?v=AkB1DZ7fzvE

и продолжение: https://www.youtube.com/watch?v=HWgX7kUHKDU

Саша