I kompleksitetsteori , et problem NP-through er et problem i NP , som hverken er NP-komplet eller i P . Klassen af NP-mellemliggende problemer er betegnet med NPI . Richard Emil Ladner demonstrerede i 1975, at under den antagelse, at P ≠ NP , NPI ikke er uberettiget, er dette Ladners sætning .