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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Theoretical computer science Ročník 708; s. 91 - 95
Hlavný autor:	Litow, B.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 17.01.2018
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Popis
Shrnutí:	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