可计算复杂.doc

可计算性与计算复杂性论文 院 系： 专 业： 学 号： 姓 名： 指导教师： 日 期： 可计算复杂性总结 在实际生活应用中，与人们直接接触的都是经过研制成型的产品，例如：操作系统软件、搜索引擎工具等。对于大多数计算机工作者来说，绝大部分从事研发工作，通过现有的软件开发工具去实现具有特定功能的软件产品。可计算复杂性的知识似乎应用领域很少，其实不然。例如在对搜索引擎的设计中，算法的选择是必不可少的，怎样选择一个快而有效的算法？这就要对算法的可计算性、时间空间复杂性进行考虑。 可计算复杂性是一门计算机基础学科，其着重于计算理论的培养，试图为计算机学者奠定一个宽广而坚实的理论基础。它一一解答了什么是能计算的，什么是不能计算的。如果可计算，它又能算多快，要消耗多大的空间。在整个学习过程中，主要是通过构造图灵机来描述可计算性、复杂性两大理论知识。可见，学会构造正确的图灵机是解决问题的关键。然而这也是本课程的重点之重点，难点之难点。这也是我在学习这门课程中感觉最难的部分。 马克思告诉我们，世界上一切的事物都有其发展规律，我们应该通过现象看本质，抓住事物的发展规律。同时，马克思也指出，唯物辩证法是认识世界改造世界的根本方法，辩证思维主要归纳与演绎、分析与综合、抽象与具体等。因此运用科学的方法，再难的问题也会迎刃而解。 下面是在整个学习过程中摸索也感受，通过几种方法来掌握构造图灵机的正确方法，同时加深对图灵机的认识。 一，构造图灵机 构造图灵机注意的几个方面: 这是对图灵机形式化的描述。我们在构造图灵机的时候一般采用不同于形式化描述的显示描述或高水平描述。 图灵机的状态集、输入字母表、带字母表都是有限的，并且图灵机的每一步操作都是具体、确定的。 例如：M=“在输入p上，其中p为变元x1，…，xk上的一个多项式： 让x1，…，xk取所有可能的整数值。 对所有这些取值求p的值。 只要某个取值使得p为0，则接受，否则拒绝。” 上面描述的不是一个合法的图灵机。由图灵机的定义可知，其状态集、输入字母表、带字母表都是有限的。在这里x1，…，xk是输字母表的元素，由“让x1，…，xk取所有可能的整数值”可知x1，…，xk的取值是任意的，可能构成无限的集合。对x1，…，xk取所有可能的整数值情况，图灵机将用无限的时间来尝试，这与每一阶段图灵机的描述完成有限的步骤相矛盾。 对于不同功能的图灵机的输入时不同的。 对于构造不同语言的图灵机，其接受输入串的格式会不一样。例如，判定A-TM的图灵机的接受输入是M，w，而判定E-TM的输入是M。其实，每一个图灵机的输入都是任意的字符串w，只是由于某些图灵机只接受图灵机的编码或者图灵机编码和字符串组合的编码等，因此在输入时，排除了不符合要求的输入串，我们只考虑符合一定格式的字符串。 图灵机的判定应该与获取的语言联系在一起。 图灵机具有拒绝或接受功能之外，还应与其获取的语言联系在一起，否则不是合法的。例如，TM M是判定语言A，而TM S是判定语言A的补集。S可以判定A，但是不能使简单的拿S去判定S，而是要对S进行一定的改造才能去判定S，即构造N： N=“在输入w上： 1在w上运行S。 2如果S拒绝，则接受；接受，则拒绝。” 二、证明判定与不可判定性。 判定性 在判断某一语言的判定性时，通过构造图灵机，并一一描述出识别语言的步骤。一般不采用构造产生矛盾的方法，而是直接通过语言描述每一步的实现。例如第四章中证明某一语言的课判定性。 不可判定性 法一：对角化 该方法主要证明图灵机停机问题，也就是A-TM判定问题。其思路主线，通过假设A-TM是可判定的，通过构造图灵机，最后得到对角化的矛盾，例如4.2.2节在证明过程中，最终得到 D(D)=1．接受 如果D不接受D 2．拒绝 如果D接受D 无论D做什么，它都被迫相反的做，始终得到矛盾的结果。 在定理6.3中，引入了递归定理来对A-TM不可判定性的证明，其过程如下： B=“对于输入w： 有递归定理得到自己的一个描述B。 在输入B，w上运行H。 得到与H相反的结果，即：如果H拒绝，则接受；如果H接受，则拒绝。” 在这里，证明的方法与对角化方法类似，最终得到都是相矛盾的结果。在这里，对输入w，B的结果与H相反，其中H是判定A-TM的图灵机。 也许在构造B第三步的时候，会有这样的疑问：为什么一定要构造与H相反的结果？为什么不能得到与H相同的结果，即：如果H接受，则接受；如果H拒绝，则拒绝？如果得到与H相同的结果，则得不到想矛盾的结果，似乎不能采用此方法证明A-TM不可判定性。其实，可以采用这种方法。其中的原因是，我们已经知道A-TM是不可判定的，只是需要证明之，则必须得到相矛盾的结果，所以必须设计成与H相反的