Скажімо, у нас булева функція і ми застосовуємо -випадкове обмеження на . Крім того, скажіть, що дерево рішень що обчислює скорочується до розміру внаслідок випадкового обмеження. Чи означає це, що це означає має дуже низький загальний вплив?
Скажімо, у нас булева функція і ми застосовуємо -випадкове обмеження на . Крім того, скажіть, що дерево рішень що обчислює скорочується до розміру внаслідок випадкового обмеження. Чи означає це, що це означає має дуже низький загальний вплив?
Відповіді:
Претензія: Якщо-випадкове обмеження має дерево рішень розміру (в очікуванні), то загальний вплив таких є .
Ескіз доказування: За визначенням, який ми маємо . Будемо верхньою межею , застосувавши спочатку -обмеження, потім вибравши серед решти координат, і зафіксувавши в випадково все, крім .
Тепер, якщо -обмеження зменшує дерево рішення до розміру , то, зокрема, -обмеження залежить від координованого. Виберемо тепер одну випадкову нефіксовану координату (серед ) та зафіксуємо всі інші випадковим чином. Оскільки -обмеження залежить від максимум координат, ми отримуємо функцію (на один біт), яка не є постійною з вірогідністю максимум . Тому , як потрібно.
Зауваження: Вищенаведена заява є жорсткою, використовуючи функцію парності на бітах .