计算理论导引 5 可归约性.pptVIP

朴秀峰 xfpiao@126.com 前言 本章讨论另外几个不可解的问题 。在讨论过程 中，将介绍一个基本方法，可用来证明问题是计算上不可解的，这个方法称为可归约性。 归约旨在将一个问题转化为加一个问题，且使得可以用第二个问题的解来解第一个问题，在日常生活中，虽然不这样称呼，但时常会遇见可归约性问题。 例如，在一个新城市中认路，如果有一张地图，事情就容易了。这样，就将在城市认路问题归约为得到地图问题。 从波士顿到巴黎旅行，可归约到两个城市的飞机票，进而归约到找工作问题。 数学上的例子更多。 前言 前言 可归约性总是涉及两个问题，称之为 A 和 B。如果 A 可归约到 B，就可用 B 的解来解 A。 可归约性说的不是怎样去解 A 或 B，而是在知道 B 的解时怎么去解 A。 归约的目的在于：将一个问题转化为另一个问题；且用第二个问题的解来解第一个问题。 归约的应用（A 可归约到 B ） 如果 B 是可判定的，则 A 也是可判定的。 如果 A 是不可判定的，则 B 也是不可判定的。 主要内容 5.1 语言理论中的不可判定问题 5.2 一个简单的不可判定问题（自学） 5.3 映射可归约性 5.3.1 可计算函数 5.3.2 映射可归约性的形式定义 语言理论中的不可判定问题 ATM={ M, w | M 是一个 TM，且接受 w } ATM 是不可判