请整理出算法导论第三版的NP完全性证明章节高频英文词汇以及对应的翻译。

1. polynomial-time algorithm 多项式时间算法
2. decision problem 决策问题
3. nondeterministic algorithm 非确定性算法
4. nondeterministic polynomial time (NP) 非确定性多项式时间
5. polynomial-time reduction 多项式时间归约
6. Cook-Levin theorem Cook-Levin定理
7. Boolean satisfiability problem 布尔可满足性问题
8. circuit value problem 电路值问题
9. polynomial hierarchy 多项式层次结构
10. PSPACE P空间
11. Karp’s 21 problems Karp的21个问题
12. NP-complete 非确定性多项式时间完全
13. Cook’s theorem Cook定理
14. certificate 证明
15. verifier 验证器
16. nondeterministic Turing machine 非确定性图灵机
17. reduction 归约
18. polynomial-time many-one reduction 多项式时间的一对多归约
19. approximation algorithm 近似算法

相关问题

请整理出算法导论第三版的高频词汇。

以下是算法导论第三版中出现频率较高的词汇：

1. 算法
2. 数据结构
3. 时间复杂度
4. 空间复杂度
5. 分治策略
6. 动态规划
7. 贪心算法
8. 排序算法
9. 搜索算法
10. 图形算法
11. 字符串算法
12. 线性规划
13. NP完全性
14. 随机算法
15. 概率算法
16. 计算几何
17. 算法分析
18. 算法设计
19. 算法优化
20. 递归算法
21. 迭代算法
22. 并行算法
23. 分布式算法
24. 算法实现
25. 数据库算法
26. 算法应用