Vt allpool toodud lõik ja vasta sellele küsimusele hiljem sama keeles kui lõik:  Läbipääs: Ladner näitas, et kui P ≠ NP, siis NP-s on probleeme, mis ei ole P ega NP-täielikud. Selliseid probleeme nimetatakse NP-keskmisedeks probleemideks. Graafide isomorfismide probleem, diskreetne logaritmi probleem ja täisarvude faktoriseerimise probleem on näited probleemidest, mis arvatakse olevat NP-keskmised. Need on mõned väga vähestest NP-probleemidest, mis ei ole teadaolevalt P-s või NP-täielikud.  Küsimus: Kuidas neid probleeme nimetatakse?
NP-vahepealsed probleemid