Статья
Теория сложности: классы P, NP, PSPACE, редукции и полнота
Что значит «эффективно вычислимо»: классы P, NP, co-NP, L, NL, PSPACE, сведения по Карпу, теорема Кука–Левина, теоремы иерархии, барьеры доказательств — и практический …