Có bất kỳ vấn đề nào trong lớp EXP phức tạp không có trong NP không?

Tôi không thể hình dung bất kỳ vấn đề nào có thể được giải quyết trong thời gian theo cấp số nhân, nhưng không thể được kiểm tra trong thời gian đa thức.

Trước hết, chúng tôi không biết liệu hay không. Vì vậy, câu trả lời ban đầu là "đó là một câu hỏi mở".$NP=EXP$

Tuy nhiên, chúng tôi tin tưởng mạnh mẽ (và có bằng chứng hỗ trợ) rằng . Trên thực tế, chúng tôi tin rằng và (nghĩa là có một ngăn chặn nghiêm ngặt ).$NP\neq EXP$$NP\neq PSPACE$$PSPACE\neq EXP$$NP\subsetneq PSPACE \subsetneq EXP$

Vì bạn đang xem xét các vấn đề không thể (theo hiểu biết của chúng tôi) được xác minh trong thời gian đa thức, bạn có thể bắt đầu với bất kỳ vấn đề hoàn chỉnh PSPACE nào. Ví dụ: TQBF hoặc . Nếu bạn muốn các vấn đề hoàn thành EXP, có các ví dụ ở đây .$ALL_{NFA}$