将上述四个公式合取,就完成字w在NTM上的运行到一个多项式规模的布尔表达式串的映射。由于L∈NP,NTM是完全的,所有字符表上的字w都可以如此归约。得到的集合{f(w)}是SAT的一个子集。由于SAT逻辑上的性质,其子集的结构(元素之间的关系)并不影响我们解决SAT(即我们解决了SAT,我们就解决了所有L∈NP)。不仅如此,...
串归约机 串归约机（string reduction machine）是2018年公布的计算机科学技术名词，出自《计算机科学技术名词 》第三版。定义 一种以串表达式作为计算对象来实现归约机制的计算机。出处 《计算机科学技术名词 》第三版。