Một vấn đề trong PSPACE nhưng không được biết là ở PH?

Như chúng ta đã biết Đồ thị đẳng hình trong NP nhưng nó không được biết là NP-Complete hoặc P-Complete. Tôi đã tự hỏi nếu có bất kỳ vấn đề nào được biết là trong PSPACE nhưng không được biết là PSPACE-Complete và không nằm trong PH?

Các lý thuyết hiện sinh của tập số thực được biết đến được chứa trong pspace, nhưng nó không được biết đến cho dù nó được chứa trong PH. Vì vậy, lấy lý thuyết hiện sinh của thực tế, hoặc bất kỳ vấn đề tương đương.

Bất kỳ vấn đề nào của PP -complete là không đáng kể trong PSPACE, nhưng tất nhiên không được biết là hoàn thành PSPACE. Chúng tôi cũng không biết liệu PP có được chứa trong PH hay không, mặc dù theo định lý của Toda rằng PH được chứa trong P PP . Tôi tin điều tương tự cũng áp dụng cho các vấn đề #P -complete .$^\text{PP}$

Sao chép bình luận của tôi:

Nếu bạn muốn hỏi một vấn đề tương tự như GI, thì có lẽ bạn đang yêu cầu một vấn đề không thuộc PH và không hoàn thành PSPACE. Các vấn đề hoàn thành đối với bất kỳ lớp nào không được biết là có trong PH, nhưng có trong PSPACE, sẽ hoạt động như một ví dụ. Vì vậy, có bất kỳ vấn đề hoàn thành cho BQP, QMA, PP, vv

Bất kỳ vấn đề nào là MP-Complete, Lớp các vấn đề quyết định như vậy đối với một số hàm #P f, câu trả lời trên đầu vào x là 'có' khi và chỉ khi bit giữa của f (x) là 1. [Định nghĩa là từ Sở thú phức tạp].
Nó đã được chỉ ra rằng PH ⊆ MP PSPACE.

Vấn đề ParitySat là kiểm tra xem một bài toán SAT có số lượng bài tập thỏa đáng hay không. PH có thể giảm xuống ParitySAT thông qua việc giảm ngẫu nhiên theo công việc của Toda. Đây là một vấn đề quyết định rõ ràng nghiêm ngặt giữa PH và PSACE trừ khi PH sụp đổ.