هل يمكننا استخدام نفس التخفيض L1 -> L2 for 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 l_1 \ IFF f (x) \ not \ in l_2 \ IFF f (x) \ in\ Text {co} l_2. $