هل يمكننا استخدام نفس التخفيض L1 -> L2 for Col1 -> Col2
-
29-09-2020 - |
سؤال
هل L1 ≤ ص L2. تسفر أن col1. ≤ ص col2 لنفس الحد من
المحلول
نعم.إذا $ 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. $
لا تنتمي إلى cs.stackexchange