În teoria complexității , o problemă NP-through este o problemă în NP , care nu este nici NP-completă , nici în P . Clasa problemelor intermediare NP este notată cu NPI . Richard Emil Ladner a demonstrat în 1975 că, în ipoteza că P ≠ NP , NPI nu este gol, aceasta este teorema lui Ladner .