1
È
Possiamo provare che per ogni lingua che non è N P -hard (questo presuppone P ≠ N P ), P L ≠ P SAT ? In alternativa, questo può essere dimostrato con ipotesi ragionevoli?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}