NP 完全 NP-Complete

定义：既属于 NP，又能让 NP 中所有问题多项式归约到它；任一 NP 完全问题有多项式算法则 P = NP。

出处：P、NP 与归约。