史提芬·古克 编辑
史蒂芬·亚瑟·库克
3
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
在计算复杂度理论内，一个极度重要的成就是史提芬·古克在1971年证明出了第一个NP-完全问题— 布尔可满足性问题。在1972年，理查德·卡普将这个想法往前推进，发表了他著名的论文"Reducibility Among Combinatorial Problems"，其内证明了21个不同的，均因为其难解而恶名昭彰的组合数学与图论问题，是NP-完全问题。
在计算复杂度理论内，一个极度重要的成就是史提芬·古克在1971年证明出了第一个NP-完全问题— 布尔可满足性问题。在1972年，理查德·卡普将这个想法往前推进，发表了他著名的论文"Reducibility Among Combinatorial Problems"，其内证明了21个不同的，均因为其难解而恶名昭彰的组合数学与图论问题，是NP-完全问题。
在计算复杂度理论，NC，是一个复杂度类，是能被并行计算在多对数函数时间内以多项式空间下解决的判定问题的集合，最先由史提芬·古克提出。
在计算复杂度理论内，一个极度重要的成就是史提芬·古克在1971年证明出了第一个NP-完全问题— 布尔可满足性问题。在1972年，理查德·卡普将这个想法往前推进，发表了他著名的论文"Reducibility Among Combinatorial Problems"，其内证明了21个不同的，均因为其难解而恶名昭彰的组合数学与图论问题，是NP-完全问题。