Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation"
8 июля 2021 г. 12:45–13:30, Математический институт им.В.А.Стеклова РАН (г. Москва) и online-трансляция через Zoom
 


Complexity of structures

P. E. Alaevab, V. L. Selivanovc

a Sobolev Institute of Mathematics
b Novosibirsk State University
c Ershov Istitute of Informatics Systems SB RAS
Видеозаписи:
MP4 250.4 Mb

Количество просмотров:
Эта страница:141
Видеофайлы:17



Аннотация: We consider notions and techniques needed for the development of the computable structure theory with bounded resourses. We are mainly interested in polynomial-time computable and primitive recursive structures. We analyze presentation complexity of some important concrete structures, in particular, number fields and finitely generated structures. We show that some problems in this area turns out to depend on complexity-theoretic conjectures like P=NP.

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024