P

Initializing...

Cook's classes $\mathbf{P}$, $\mathbf{NP}$, $\mathbf{E}$, p-reducibility, $\mathbf{NP}$-completeness, and the languages SAT and 3-SAT over $\{0,1\}$ · Prove2Me