Ist eine quadratische Nichtdeterminismus-Beschleunigung der deterministischen Berechnung plausibel?

Dies ist eine Folge der nicht deterministischen Beschleunigung der deterministischen Berechnung .

Ist es plausibel, dass Nichtdeterminismus (oder allgemeiner Wechsel) eine allgemeine quadratische Beschleunigung der deterministischen Berechnung ermöglichen würde? Oder gibt es bekannte unplausible Konsequenzen für etwas wie ? $\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)$

cc.complexity-theory nondeterminism speed-up alternation tradeoff Kaveh
quelle

Ich bin mir nicht sicher, aber ich denke, durch ähnliche Argumente, die Sie in Ihrer vorherigen Frage verwendet haben, haben wir

ist nicht in

. Tatsächlich ist

nicht in

, weil

, aber ich kenne keine besseren Untergrenzen.

T M S A T = {< a, x, 1^{n}, 1^{t} >: \exists u \in {0, 1}^{n} s . t . M_{a} o u t p u t s 1 o n i n p u t < x, u > w i t h i n t s t e p s}

$\mathsf{TMSAT}=\{<a,x,1^n,1^t>:\exists u\in \{0,1\}^n\: s.t. \: M_a\: outputs\:1\: on\: input\: <x,u> \: within \: t \: steps \}$

D T I M E (n^{2} / \lg n)

$\mathsf{DTIME}(n^2/\lg{n})$

T M S A T

$\mathsf{TMSAT}$

D T I M E (n)

$\mathsf{DTIME}(n)$

N T I M E (n) \neq D T I M E (n)

$\mathsf{NTIME}(n)\neq\mathsf{DTIME}(n)$

Erfan Khaniki

@Erfan, mein Argument zeigt nicht, dass es nicht ist, es zeigt auch nicht, dass es unwahrscheinlich ist, es zeigt nur, dass der Beweis, dass es unbekannt und schwierig für

ω (n \lg n)^{2}

$\omega(n\lg n)^2$

Kaveh

Ja, du hast recht. Tatsächlich zeigt dieses Argument, dass es schwierig ist,

zu beweisen .

D T I M E (n^{2}) \subseteq N T I M E (n)

$\mathsf{DTIME}(n^2)\subseteq \mathsf{NTIME}(n)$

Erfan Khaniki

Ist eine quadratische Nichtdeterminismus-Beschleunigung der deterministischen Berechnung plausibel?

Antworten: