Можем ли мы использовать одно и то же сокращение L1 -> L2 для COL1 -> Col2

Question

делает l1 ≤ п L2 Удажна, что COL1. ≤ п Col2 для того же снижения?

Answer 1

Да.Если $ F $ представляет собой вычислимую функцию полиномиального времени, такова, что $ x \ in l_1 \ iff f (x) \ inL_2 $ Тогда

$ x \ in \ text {co} l_1 \ iff x \ not \ in \ in l_1 \ iff f (x) \ not \ in l_2 \ iff f (x) \\ text {co} l_2. $