P
Initializing...
$\mathbf{P} = \mathbf{NP}$ if and only if $\mathrm{SAT} \in \mathbf{P}$ · Prove2Me