Characterizing time computational complexity classes with polynomial differential equations

In this paper we show that several classes of languages from computational complexity theory, such as EXPTIME, can be characterized in a continuous manner by using only polynomial differential equations. This characterization applies not only to languages, but also to classes of functions, such as t...

ver descrição completa

Detalhes bibliográficos
Autor principal: Gozzi, Riccardo (author)
Outros Autores: Graça, Daniel (author)
Formato: article
Idioma:eng
Publicado em: 2022
Texto completo:http://hdl.handle.net/10400.1/18413
País:Portugal
Oai:oai:sapientia.ualg.pt:10400.1/18413