Ladner osoitti, että jos P ≠ NP, niin NP:ssä on ongelmia, jotka eivät ole P:ssä eivätkä NP-täydellisissä. Tällaisia ongelmia kutsutaan NP-välillisiksi ongelmiin. Graafisen isomorfisuuden ongelma, diskreettilogaritmiongelma ja kokonaislukujen tekijänoikeusongelma ovat esimerkkejä ongelmista, joiden uskotaan olevan NP-välillisiä. Ne ovat joitakin hyvin harvoista NP-ongelmista, joita ei tiedetä olevan P:ssä tai NP-täydellisissä. Kysymys: Mitä näitä ongelmia kutsutaan?
NP-välilliset ongelmat