Випадкові обмеження та зв’язок із загальним впливом булевих функцій


9

Скажімо, у нас булева функція f:{1,1}n{1,1} і ми застосовуємо δ-випадкове обмеження на f. Крім того, скажіть, що дерево рішеньT що обчислює f скорочується до розміру O(1)внаслідок випадкового обмеження. Чи означає це, що це означаєf має дуже низький загальний вплив?


δ є постійною між 0 і 1 і не залежить від n?
Каве

1
Так. Справдіδ[0,1].
Аміт Леві

1
Я не впевнений, що це те, що ви шукаєте, але за допомогою лемми перемикання, якщо функція може бути представлена ​​DNF невеликої ширини, то whp вона зменшиться до дерева рішень постійного розміру. ДНФ невеликої ширини мають низький загальний вплив, і можна висловити дерева рішень за допомогою ДНФ, тому морально здається, що це так.

Відповіді:


4

Претензія: Якщоδ-випадкове обмеження f має дерево рішень розміру O(1) (в очікуванні), то загальний вплив таких f є O(δ1).

Ескіз доказування: За визначенням, який ми маємо Inf(f)=nPrx,i[f(x)f(x+ei)]. Будемо верхньою межею , застосувавши спочатку -обмеження, потім вибравши серед решти координат, і зафіксувавши в випадково все, крім .Prx,i[f(x)f(x+ei)]δi[n]xi

Тепер, якщо -обмеження зменшує дерево рішення до розміру , то, зокрема, -обмеження залежить від координованого. Виберемо тепер одну випадкову нефіксовану координату (серед ) та зафіксуємо всі інші випадковим чином. Оскільки -обмеження залежить від максимум координат, ми отримуємо функцію (на один біт), яка не є постійною з вірогідністю максимум . Тому , як потрібно.δfO(1)δfr=O(1)δnδfrrδnInf(f)=nPrx,i[f(x)f(x+ei)]rδ

Зауваження: Вищенаведена заява є жорсткою, використовуючи функцію парності на бітах .O(1/δ)

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.