34.3 NP 完全性和可归约性 (NP-completeness and reducibility) 可归约性 (Reducibility) NP 完全性 (NP-completeness) 电路可满足性 (Circuit satisfiability) 练习题 (Exercises) 34.3-1 34.3-2 34.3-3 34.3-4 34.3-5 34.3-6 34.3-7 34.3-8
可归约性是一种关键的程序结构特性,它描述了一个程序流图是否可以通过不断应用规约变换最终得到只包含一个节点的图,该性质的具体应用有如下几个示例。 例1:EAC第9.5.2节描述了一个求直接支配节点的算法,该算法在具有可归约性的程序流图上仅通过一次逆后续遍历(reverse-postorder)即可完成求解,而在不具有该性质的...
归约旨在将一个问题转化为加一个问题，且使得可以用第二个问题的解来解第一个问题，在日常生活中，虽然不这样称呼，但时常会遇见可归约性问题。例如，在一个新城市中认路，如果有一张地图，事情就容易了。这样，就将在城市认路问题归约为得到地图问题。从波士顿到巴黎旅行，可归约到两个城市的飞机票，进而归约...
第6章可归约性 .1 可归约性-1 归约 就是将一个问题转化为另一个问题的方法，使得可以用第二个问题的解来解第一个问题。例如，假设要在一个新城市中认路，如果有一张地图，事情就容易了。这样，就将在城市认路问题归约为得到地图问题。可归约性 总是涉及到两个问题，称之为A和B。如果A可归约到B，...
1、1,第二部分 可计算理论,第6章 可归约性,2,可归约性-1,归约 就是将一个问题转化为另一个问题的方法,使得可以用第二个问题的解来解第一个问题。例如,假设要在一个新城市中认路,如果有一张地图,事情就容易了。这样,就将在城市认路问题归约为得到地图问题。 可归约性 总是涉及到两个问题,称之为A...
6.3 映射可归约性 “用映射可归约性将问题A规约到问题B”指的是,存在一个可计算函数,它将问题A的实例转换成问题B的实例。 6.3.1 可计算函数 定义6.12函数 是一个可计算函数,如果有图灵机M,使得在每个输入 上,M停机,且此时只有 出现在带上。
一个基本方法,可用来证明问题是计算上不可解的,这个 方法称为可归约性。 归约旨在将一个问题转化为加一个问题,且使得可以用第 二个问题的解来解第一个问题,在日常生活中,虽然不这 样称呼,但时常会遇见可归约性问题。 例如,在一个新城市中认路,如果有一张地图,事情就容 ...
为能在多项式时间内被非确定性单磁带图灵机识别的语言的集合。设 为单磁带图灵机可在多项式时间内计算的函数 的集合。设 为语言。我们称 ( 可规约为 )若 。若 ,则称 和 等价。若 ,则 。称 L 为(多项式)完全的,若 ,且 中所有语言均可规约为
一一可归约性 一一可归约性（one-one reducibility）是1993年公布的数学名词。公布时间 1993年，经全国科学技术名词审定委员会审定发布。出处 《数学名词》第一版。