RUS  ENG
Полная версия
ВИДЕОТЕКА

Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation"
8 июля 2021 г. 12:45, Математический институт им.В.А.Стеклова РАН (г. Москва) и 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



Аннотация: 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