決定論的計算の二次非決定性高速化はもっともらしいですか？

非決定性（またはより一般的には交替）が、決定論的計算の一般的な2次の高速化を可能にすることはもっともらしいですか？またはのようなもののための任意の公知の信じ難い結果が存在する？ $\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)$

cc.complexity-theory nondeterminism speed-up alternation tradeoff

— カヴェ
ソース

私はよく分からないが、私は、我々が持っている、あなたの前の質問で使用していることと同様の引数で考える

は

はありません。実際

ではありません

ので、

が、私は、任意のよりよい下限を知りません。

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)$

— エルファンカニキ2016年

@Erfan、私の議論はそれがそうではないことを示していません、それはそれが可能性が低いことを示していません、それはそれが未知であり、

にとって難しいことを証明していることを示しているだけです。

ω (n \lg n)^{2}

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

— Kaveh

はい、そうです。それを証明することは困難であることが実際にこの引数が示す

。

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

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

— Erfan Khaniki、2016年

$\mathsf{DTime}(\tilde{O}(n^2)) \subseteq \mathsf{NTime}(n^{2-\epsilon})$ $\tilde{O}(n^2)$

— ジョー・ベベル
ソース