Пятница 08.05. Артур Рязанов (ПОМИ РАН): "Критерий Юкны для доказательства нижних оценок на монотонные вещественные схемы"

2 views
Skip to first unread message

PDMI seminars

unread,
May 10, 2020, 2:38:49 PM5/10/20
to spb-com...@googlegroups.com
Семинар по теории сложности вычислений

Тема: Критерий Юкны для доказательства нижних оценок на монотонные вещественные схемы
Место: Zoom
Время: 08.05.2020, 18:10
Докладчик: Артур Рязанов (ПОМИ РАН)

Abstract:
В докладе мы рассмотрим критерий Стасиса Юкны для оценки сложности вычисления булевых функций монотонными вещественнымт схемами. Монотонная вещественная схема отличается от булевой тем, что в каждый гейт помечен монотонной функцией от двух вещественных переменных. Критерий Юкны связывает монотонную сложность булевой функции с её простыми комбинаторными свойствами.

У доклада планируется продолжение, в котором мы обсудим применение критерия Юкны для получения нижних оценок на сложность доказательств в системе Cutting Plane.

Номер конференции Zoom и пароль будут отправлены на рассылку семинара за несколько часов до доклада.

Dmitry M. Itsykson

unread,
May 10, 2020, 2:41:32 PM5/10/20
to spb-com...@googlegroups.com
В предыдущем объявлении ошибка, семинар состоится 15-го мая в 18-10.

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

Dmitry M. Itsykson

unread,
May 15, 2020, 4:09:05 AM5/15/20
to spb-com...@googlegroups.com
Сегодняшний доклад состоится в 18-10 в  Zoom, подключиться к нему можно по ссылке

https://us02web.zoom.us/j/89481526635?pwd=ajNCcGVjN3NWYTVhckwvUzhvc1FNQT09

Идентификатор конференции: 894 8152 6635
Пароль: 362175

вс, 10 мая 2020 г. в 21:41, Dmitry M. Itsykson <dmit...@pdmi.ras.ru>:

Alexander V. Smal

unread,
May 18, 2020, 2:45:11 PM5/18/20
to spb-com...@googlegroups.com
Добрый вечер!

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

Саша
> Чтобы посмотреть обсуждение на веб-странице, перейдите по ссылке https://groups.google.com/d/msgid/spb-complexity/CAMEOFDtE3KLaEwBHthJr9eaF1gC7Qhr64Fxf9CSUcxuhvVVWZQ%40mail.gmail.com.



--
Alexander V. Smal
St. Petersburg Department of Steklov Mathematical Institute
27 Fontanka, St. Petersburg, 191023, Russia
Reply all
Reply to author
Forward
0 new messages