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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science Jg. 708; S. 91 - 95
1. Verfasser: Litow, B.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 17.01.2018
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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