Là một nondeterminism bậc hai tăng tốc của tính toán xác định có hợp lý?

Đây là một cách tiếp theo để tăng tốc độ không xác định của tính toán xác định .

Có hợp lý không khi thuyết không điều kiện (hay nói chung là xen kẽ) sẽ cho phép tăng tốc bậc hai chung của tính toán xác định? Hoặc có bất kỳ hậu quả hợp lý nào được biết đến đối với một cái gì đó như không? $\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)$

— Kaveh
nguồn

Tôi không chắc nhưng tôi nghĩ bởi các đối số tương tự mà bạn đã sử dụng trong câu hỏi trước của bạn, chúng tôi có không có trong . Trên thực tế không có trong , bởi vì , nhưng tôi không biết giới hạn nào tốt hơ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, đối số của tôi không cho thấy điều đó không phải, nó cũng không cho thấy điều đó là không thể, nó chỉ cho thấy rằng việc chứng minh rằng điều đó là không xác định và khó khăn đối với .

ω (n \lg n)^{2}

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

— Kaveh

Vâng, bạn đúng. Trên thực tế, đối số này cho thấy rất khó để chứng minh .

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

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

— Erfan Khaniki

Lưu ý rằng ngay cả một kết quả dọc theo dòng sẽ vi phạm NSETH là nhận dạng đa thức thử nghiệm (như được định nghĩa trong phần 3.2) có thể được giải quyết trong thời gian , nhưng dường như không có một cách rõ ràng nào để sử dụng thuyết không xác định để giúp chứng minh danh tính. $\mathsf{DTime}(\tilde{O}(n^2)) \subseteq \mathsf{NTime}(n^{2-\epsilon})$ $\tilde{O}(n^2)$

— Joe Bebel
nguồn