Teorema de Mahaney nos dice que si hay una escasa conjunto -Complete bajo en tiempo polinomial muchos uno-reducciones, entonces P = N P . (Ver " Conjuntos completos escasos para NP: Solución de una conjetura de Berman y Hartmanis ")
¿Existen consecuencias conocidas de la existencia de conjuntos completos dispersos para otras clases de complejidad? En particular, si hay un conjunto completo de escaso bajo reducciones de espacio de registro de muchos, ¿eso implica P = L ?