MAS 714 笔记20：规约和SAT

Posted 2021-12-03 UQI-LIUWJ

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