Na teoria da complexidade , um problema NP-through é um problema em NP , que não é nem NP-completos nem em P . A classe de problemas intermediários NP é denotada por NPI . Richard Emil Ladner demonstrou em 1975 que, sob a suposição de que P ≠ NP , NPI não é vazio, esse é o teorema de Ladner .