Cualquiera de un conjunto de problemas computacionales con los mismos límites (Θ(n)) en tiempo y espacio, para máquinas deterministas y no deterministas.