1 规约(reduction)
一个从问题X到问题Y的规约:如果我们有一个问题Y的算法,我们可以用这个问题Y的算法来找到求解问题X的算法。
我们可以使用规约来:
1)找到解决问题的算法
2)说明有一些问题我们无法找到有效的算法
1.1 语言的规约
也就是说,这个规约算法输入Lx中的语言w,输出一个Ly中的语言w‘
1.2 决策问题的规约
也就是说,这个规约算法输入X中的语言Ix,输出一个Y中的语言Iy
或者说,如果输入在X中是YES,那么输出在Y中也是YES;如果输入在X中是No,那么输出在Y中也是NO
2 使用规约来解决问题
假设我们知道从问题X到问题Y的规约算法R,以及问题Y的算法Ay,那么我们可以得到问题X的算法: