申请试用
HOT
登录
注册
 
任何NP语言都多项式时间归约到cnf-SAT 证明思路 - edX Studio
4 点赞
1 收藏
2下载
Alex2
/
发布于
/
1944
人观看
子集和. 《理论计算机科学基础》. 3. 第9章 空间复杂性(下). PSPACE完全性. 全带量词布尔公式 .... 有边相连(Kk子图). CLIQUE = { | 无向图G有k-团}. 《理论计算机 ...
展开查看详情
4 点赞
1 收藏
2下载