Научный семинар лаборатории ЛАТАС "Логика рекурсивных моделей случайного графа"

Очередное заседание научного семинара лаборатории ЛАТАС состоится в среду, 22 января,  в 16:00, ауд. 401, корпус ВШЭ на ул. Родионова 136.

Докладчик: Максим Жуковский (МФТИ)

Тема: Логика рекурсивных моделей случайного графа

Пятьдесят лет назад было доказано, что случайный граф подчиняется закону нуля или единицы для формул первого порядка. Иными словами, для любой формулы первого порядка доля графов, для которых она истинна, стремится либо к 0, либо к 1. Этот факт обосновывает "тривиальность" проверки истинности формулы первого порядка для графа, выбранного "наугад". Но, как известно, реальные графы отличаются от подобных. В связи с этим возникает вопрос, а верен ли подобный результат для случайных моделей реальных сетей? В докладе речь пойдет о логических законах для рекурсивных моделей реальных сетей.

Язык семинара: русский

Приглашаются все желающие!