A transfer method from bounded existential Diophantine equations to Tarski algebra formulas

We identify a transfer method from bounded existentially quantified Diophantine equations to formulas of Tarski algebra, the first order theory of the real field. The method is applied to show that NP is contained in ⋃n=1∞Dtime(2a⋅logO(1)n), where a depends only on the given Diophantine equation....

Full description

Saved in:

Bibliographic Details
Published in:	Theoretical computer science Vol. 708; pp. 91 - 95
Main Author:	Litow, B.
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 17.01.2018
Subjects:	Bounded existential Diophantine equations Size bounded quadratic residue problem Subexponential time algorithms Tarski algebra Subexponential time algorithms Size bounded quadratic residue problem Bounded existential Diophantine equations Tarski algebra
ISSN:	0304-3975, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	We identify a transfer method from bounded existentially quantified Diophantine equations to formulas of Tarski algebra, the first order theory of the real field. The method is applied to show that NP is contained in ⋃n=1∞Dtime(2a⋅logO(1)n), where a depends only on the given Diophantine equation.
ISSN:	0304-3975 1879-2294
DOI:	10.1016/j.tcs.2017.10.013