P
Initializing...
Time hierarchy (Hartmanis–Stearns 1965): $\mathbf{P} \neq \mathbf{E}$ · Prove2Me