1
Các vấn đề trong NP nhưng không phải ở mức trung bình-P / poly
Theo Karp, Lipton Theoem nói rằng nếu , thì sụp đổ thành . Do đó, giả sử khoảng cách giữa và , không có vấn đề nào về sẽ thuộc về .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Tôi quan tâm đến câu hỏi sau đây: Giả sử rằng không sụp đổ hoặc giả …