MAS 714 笔记20：规约和SAT

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的算法：

        

 如果R和Ay都是多项式时间算法的话，那么Ax也是多项式时间算法

  2.1 X≤Y

        如果问题X可以归约到问题Y，那么我们可以记为X≤Y

        X≤Y  的意思是：(X简单）

        1）问题X的难度等于或者小于问题Y的难度

        2）问题Y的难度大于或者等于问题X的难度

        也就是说，如