计算理论2023（秋）期末HIT回忆

 另一篇关于22年的期末

让我没那么害怕考试o>_<o

上课好好一定要好好听课啊

首先这个考试对应32学时的计算理论

不同学校不同专业考的范围学的内容都不一样

然后不一定记得很清考了啥（下面的题描述不一定完全准确），知道题型就行，有个复习方向

一.图灵机定义15’

1.图灵机形式化定义，各个符号含义

2.ID定义，什么时候发生一次转移

3.非确定图灵机转移函数是什么，与确定图灵机有什么不同

二.图灵机设计15’

（都是确定图灵机）

1.设计识别0n1n2n，n1

2.设计识别wwR，wR是逆序

3.设计识别字符串0，1数量相等，并写出识别0100110的转移过程

三.问答题25’

1.NP完全问题定义，举一例

2.可判定问题是什么，为什么计算理论要研究它

3.递归问题与递归可枚举问题区别

4.什么是不可判定问题，如何用规约证明不可判定问题

5.NP完全问题没有多项式时间算法，是否正确请说明

四.证明题15’

1.L和L’是递归问题，证明（LL’）-（LL’）是递归问题

2.证明团问题

3.A是NP问题，假设A有多项式时间算法，证明NP=P

（感觉这道记得不太对）

五.综合题30’（记不太清了，题干很长，简单看看就好，现“发挥就好”）

1.能否设计算法实现判断“hello world”程序正确性，把程序限制在1000字节，是否可以设计算法

2.（1）图缩边问题GC问题（由G缩到H）是NP问题证明

（2）如果将H只有两顶点，证明可以多项式时间完成