Teorema de Mahaney nos diz que se há uma escassa conjunto -completo sob de tempo polinomial muitos one-reduções, então P = N P . (Veja " Conjuntos completos esparsos para NP: solução de uma conjectura de Berman e Hartmanis ")
Existem consequências conhecidas da existência de conjuntos completos esparsos para outras classes de complexidade? Em particular, se houver um conjunto incompleto de esparso no espaço de registro, muitas reduções de uma, isso implica P = L ?
fonte