我们可以使用同样的减少L1 - > L2 - > Col2

Question

l1 ≤. P. L2 产生Col1. ≤. P. COL2相同的减少？

Answer 1

是。如果 $ f $ 是一个多项式时间可计算函数，使得 $ x \ in l_1 \ iff f（x）\中l_2 $ 然后

$ x \ in \ text {co} l_1 \ iff x \ not \在l_1 \ iff f（x）\ not \中l_2 \ iff f（x）\\ text {co} l_2。 $