申请试用
HOT
登录
注册
 
任何NP语言都多项式时间归约到cnf-SAT 证明思路 - edX Studio

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

Alex2
/
发布于
/
2382
人观看
子集和. 《理论计算机科学基础》. 3. 第9章 空间复杂性(下). PSPACE完全性. 全带量词布尔公式 .... 有边相连(Kk子图). CLIQUE = { | 无向图G有k-团}. 《理论计算机 ...
4点赞
1收藏
2下载
确认
3秒后跳转登录页面
去登陆