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ženo v:
Podrobná bibliografie
Vydáno v:Theoretical computer science Ročník 708; s. 91 - 95
Hlavní autor: Litow, B.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 17.01.2018
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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