1
NPI içindeki hiyerarşi için doğal adaylar
Diyelim varsayalım . N P ı sorunların sınıfıdır , N , P içinde ne olan P ne de buna N P -Sert. Sen olması conjectured sorunların bir listesini bulabilirsiniz N P ben burada .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Ladner teoremi eğer söyler sonra sonsuz bir hiyerarşi yoktur N P Ben sorunları, yani …