Là thời gian đa thức trong PSPACE?

Tôi đã thực hiện một số tìm kiếm về điều này nhưng tôi cũng không thể tìm thấy câu trả lời.

Huck trả lời đầy đủ. Cảm ơn :)

— Tayfun trả tiền
nguồn

Bạn có thể chuyển "bình luận bên trong câu hỏi" sang một bình luận thực tế không.

— Suresh Venkat

@Suresh, tôi không nghĩ có đủ chỗ cho nó không? Tôi không chắc.

— Tayfun Thanh toán

Có lẽ bạn có thể loại bỏ hoàn toàn phần "bình luận"? Tôi không nghĩ rằng nó là phù hợp.

— Jukka Suomela

Đặt bất cứ điều gì bạn có thể và loại bỏ phần còn lại. Và gửi bài này trong câu trả lời của Huck. Không phù hợp để chèn nhận xét trả lời bên trong câu hỏi ban đầu

— Suresh Venkat

Đây là một đối số đơn giản cho thấy rằng QP không được biết là có trong PSPACE:

$QP \subseteq PSPACE$ $P \subsetneq QP \subseteq PSPACE$

Điều này tách khỏi , không được biết là giữ, vì vậy cũng không được biết là giữ. $P$ $PSPACE$ $QP \subseteq PSPACE$

Thật vậy, chúng ta có , nhưng không tách hai lớp bằng THT (như đã nêu trong câu hỏi). $PSPACE \subseteq QP \Rightarrow PSPACE \subsetneq EXP$ $QP \nsubseteq PSPACE$

— Huck Bennett
nguồn