이차 비결정론이 결정 론적 계산의 속도를 올릴 수 있습니까?

이것은 결정 론적 계산의 비결정론 적 속도 향상에 대한 후속 조치 입니다.

비결정론 (또는보다 일반적으로 대체)이 결정 론적 계산의 일반적인 2 차 속도를 허용 할 가능성이 있는가? 또는 과 같은 알려진 결과가 있습니까? $\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)$

— 카베
소스

확실하지는 않지만 이전 질문에서 사용한 것과 비슷한 주장으로

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, 내 주장은 그것이 아니라는 것을 보여주지 않으며, 그것이 가능성이 없다는 것을 보여주지 않으며

대해 그것이 알려지지 않고 어렵다는 것을 증명합니다 .

ω (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

참고 라인을 따라 짝수 결과 것이다 NSETH 위배 변량 다항식 ID로 (3.2 장에 정의 된) 테스트는 시간 내에 결정 론적 으로 해결 될 수 있지만, 비결정론을 사용하여 아이덴티티를 증명하는 확실한 방법은없는 것 같습니다. $\mathsf{DTime}(\tilde{O}(n^2)) \subseteq \mathsf{NTime}(n^{2-\epsilon})$ $\tilde{O}(n^2)$

— 조 베벨
소스