NP 完全性

定义 语言 $B$ 被称为 NP 完全的, 若它满足

• $B\in NP$;
• $\forall A\in NP,A{\le }_{P}B$.

$\forall A\in NP,A{\le }_{P}SAT$.