Diagram kelas kompleksitas menyatakan P ≠ NP . Adanya masalah di dalam NP tapi di luar keduanya P dan NP -lengkap, asumsi tersebut, didasarkan pada Teorema Ladner . [1]