A continuous characterization of PSPACE using polynomial ordinary differential equations

Bournez, Olivier; Gozzi, Riccardo; Graça, Daniel; Pouly, Amaury

http://hdl.handle.net/10400.1/19387

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
PSPACE.pdf		527.14 KB	Adobe PDF	Download

Send Feedback

Authors

Abstract(s)

In this paper we provide a characterization of the complexity class PSPACE by using a purely continuous model defined with polynomial ordinary differential equations.

Keywords

PSPACE Analog computation General Purpose Analog Computer Computational complexity Continuous models of computation Ordinary differential equations

URI

http://hdl.handle.net/10400.1/19387

Research Projects

Computability and complexity with real numbers

Research ProjectShow more

Instituto de Telecomunicações

Research ProjectShow more

Publisher

Elsevier

DOI

10.1016/j.jco.2023.101755

Collections

FCT2-Artigos (em revistas ou actas indexadas)

CC License

cclicense-by-nc-nd

Altmetrics

Full item page

A continuous characterization of PSPACE using polynomial ordinary differential equations

Authors

Advisor(s)

Abstract(s)

Description

Keywords

URI

Pedagogical Context

Citation

Research Projects

Organizational Units

Journal Issue

Publisher

DOI

Collections

CC License

Altmetrics