串归约机 串归约机 拼音:chuàn guī yuē jī 英語訳string reduction machine
百度试题 结果1 题目依据机器内部对函数表达式所用存储方式的不同,把归约方式分成( ) A. 串归约 B. 图归约 C. 维归约 D. 部归约 相关知识点: 试题来源: 解析 AB 反馈 收藏
将上述四个公式合取,就完成字w在NTM上的运行到一个多项式规模的布尔表达式串的映射。由于L∈NP,NTM是完全的,所有字符表上的字w都可以如此归约。得到的集合{f(w)}是SAT的一个子集。由于SAT逻辑上的性质,其子集的结构(元素之间的关系)并不影响我们解决SAT(即我们解决了SAT,我们就解决了所有L∈NP)。不仅如此,...