Чи можна довести


14

Результат 1: Теорема Лініяля-Мансура-Нісана говорить, що вага фур'є функцій, обчислених ланцюгами АС0 , зосереджений на підмножинах невеликого розміру з високою ймовірністю.

Результат 2: має свою фур'єрну масу, сконцентровану на коефіцієнті ефективності ступеня n .PARITYn

Запитання: Чи є спосіб довести (якщо це можна довести) не можна обчислити за допомогою ланцюгів A C 0 за допомогою / з використанням результатів 1 і 2?PARITYAC0


7
Чи не очевидно це застосування теореми Лініяла-Мансура-Нісана? Те, як доведена теорема ЛМН (зокрема, доведена вона ймовірнісним аргументом чи ні), не має значення.
Цуйосі Іто

3
в той же час, чи не доведена теорема Лініяла-Мансура-Нісана, приймаючи теорему Хастада? Мені це здається, як собака переслідує власний хвіст ...
Алессандро Косентіно

3
Ось так виведена нижня межа розміру ланцюга AC0, що наближає паритет, у примітках Райана О'Доннелла . Дивіться наслідки 32.
Сашо Ніколов

5
Я думаю, що у вашому коментарі цікавіше питання: чи є кожна функція, спектр якого фур'є сконцентрований на низькорівневих коефіцієнтах, що обчислюються малогабаритними ланцюгами AC0.
Сашо Ніколов

7
@Strattav Тоді ви можете задати це питання.
Тайсон Вільямс

Відповіді:


11

Теорема LMN показує, що якщо f булева функція обчислюється ланцюгом змінного струму 0 розміром M,(f:{1,1}n{1,1})AC0

S:|S|>kf^(S)22Ω(k/(logM)d1)

f^([n])22Ω(n/(logM)d1)

|f^([n])|2Ω(n/(logM)d1)

є не що інше, як кореляція f з функцією паритету ( n i = 1 x i ) . Нехай δ бути частка входівде F відрізняється від Р R I T Y .|f^([n])|(i=1nxi)δfPARITY

12δ|12δ|=|f^([n])|2Ω(n/(logM)d1)δ12Ω(n/(logM)d1)

Отже, якщо M є , при f дорівнює P A R I T Y ,poly(n)fPARITY

δ12n2n2(cn/(logM)d1)(logM)d1(c1)nM2Ω(n1/d1)

So, LMN theorem not only proves that PARITY cannot be computed by AC0 circuits, it also shows that PARITY has low correlation with AC0 circuits.

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