Li te montre pa Ladner ke si P ≠ NP Lè sa a, gen pwoblèm ki egziste nan NP ki se ni nan P ni NP-konplè. Pwoblèm sa yo yo rele NP-entèmedyè pwoblèm. Pwoblèm nan isomorfism graf, pwoblèm nan logaritm diskre ak pwoblèm nan faktorize antye yo se egzanp nan pwoblèm kwè yo dwe NP-entèmedyè. Yo se kèk nan pwoblèm yo trè kèk NP pa li te ye yo dwe nan P oswa yo dwe NP-konplè. Kesyon: Ki sa ki pwoblèm sa yo rele?
Pwoblèm entèmedyè NP