Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection






Adian 90: Conference on Mathematical Logic, Algebra, and Computation
July 8, 2021 12:45–13:30, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in 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
Video records:
MP4 250.4 Mb

Number of views:
This page:108
Video files:17



Abstract: 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.

Language: English
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024