1
Ứng cử viên tự nhiên cho hệ thống phân cấp trong NPI
Giả sử rằng . là lớp các vấn đề trong không có trong cũng như trong -hard. Bạn có thể tìm thấy một danh sách các vấn đề được phỏng đoán là tại đây .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPTôi\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPTôi\mathsf{NPI} Định lý của Ladner cho chúng ta biết rằng nếu thì có một …