• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Мероприятия

Семинар МЛ ТИ: А.Б. Скопенков "Алгоритмическая нераспознаваемость вложимости гиперграфов в евклидово пространство для коразмерности более 1."

Мероприятие завершено

4 марта на семинаре лаборатории теоретической информатики состоится доклад Аркадия Борисовича Скопенкова "Алгоритмическая нераспознаваемость вложимости гиперграфов в евклидово пространство для коразмерности более 1."

 Аннотация:


Для коразмерностей 1 и 0 указанная в названии нераспознаваемость  несложно вытекает из теоремы Новикова о нераспознаваемости N-мерной сферы для N>4 (это показали Matousek, Tancer, WagnerarXiv:0807.0336 [cs.CG]).

Я расскажу о соответствующем результате для коразмерности 2 и более, который  анонсирован в 2019 (Filakovsky, Wagner, Zhechev). Его красивое доказательство использует алгоритмическую нераспознаваемость продолжаемости отображений (CadekKrcalMatousekVokrinekWagnerarXiv:1302.2370 [cs.CG]). Я расскажу и о выводе последней нераспознаваемости из нераспознаваемости разрешимости диофантовых уравнений. 

Ссылка на слайды доклада: https://www.mccme.ru/circles/oim/undec.pdf

Доклад рассчитан на неспециалиста (в частности, студента). 

Семинар пройдет с 18:10 до 19:30 в аудитории D109, Покровский бульвар, 11.
Заказ пропуска: dchernyshova@hse.ru