Ladner's theorem (1975): if $\mathbf{P} \neq \mathbf{NP}$, there are $\mathbf{NP}$-intermediate languages

Initializing...

Ladner's theorem (1975): if $\mathbf{P} \neq \mathbf{NP}$, there are $\mathbf{NP}$-intermediate languages · Prove2Me