任何NP语言都多项式时间归约到cnf-SAT 证明思路 - edX Studio

展开查看详情