Characterizing time computational complexity classes with polynomial differential equations
Riccardo Gozzi, Daniel S. Graça
Abstract
Riccardo Gozzi, Daniel S. Graça
Abstract
In this paper we show that several classes of languages from computational complexity theory, such as [Formula: see text], 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 the classes defining the Grzegorczyk hierarchy, which implies an analog characterization of the class of elementary computable functions and the class of primitive recursive functions.
OpenAlex reports 5 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
In this paper we show that several classes of languages from computational complexity theory, such as [Formula: see text], 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 the classes defining the Grzegorczyk hierarchy, which implies an analog characterization of the class of elementary computable functions and the class of primitive recursive functions.
Key concepts: Complexity class, PH, Structural complexity theory, EXPTIME, Hierarchy, Mathematics, Computational complexity theory, Characterization (materials science)