第六章、可归约性.pptVIP

计算理论导引 第二部分 可计算理论 第6章 可归约性 可归约性-1 归约 就是将一个问题转化为另一个问题的方法，使得可以用第二个问题的解来解第一个问题。 例如，假设要在一个新城市中认路，如果有一张地图，事情就容易了。这样，就将在城市认路问题归约为得到地图问题。 可归约性 总是涉及到两个问题，称之为A和B。如果A可归约到B，就可用B的解来解A。可归约性说的不是怎样去解A或B，而是在知道B的解时怎么去解A。在上述例子中，A是城市认路问题，B是得到地图问题。 可归约性-2 数学问题中也有可归约性。例如，测量一个矩形的面积问题可归约到测量它的高和宽问题。 当A可归约到B时，解A不可能比解B更难，因为B的一个解给出了A的一个解。 根据可计算性理论， 如果A可归约到B，且B是可判定的，则A也是可判定的。 如果A是不可判定的．A可归约到B，则B是不可判定的。 后者在证明许多问题的不可判定性时起着关键作用。 6.1 语言理论中的不可判定问题-1 简单地说，下面方法可用来证明一个问题是不可解的：先证明另外一个问题是不可判定的，再将此问题归约到它。 ATM是不可判定的，即确定一个图灵机是否接受一个给定的输入问题是不可判定的。下面考虑一个与之相关的问题：HALTTM，即确定一个图灵机对给定的输入是否停机(通过接受或拒绝)问题。 6.1 语言理论中的不可判定问题-2 定理6.1 HALT