3
P / poly에 NPI가 포함되어 있습니까?
이는 추측된다 반대의 의미는 것이기 때문에 \ mathsf {PH를} = \ Sigma_2 . Ladner의 정리는 \ mathsf {P} \ ne \ mathsf {NP} 이면 \ mathsf {NPI} : = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset . 그러나 증명은 \ …