2018级统招研究生《计算理论》考试卷（开卷）

试题一、解释下列名称术语（12分）

1．图灵机                              2．可计算函数

3．对数空间转换器                      4．多项式时间归约

5．验证机                              6．NP完全性

试题二、判断正误。判断下列说法哪些是正确的？哪些是错误的？（每小题1分，共5分）

1．双向无穷带图灵机的计算能力比单向无穷带图灵机强。

2．验证机在进行验证时需要证书。

3．NP完全问题一定是PSPACE完全问题。

4．A归约到B，若归约过程是简单的，则解A不会比解B难。

5．如果在空间复杂度为f(n)内判定一个语言，那么其时间复杂度最多是。

试题三、简答题