Viitataan alla olevaan kohtaan ja vastataan kysymykseen sen jälkeen samalla kielellä kuin kohtaa:  Läpäys: Ladner osoitti, että jos P ≠ NP, niin NP:ssä on ongelmia, jotka eivät ole P:ssä eivätkä NP-täydellisessä. Tällaisia ongelmia kutsutaan NP-välillisiin ongelmiin. Graafisen isomorfisuuden ongelma, diskreettilogaritmiongelma ja kokonaislukujen faktorisointiongelma ovat esimerkkejä ongelmista, joiden uskotaan olevan NP-välittäviä. Ne ovat joitakin harvoista NP-ongelmista, joiden ei tiedetä olevan P:ssä tai NP-täydellisiä.  Kysymys: Miksi näitä ongelmia kutsutaan?
NP-välilliset ongelmat